public class SoftAlldifferent extends DecomposedConstraint<Constraint>
Modifier and Type | Field and Description |
---|---|
IntVar |
costVar |
List<Constraint> |
decomposition |
ViolationMeasure |
violationMeasure |
IntVar[] |
xVars |
queueIndex
Constructor and Description |
---|
SoftAlldifferent(IntVar[] xVars,
IntVar costVar,
ViolationMeasure violationMeasure) |
Modifier and Type | Method and Description |
---|---|
List<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.
|
List<Constraint> |
primitiveDecomposition(Store store) |
String |
toString() |
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
public List<Constraint> decomposition
public final IntVar[] xVars
public final IntVar costVar
public final ViolationMeasure violationMeasure
public SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)
public List<Constraint> primitiveDecomposition(Store store)
public List<Constraint> decompose(Store store)
DecomposedConstraint
decompose
in class DecomposedConstraint<Constraint>
store
- the constraint store in which context the decomposition takes place.public void imposeDecomposition(Store store)
DecomposedConstraint
imposeDecomposition
in class DecomposedConstraint<Constraint>
store
- the constraint store to which the constraint is imposed to.Copyright © 2022. All rights reserved.