Re: [Choco-users] isConsistent() ?

[Guillaume R. <ro...@gm...>]

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.

Regards,


Guillaume

On 10/10/07, Malcolm Ryan <mal...@cs...> wrote:
>
> 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
>
>
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc.
> Still grepping through log files to find problems?  Stop.
> Now Search log events and configuration files using AJAX and a browser.
> Download your FREE copy of Splunk now >> http://get.splunk.com/
> _______________________________________________
> Choco-users mailing list
> Cho...@li...
> https://lists.sourceforge.net/lists/listinfo/choco-users
>