org.jacop.constraints.ChannelImplyCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.ChannelImplyCloneable:

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

Author

Thomas Leaute

Constructor & Destructor Documentation

ChannelImplyCloneable() [1/4]

org.jacop.constraints.ChannelImplyCloneable.ChannelImplyCloneable	(	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().

ChannelImplyCloneable() [2/4]

org.jacop.constraints.ChannelImplyCloneable.ChannelImplyCloneable	(	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

ChannelImplyCloneable() [3/4]

org.jacop.constraints.ChannelImplyCloneable.ChannelImplyCloneable	(	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

ChannelImplyCloneable() [4/4]

org.jacop.constraints.ChannelImplyCloneable.ChannelImplyCloneable	(	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()

ChannelImplyCloneable org.jacop.constraints.ChannelImplyCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws CloneNotSupportedException, FailException

See also

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

References ChannelImplyCloneable().

Here is the call graph for this function:

---

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

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