SICStus, I wish to give variable a domain values in a list form instead of range.

tomas_nordlander_at_yahoo.com
Date: 02/25/04


Date: 25 Feb 2004 11:56:38 -0800

I am searching for a way to give variable a domain values in a list
form, instead of the normal range form (domain([X,Y],1,100)). I would
like to give variable X and Y a domain values of [5,10,15,20] (some
like this: domain([X,Y], [5,10,15,20]).) instead of the normal range
(e.g. 1-20).

I would be very pleased if somebody could give me direction to solve
my dilemma.

Best regards,

Tomas Nordlander
UNIVERSITY of ABERDEEN
Department of Computing Science

PS" I am working with SICStus constraint library over finite domains"