org.jacop.constraints

Class SoftAlldifferent

java.lang.Object

org.jacop.constraints.DecomposedConstraint

org.jacop.constraints.SoftAlldifferent

public class SoftAlldifferent
extends DecomposedConstraint

This class provides soft-alldifferent constraint by decomposing it either into a network flow constraint or a set of primitive constraints.

Version:

4.2

Author:

Robin Steiger and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
IntVar	costVar
ArrayList<Constraint>	decomposition
ViolationMeasure	violationMeasure
IntVar[]	xVars

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor and Description
SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)

Method Summary

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)

Methods inherited from class org.jacop.constraints.DecomposedConstraint

auxiliaryVariables, derivative, imposeDecomposition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

decomposition

public ArrayList<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 ArrayList<Constraint> primitiveDecomposition(Store store)

decompose

public ArrayList<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 class DecomposedConstraint

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 class DecomposedConstraint

Parameters:

store - the constraint store to which the constraint is imposed to.