Class Conditional

  • All Implemented Interfaces:
    SatisfiedPresent

    public class Conditional
    extends Constraint
    implements SatisfiedPresent
    Conditional constraint implements conditional constraint satisfiability. It enforces consistency of constraint c[k] where b[k] = 1 (true) and all b[i] for i < k are 0 (false).
    Version:
    4.8
    • Field Detail

      • idNumber

        static final java.util.concurrent.atomic.AtomicInteger idNumber
      • b

        public final IntVar[] b
        The list of 0/1 (Boolean) variables for assignment decision.
    • Constructor Detail

      • Conditional

        public Conditional​(IntVar[] b,
                           PrimitiveConstraint[] c)
        It constructs a Conditional constraint.
        Parameters:
        b - 0/1 variables for selection of constraint
        c - constraints for selection.
      • Conditional

        public Conditional​(java.util.List<? extends IntVar> b,
                           java.util.List<? extends PrimitiveConstraint> c)
        It constructs a Conditional constraint.
        Parameters:
        b - 0/1 variables for selection of constraint
        c - constraints for selection.
    • Method Detail

      • consistency

        public void consistency​(Store store)
        Description copied from class: Constraint
        It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.
        Specified by:
        consistency in class Constraint
        Parameters:
        store - constraint store within which the constraint consistency is being checked.
      • satisfied

        public boolean satisfied()
        Informs wheter the constraint is satisfied
        Specified by:
        satisfied in interface SatisfiedPresent
        Returns:
        true if constraint is satisfied
      • toString

        public java.lang.String toString()
        Description copied from class: Constraint
        It produces a string representation of a constraint state.
        Overrides:
        toString in class Constraint