public class SoftAlldifferent extends DecomposedConstraint
Modifier and Type | Field and Description |
---|---|
IntVar |
costVar |
ArrayList<Constraint> |
decomposition |
ViolationMeasure |
violationMeasure |
IntVar[] |
xVars |
queueIndex
Constructor and Description |
---|
SoftAlldifferent(IntVar[] xVars,
IntVar costVar,
ViolationMeasure violationMeasure) |
Modifier and Type | Method and Description |
---|---|
ArrayList<Constraint> |
decompose(Store store)
It returns an array list of constraint which are used to decompose this
constraint.
|
void |
imposeDecomposition(Store store)
It imposes the constraint in a given store.
|
ArrayList<Constraint> |
primitiveDecomposition(Store store) |
auxiliaryVariables, derivative, imposeDecomposition
public ArrayList<Constraint> decomposition
public final IntVar[] xVars
public final IntVar costVar
public final ViolationMeasure violationMeasure
public SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)
public ArrayList<Constraint> primitiveDecomposition(Store store)
public ArrayList<Constraint> decompose(Store store)
DecomposedConstraint
decompose
in class DecomposedConstraint
store
- the constraint store in which context the decomposition takes place.public void imposeDecomposition(Store store)
DecomposedConstraint
imposeDecomposition
in class DecomposedConstraint
store
- the constraint store to which the constraint is imposed to.Copyright © 2015. All rights reserved.