Package 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.10

Field Summary

Fields

Modifier and Type	Field	Description
protected List<Constraint>	constraints
(package private) static AtomicInteger	idNumber
(package private) int	n
(package private) byte	strict
(package private) IntVar[]	x

Fields inherited from class org.jacop.constraints.Constraint

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

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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, toInt, toInt, 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 Details

idNumber

static AtomicInteger idNumber

x

IntVar[] x

n

int n

strict

byte strict

constraints

protected List<Constraint> constraints

Constructor Details

Increasing

public Increasing(IntVar[] x)

Increasing

public Increasing(IntVar[] x,
 boolean strict)

Increasing

public Increasing(List<? extends IntVar> x)

It constructs an increasing constraint.

Parameters:

x - variables which must be in increasing order.

Increasing

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

Method Details

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