Class SatConstraint


  • public class SatConstraint
    extends Constraint

    Since:
    22 nov. 2010
    Author:
    Charles Prud'homme
    • Constructor Detail

      • SatConstraint

        public SatConstraint​(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

        Overrides:
        isSatisfied in class Constraint
        Returns:
        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)
      • getPropSat

        public PropSat getPropSat()