[eclipse-clp-users] fd_sets sameset negation

From: Oliver Shycle <oliver.shycle_at_googlemail.com>
Date: Tue, 11 Jan 2011 15:04:20 +0100
Hi all,

I have a simple Question for the usage of fd_sets::sameset

If I have two set variables Set1 and Set2, I can use the constraint
"sameset(Set1,Set2)" that makes the two sets the same. But how does the
syntax look like, when I want the two sets to be different? If I use "neg
sameset(Set1,Set2)" I get the following error:

calling an undefined procedure sameset(_434, _530, _756) in module eclipse

Thanks for your ideas.

Oliver
Received on Tue Jan 11 2011 - 14:04:27 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET