org.jacop.constraints.ExtensionalSupportMDDCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.ExtensionalSupportMDDCloneable:

Public Member Functions
	ExtensionalSupportMDDCloneable (MDDCloneable diagram)
	It creates an extensional constraint.
	ExtensionalSupportMDDCloneable (IntVarCloneable[] vars, int[][] table)
	Constructor.
ExtensionalSupportMDDCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< ExtensionalSupportMDDCloneable >
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.

Detailed Description

A cloneable version of the ExtensionalSupportMDD constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

ExtensionalSupportMDDCloneable() [1/2]

org.jacop.constraints.ExtensionalSupportMDDCloneable.ExtensionalSupportMDDCloneable

(

MDDCloneable

diagram

)

It creates an extensional constraint.

Parameters

diagram

multiple-valued decision diagram describing allowed tuples.

Referenced by cloneInto().

ExtensionalSupportMDDCloneable() [2/2]

org.jacop.constraints.ExtensionalSupportMDDCloneable.ExtensionalSupportMDDCloneable	(	IntVarCloneable[]	vars,
		int	table[][] )

Constructor.

Parameters

vars	the variables
table	the table

Member Function Documentation

cloneInto()

ExtensionalSupportMDDCloneable org.jacop.constraints.ExtensionalSupportMDDCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

org.jacop.constraints.ConstraintCloneableInterface.cloneInto(org.jacop.core.StoreCloneable)

References ExtensionalSupportMDDCloneable().

Here is the call graph for this function:

---

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

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