Re: disjunctive constraints, use of ~= ?

From: Ulrich Scholz <>
Date: Mon 28 Apr 2003 08:39:47 AM GMT
Message-ID: <>
> Why do you use set variables if the cardinality is always 1?
> Can't you use a normal finite domain variable for the (single) set element?

That is a good question: Why?  Now it's too late but I will consider it for my
next project.

> Then you can use fd's reified constraints to formulate the disjunction.

But can't I use the logical constraint predicates directly, eg. #\/?


Ulrich Scholz
Received on Mon Apr 28 11:23:23 2003

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:23 PM GMT GMT