Re: disjunctive constraints, use of ~= ?

From: Ulrich Scholz <scholz_at_inferenzsysteme.informatik.tu-darmstadt.de>
Date: Mon 28 Apr 2003 08:39:47 AM GMT
Message-ID: <20030428083947.GA23425@kiwi.intellektik.informatik.tu-darmstadt.de>
> 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. #\/?

Uli

-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~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