From 8f781c27f97b9291c0ab6c08f36d345afcc7b61f Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 21 Feb 2020 17:21:15 -0700 Subject: [PATCH] remove same_length/2 from clpb.pl --- src/prolog/lib/clpb.pl | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/prolog/lib/clpb.pl b/src/prolog/lib/clpb.pl index 561a7ae4..46996e06 100644 --- a/src/prolog/lib/clpb.pl +++ b/src/prolog/lib/clpb.pl @@ -674,10 +674,6 @@ existential(V, BDD, Node) :- Counter network for card(Is,Fs). - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ -same_length([], []). -same_length([_|As], [_|Bs]) :- - same_length(As, Bs). - counter_network(Cs, Fs, Node) :- same_length([_|Fs], Indicators), fill_indicators(Indicators, 0, Cs), -- 2.54.0