In fD_search, the predicate (or procedure) search has a bug when it comes to the value choice parameter (for the default ones). It can be corrected by changing the second production of predicate choose/6 to: choose(X,N,Type,_In, _Out, _Module):- member((Type, Choice),[(indomain_min, min),(indomain_max, max), (indomain_middle, middle), (indomain_median, median), (indomain_split, split), (indomain_interval, interval), (indomain_random, random)]), !, access(X,N,Var), indomain(Var,Choice). --Rui MendesReceived on Fri Jan 19 17:11:48 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:07 PM GMT GMT