@Deprecated public class Lex extends Constraint implements Stateful
Modifier and Type | Field and Description |
---|---|
SetVar |
a
Deprecated.
It specifies a list on which element a lex relationship holds for every
two consecutive variables.
|
SetVar |
b
Deprecated.
It specifies a list on which element a lex relationship holds for every
two consecutive variables.
|
protected int |
inclusionLevel
Deprecated.
|
protected TimeStamp<IntDomain> |
inDifference
Deprecated.
|
protected int |
inSupport
Deprecated.
|
protected TimeStamp<IntDomain> |
smallerDifference
Deprecated.
|
protected int |
smallerElLevel
Deprecated.
|
protected int |
smallerElSupport
Deprecated.
|
boolean |
strict
Deprecated.
It specifies if the relation is strict or not.
|
atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace
queueIndex
Constructor and Description |
---|
Lex(SetVar a,
SetVar b)
Deprecated.
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
Lex(SetVar a,
SetVar b,
boolean strict)
Deprecated.
It constructs an Lexical ordering constraint to restrict the domain of the variables a and b.
|
Modifier and Type | Method and Description |
---|---|
void |
consistency(Store store)
Deprecated.
It is a (most probably incomplete) consistency function which removes the
values from variables domains.
|
int |
getDefaultConsistencyPruningEvent()
Deprecated.
|
void |
impose(Store store)
Deprecated.
It imposes the constraint in a given store.
|
void |
removeLevel(int level)
Deprecated.
This function is called in case of the backtrack, so a constraint can
clear the queue of changed variables which is no longer valid.
|
String |
toString()
Deprecated.
It produces a string representation of a constraint state.
|
afc, arguments, cleanAfterFailure, decompose, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, imposeDecomposition, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
isStateful
public SetVar a
public SetVar b
public boolean strict
protected int inSupport
protected int inclusionLevel
protected int smallerElSupport
protected int smallerElLevel
public Lex(SetVar a, SetVar b)
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.public Lex(SetVar a, SetVar b, boolean strict)
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.public void consistency(Store store)
Constraint
consistency
in class Constraint
store
- constraint store within which the constraint consistency is being checked.public int getDefaultConsistencyPruningEvent()
getDefaultConsistencyPruningEvent
in class Constraint
public void impose(Store store)
Constraint
impose
in class Constraint
store
- the constraint store to which the constraint is imposed to.public void removeLevel(int level)
Stateful
removeLevel
in interface Stateful
level
- the level which is being removed.public String toString()
Constraint
toString
in class Constraint
Copyright © 2022. All rights reserved.