Re: [Choco-users] isConsistent() ?

[Malcolm R. <mal...@cs...>]

On 10/10/2007, at 11:25 AM, Malcolm Ryan wrote:

> What are the correct semantics of the isConsistent() method on
> Propagator?

And what is the semantics of isEntailed()? Am I correct in thinking  
that it should return false only if the constraint is contradicted,  
and return null if it neither entailed nor contradicted? The  
description doesn't make this clear.

Malcolm

--
      "The act of defending any of the cardinal virtues has today all
       the exhilaration of a vice."
                                     - G.K.Chesterton A Defense of  
Humility