public abstract class DecomposedConstraint extends 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 |
---|---|
ArrayList<Var> |
auxiliaryVariables() |
abstract ArrayList<Constraint> |
decompose(Store store)
It returns an array list of constraint which are used to decompose this
constraint.
|
FloatVar |
derivative(Store store,
FloatVar f,
Set<FloatVar> vars,
FloatVar x) |
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 ArrayList<Constraint> decompose(Store store)
store
- the constraint store in which context the decomposition takes place.public ArrayList<Var> auxiliaryVariables()
Copyright © 2015. All rights reserved.