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

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

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:

Given:

[X,Y,Z]::[0..100,ND],
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,
Daniel
Received on Thu Apr 26 2007 - 08:22:34 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST