org.jacop.constraints.ChannelReifCloneable Class Reference

A cloneable variant of the ChannelReif constraint. More...

Inheritance diagram for org.jacop.constraints.ChannelReifCloneable:

Public Member Functions
	ChannelReifCloneable (IntVarCloneable x, IntVarCloneable[] eq)
	Constructor.
	ChannelReifCloneable (IntVarCloneable x, Map< Integer, IntVarCloneable > map)
	Constructor.
	ChannelReifCloneable (IntVarCloneable x, IntVarCloneable[] eq, int[] values)
	Constructor.
	ChannelReifCloneable (IntVarCloneable x, IntVarCloneable[] eq, IntDomain values)
	Constructor.
ChannelReifCloneable	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< ChannelReifCloneable >
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 variant of the ChannelReif constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

ChannelReifCloneable() [1/4]

org.jacop.constraints.ChannelReifCloneable.ChannelReifCloneable	(	IntVarCloneable	x,
		IntVarCloneable[]	eq )

Constructor.

Parameters

x	the X variable
eq	for each possible value i in X's domain, a variable indicating whether X = i

Referenced by cloneInto().

ChannelReifCloneable() [2/4]

org.jacop.constraints.ChannelReifCloneable.ChannelReifCloneable	(	IntVarCloneable	x,
		Map< Integer, IntVarCloneable >	map )

Constructor.

Parameters

x	the X variable
map	for each possible value assignment i to X, a variable indicating whether X = i

ChannelReifCloneable() [3/4]

org.jacop.constraints.ChannelReifCloneable.ChannelReifCloneable	(	IntVarCloneable	x,
		IntVarCloneable[]	eq,
		int[]	values )

Constructor.

Parameters

x	the X variable
eq	for each possible value i in values, a variable indicating whether X = i
values	the possible values for X

ChannelReifCloneable() [4/4]

org.jacop.constraints.ChannelReifCloneable.ChannelReifCloneable	(	IntVarCloneable	x,
		IntVarCloneable[]	eq,
		IntDomain	values )

Constructor.

Parameters

x	the X variable
eq	for each possible value i in values, a variable indicating whether X = i
values	the possible values for X

Member Function Documentation

cloneInto()

ChannelReifCloneable org.jacop.constraints.ChannelReifCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws CloneNotSupportedException, FailException

See also

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

References ChannelReifCloneable().

Here is the call graph for this function:

---

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

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