Package org.jacop.constraints
Class SoftAlldifferent
- java.lang.Object
-
- org.jacop.constraints.DecomposedConstraint<Constraint>
-
- org.jacop.constraints.SoftAlldifferent
-
public class SoftAlldifferent extends DecomposedConstraint<Constraint>
This class provides soft-alldifferent constraint by decomposing it either into a network flow constraint or a set of primitive constraints.- Version:
- 4.7
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private class
SoftAlldifferent.SoftAlldiffBuilder
-
Field Summary
Fields Modifier and Type Field Description IntVar
costVar
java.util.List<Constraint>
decomposition
ViolationMeasure
violationMeasure
IntVar[]
xVars
-
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
-
Constructor Summary
Constructors Constructor Description SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.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.java.util.List<Constraint>
primitiveDecomposition(Store store)
java.lang.String
toString()
-
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
-
-
-
Field Detail
-
decomposition
public java.util.List<Constraint> decomposition
-
xVars
public final IntVar[] xVars
-
costVar
public final IntVar costVar
-
violationMeasure
public final ViolationMeasure violationMeasure
-
-
Constructor Detail
-
SoftAlldifferent
public SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)
-
-
Method Detail
-
primitiveDecomposition
public java.util.List<Constraint> primitiveDecomposition(Store store)
-
decompose
public java.util.List<Constraint> decompose(Store store)
Description copied from class:DecomposedConstraint
It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.- Specified by:
decompose
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store in which context the decomposition takes place.- Returns:
- an array list of constraints used to decompose this constraint.
-
imposeDecomposition
public void imposeDecomposition(Store store)
Description copied from class:DecomposedConstraint
It imposes the constraint in a given store.- Specified by:
imposeDecomposition
in classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-