Re: [eclipse-users] ECLiPSe-SWI Prolog relation

From: Daniel Riera <daniel.riera_at_...6...>
Date: Thu, 26 Apr 2007 09:22:25 +0200

I am working in a model where there is a special value, ND (Not
Determined) which
should be considered for every single operation.
I use finite domain constraints but it would be great if it was possible
to redefine every operation
to allow propagations like:


X + Y #= Z

Thus, if X or Y is ND, then Z is ND

The point is that several operations should be redefined. What is the
best way to do this?

Thank you in advance,
Received on Thu Apr 26 2007 - 08:22:34 CEST

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 18:14:02 CEST