Re: [Choco-users] isConsistent() ?

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

On 10/10/2007, at 9:24 PM, Guillaume Rochart wrote:

> Hi all,
>
> 1/ isConsistent should return if there exist or not a support  
> satisfying the constraint (it should say true if there exists one  
> but say true too if we do not really know)
> 2/ isSatisfed should return if the constraint is satisfied when all  
> variables are instantiated
> 3/ isEntailed should return true if the constraint is satisfied  
> (whatever value is chosen in current domains), false if it not  
> satisfied (already violated whateter value we choose), null otherwise.

So when would isConsistent return anything other than (isEntailed !=  
Boolean.FALSE)?

How often are these methods called? Does it matter much how efficient  
they are?

Malcolm
--
Many clever men like you have trusted to civilisation.
Many clever Babylonians, many clever Egyptians,
Many clever men at the end of Rome.
                               - G.K.Chesterton, The Napoleon of  
Notting Hill