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 Details

    • idNumber

      static final AtomicInteger idNumber
    • b

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

      public final PrimitiveConstraint[] c
      The list of constraints that are to be selected.
  • Constructor Details

    • 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(List<? extends IntVar> b, List<? extends PrimitiveConstraint> c)
      It constructs a Conditional constraint.
      Parameters:
      b - 0/1 variables for selection of constraint
      c - constraints for selection.
  • Method Details

    • getDefaultConsistencyPruningEvent

      public int getDefaultConsistencyPruningEvent()
      Specified by:
      getDefaultConsistencyPruningEvent in class Constraint
    • 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 String toString()
      Description copied from class: Constraint
      It produces a string representation of a constraint state.
      Overrides:
      toString in class Constraint