public abstract class DecomposedConstraint
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
queueIndex
It specifies the queue (index), which is used to record that constraint
needs to be re-evaluated.
|
Constructor and Description |
---|
DecomposedConstraint() |
Modifier and Type | Method and Description |
---|---|
java.util.ArrayList<Var> |
auxiliaryVariables() |
abstract java.util.ArrayList<Constraint> |
decompose(Store store)
It returns an array list of constraint which are used to decompose this
constraint.
|
abstract void |
imposeDecomposition(Store store)
It imposes the constraint in a given store.
|
void |
imposeDecomposition(Store store,
int queueIndex)
It imposes the constraint and adjusts the queue index.
|
public int queueIndex
public abstract void imposeDecomposition(Store store)
store
- the constraint store to which the constraint is imposed to.public void imposeDecomposition(Store store, int queueIndex)
store
- the constraint store to which the constraint is imposed to.queueIndex
- the index of the queue in the store it is assigned to.public abstract java.util.ArrayList<Constraint> decompose(Store store)
store
- the constraint store in which context the decomposition takes place.public java.util.ArrayList<Var> auxiliaryVariables()