Slight overlook on fd_search

From: <rui_at_omega.di.uminho.pt>
Date: Fri 19 Jan 2001 06:10:38 PM GMT
Message-ID: <20010119181038.A6915@omega.di.uminho.pt>
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 Mendes
Received 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