Class Increasing

Direct Known Subclasses:
Decreasing

public class Increasing extends Constraint
Increasing constraint assures that all variables are in increasing order.
Version:
4.9
  • Field Details

  • Constructor Details

    • Increasing

      public Increasing(IntVar[] x)
    • Increasing

      public Increasing(IntVar[] x, boolean strict)
    • Increasing

      public Increasing(List<IntVar> x)
      It constructs an increasing constraint.
      Parameters:
      x - variables which must be in increasing order.
    • Increasing

      public Increasing(List<IntVar> x, boolean strict)
  • Method Details

    • 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.
    • decompose

      public List<Constraint> decompose(Store store)
      Description copied from class: Constraint
      It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.
      Overrides:
      decompose in class Constraint
      Parameters:
      store - the constraint store in which context the decomposition takes place.
      Returns:
      an array list of constraints used to decompose this constraint.
    • imposeDecomposition

      public void imposeDecomposition(Store store)
      Description copied from class: Constraint
      It imposes the decomposition of the given constraint in a given store.
      Overrides:
      imposeDecomposition in class Constraint
      Parameters:
      store - the constraint store to which the constraint is imposed to.
    • getDefaultConsistencyPruningEvent

      public int getDefaultConsistencyPruningEvent()
      Specified by:
      getDefaultConsistencyPruningEvent in class Constraint
    • toString

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