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 Detail

      • idNumber

        static java.util.concurrent.atomic.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.
      • smallerElSupport

        protected int smallerElSupport
        Deprecated.
      • smallerElLevel

        protected int smallerElLevel
        Deprecated.
    • Constructor Detail

      • 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 Detail

      • 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.
      • 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 java.lang.String toString()
        Deprecated.
        Description copied from class: Constraint
        It produces a string representation of a constraint state.
        Overrides:
        toString in class Constraint