Class NogoodConstraint

  • public class NogoodConstraint
    extends Constraint
    Created by cprudhom on 21/01/15. Project: choco.
    • Constructor Detail

      • NogoodConstraint

        public NogoodConstraint​(Model model)
    • Method Detail

      • isSatisfied

        public ESat isSatisfied()
        Description copied from class: Constraint
        Test if this Constraint object is satisfied, regarding its Propagators and its Variable current domains.

        This method is called on each solution as a checker when assertions are enabled (-ea in VM parameters) It is also called for constraint reification (to state whether or not a constraint is satisfied)

        The method calls entailment checks of this propagators

        isSatisfied in class Constraint
        ESat.FALSE if the constraint cannot be satisfied (from domain consideration), ESat.TRUE if whatever future decisions are, the constraint will be satisfied for sure (without propagating domain modifications) ESat.UNDIFINED otherwise (more decisions/filtering must be made before concluding about constraint satisfaction)