org.jacop.util.MDDCloneable Class Reference

A version of MDD that requires cloneable variables. More...

Inheritance diagram for org.jacop.util.MDDCloneable:

Public Member Functions
	MDDCloneable (IntVarCloneable[] vars, int[] diagram, int[] domainLimits)
	It creates an MDD.
	MDDCloneable (IntVarCloneable[] vars, int[] minimumDomainLimits, int[][] table)
	It creates and MDD representation given the list of variables and (dis)allowed tuples.
	MDDCloneable (IntVarCloneable[] vars, int[][] table)
	It creates and MDD representation given the list of variables and (dis)allowed tuples.
	MDDCloneable (IntVarCloneable[] vars)
	It creates and MDD representation given the list of variables.
	MDDCloneable (int[] diagram, int[] domainLimits, int freePosition, IntVarCloneable[] vars, IndexDomainView[] views)
	Constructor.

Detailed Description

A version of MDD that requires cloneable variables.

Author

Thomas Leaute

Constructor & Destructor Documentation

MDDCloneable() [1/5]

org.jacop.util.MDDCloneable.MDDCloneable	(	IntVarCloneable[]	vars,
		int[]	diagram,
		int[]	domainLimits )

It creates an MDD.

Please note that diagram argument which is potentially a very large array and can be used across many constraints is not copied by the constructor but used directly.

Parameters

vars	variables involved in this multiple-value decision diagram.
diagram	an int array representation of the diagram.
domainLimits	the limits on the number of values imposed on each variable.

MDDCloneable() [2/5]

org.jacop.util.MDDCloneable.MDDCloneable	(	IntVarCloneable[]	vars,
		int[]	minimumDomainLimits,
		int	table[][] )

It creates and MDD representation given the list of variables and (dis)allowed tuples.

Minimum domain limits allows artificially increase the size of the variable domain to make reuse of the same mdd across multiple constraints possible.

Parameters

vars	variables and their order used in the MDD.
minimumDomainLimits	it specifies the minimal number of values used for each of the variables.
table	it specifies the allowed tuples which are being converted into an MDD.

MDDCloneable() [3/5]

org.jacop.util.MDDCloneable.MDDCloneable	(	IntVarCloneable[]	vars,
		int	table[][] )

It creates and MDD representation given the list of variables and (dis)allowed tuples.

Minimum domain limits allows artificially increase the size of the variable domain to make reuse of the same mdd across multiple constraints possible.

Parameters

vars	variables and their order used in the MDD.
table	it specifies the allowed tuples which are being converted into an MDD.

MDDCloneable() [4/5]

org.jacop.util.MDDCloneable.MDDCloneable

(

IntVarCloneable[]

vars

)

It creates and MDD representation given the list of variables.

The domain limits are set to be equal to the size of the variables domains. The tuples are being added separately one by one.

Parameters

vars	variables and their order used in the MDD.

MDDCloneable() [5/5]

org.jacop.util.MDDCloneable.MDDCloneable	(	int[]	diagram,
		int[]	domainLimits,
		int	freePosition,
		IntVarCloneable[]	vars,
		IndexDomainView[]	views )

Constructor.

Parameters

diagram	the diagram
domainLimits	the domain limits
freePosition	the free position
vars	the variables
views	the views

---

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

• src/org/jacop/util/MDDCloneable.java