org.jacop.constraints

Class Increasing

java.lang.Object

org.jacop.constraints.DecomposedConstraint<Constraint>

org.jacop.constraints.Constraint

org.jacop.constraints.Increasing

Direct Known Subclasses:

Decreasing

public class Increasing
extends Constraint

Increasing constraint assures that all variables are in increasing order.

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Constraint>	constraints

Fields inherited from class org.jacop.constraints.Constraint

atomicExecution, consistencyPruningEvents, constraintScope, earlyTerminationOK, increaseWeight, numberId, scope, trace

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor and Description
Increasing(IntVar[] x)
Increasing(IntVar[] x, boolean strict)
Increasing(List<IntVar> x) It constructs an increasing constraint.
Increasing(List<IntVar> x, boolean strict)

Method Summary

Modifier and Type	Method and Description
void	consistency(Store store) It is a (most probably incomplete) consistency function which removes the values from variables domains.
List<Constraint>	decompose(Store store) It returns an array list of constraint which are used to decompose this constraint.
int	getDefaultConsistencyPruningEvent()
void	imposeDecomposition(Store store) It imposes the decomposition of the given constraint in a given store.
String	toString() It produces a string representation of a constraint state.

Methods inherited from class org.jacop.constraints.Constraint

afc, arguments, cleanAfterFailure, getConsistencyPruningEvent, getGuideConstraint, getGuideValue, getGuideVariable, grounded, grounded, id, impose, impose, increaseWeight, intArrayToString, long2int, numberArgs, queueVariable, removeConstraint, requiresMonotonicity, setConsistencyPruningEvent, setConstraintScope, setScope, setScope, setScope, setScope, setScope, setWatchedVariableGrounded, supplyGuideFeedback, updateAFC, watchedVariableGrounded

Methods inherited from class org.jacop.constraints.DecomposedConstraint

auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition

Methods inherited from class java.lang.Object

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

Field Detail

constraints

protected List<Constraint> constraints

Constructor Detail

Increasing

public Increasing(IntVar[] x)

Increasing

public Increasing(IntVar[] x,
                  boolean strict)

Increasing

public Increasing(List<IntVar> x)

It constructs an increasing constraint.

Parameters:

x - variables which must be in increasing order.

Increasing

public Increasing(List<IntVar> x,
                  boolean strict)

Method Detail

consistency

public void consistency(Store store)

Description copied from class: Constraint

It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.

Specified by:

consistency in class Constraint

Parameters:

store - constraint store within which the constraint consistency is being checked.

decompose

public List<Constraint> decompose(Store store)

Description copied from class: Constraint

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.

Overrides:

decompose in class 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: Constraint

It imposes the decomposition of the given constraint in a given store.

Overrides:

imposeDecomposition in class Constraint

Parameters:

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

getDefaultConsistencyPruningEvent

public int getDefaultConsistencyPruningEvent()

Specified by:

getDefaultConsistencyPruningEvent in class Constraint

toString

public String toString()

Description copied from class: Constraint

It produces a string representation of a constraint state.

Overrides:

toString in class Constraint