[eclipse-clp-users] fd_sets sameset negation

From: Oliver Shycle <oliver.shycle_at_...1...>
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.3.0 : Tue Apr 16 2024 - 09:13:20 CEST