Class Lex

All Implemented Interfaces:
Stateful

@Deprecated public class Lex extends Constraint implements Stateful
Deprecated.
As of release 4.5.1 replaced by AltB and AleB constraints.
  • Field Details

    • idNumber

      static AtomicInteger idNumber
      Deprecated.
    • a

      public SetVar a
      Deprecated.
      It specifies a list on which element a lex relationship holds for every two consecutive variables.
    • b

      public SetVar b
      Deprecated.
      It specifies a list on which element a lex relationship holds for every two consecutive variables.
    • strict

      public boolean strict
      Deprecated.
      It specifies if the relation is strict or not.
    • inSupport

      protected int inSupport
      Deprecated.
    • inclusionLevel

      protected int inclusionLevel
      Deprecated.
    • inDifference

      protected TimeStamp<IntDomain> inDifference
      Deprecated.
    • smallerElSupport

      protected int smallerElSupport
      Deprecated.
    • smallerElLevel

      protected int smallerElLevel
      Deprecated.
    • smallerDifference

      protected TimeStamp<IntDomain> smallerDifference
      Deprecated.
  • Constructor Details

    • Lex

      public Lex(SetVar a, SetVar b)
      Deprecated.
      It constructs an Lexical ordering constraint to restrict the domain of the variables a and b. It is strict by default.
      Parameters:
      a - variable that is restricted to be less than b with lexical order.
      b - variable that is restricted to be greater than a with lexical order.
    • Lex

      public Lex(SetVar a, SetVar b, boolean strict)
      Deprecated.
      It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
      Parameters:
      a - variable that is restricted to be less than b with lexical order.
      b - variable that is restricted to be greater than a with lexical order.
      strict - specifies if the lex relation is strict.
  • Method Details

    • consistency

      public void consistency(Store store)
      Deprecated.
      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.
    • getDefaultConsistencyPruningEvent

      public int getDefaultConsistencyPruningEvent()
      Deprecated.
      Specified by:
      getDefaultConsistencyPruningEvent in class Constraint
    • impose

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

      public void removeLevel(int level)
      Deprecated.
      Description copied from interface: Stateful
      This function is called in case of the backtrack, so a constraint can clear the queue of changed variables which is no longer valid. This function is called *before* all timestamps, variables, mutablevariables have reverted to their previous value.
      Specified by:
      removeLevel in interface Stateful
      Parameters:
      level - the level which is being removed.
    • toString

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