org.jacop.constraints.ExtensionalSupportSTRCloneable Class Reference

A cloneable version of the ExtensionalSupportSTR constraint. More...

Inheritance diagram for org.jacop.constraints.ExtensionalSupportSTRCloneable:

Public Member Functions
	ExtensionalSupportSTRCloneable (IntVarCloneable[] variables, int[][] tuples)
	Constructor.
	ExtensionalSupportSTRCloneable (IntVarCloneable[] list, int[][] tuples, boolean reinsertBefore, boolean residuesBefore)
	It constructs an extensional constraint.
ExtensionalSupportSTRCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< ExtensionalSupportSTRCloneable >
abstract C	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
	Creates a new constraint that is a (state-less) clone of this one, but expressed on the variables with the same names found in the input store.

Private Attributes
final int[][]	tuplesFromConstructor
	The tuples originally passed to the constructor.

Detailed Description

A cloneable version of the ExtensionalSupportSTR constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

ExtensionalSupportSTRCloneable() [1/2]

org.jacop.constraints.ExtensionalSupportSTRCloneable.ExtensionalSupportSTRCloneable	(	IntVarCloneable[]	variables,
		int	tuples[][] )

Constructor.

Parameters

variables	the list of variables
tuples	the list of allowed tuples

Referenced by cloneInto().

ExtensionalSupportSTRCloneable() [2/2]

org.jacop.constraints.ExtensionalSupportSTRCloneable.ExtensionalSupportSTRCloneable	(	IntVarCloneable[]	list,
		int	tuples[][],
		boolean	reinsertBefore,
		boolean	residuesBefore )

It constructs an extensional constraint.

Parameters

list	the variables in the scope of the constraint.
tuples	the tuples which are supports.
reinsertBefore	it specifies if the tuples which were removed and are reinstatiated are inserted at the beginning.
residuesBefore	it specifies if the residue tuples are moved to the beginning.

Member Function Documentation

cloneInto()

ExtensionalSupportSTRCloneable org.jacop.constraints.ExtensionalSupportSTRCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

ConstraintCloneableInterface.cloneInto(StoreCloneable)

References ExtensionalSupportSTRCloneable().

Here is the call graph for this function:

Member Data Documentation

tuplesFromConstructor

final int [][] org.jacop.constraints.ExtensionalSupportSTRCloneable.tuplesFromConstructor

private

The tuples originally passed to the constructor.

Note

We cannot use the tuples from the superclass because they are then modified internally in a non-trivial way

---

The documentation for this class was generated from the following file:

• src/org/jacop/constraints/ExtensionalSupportSTRCloneable.java