org.jacop.constraints.XplusClteqZCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.XplusClteqZCloneable:

Public Member Functions
	XplusClteqZCloneable (IntVarCloneable x, int c, IntVarCloneable z)
	Constructor.
XplusClteqZCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< XplusClteqZCloneable >
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 XplusClteqZ constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

XplusClteqZCloneable()

org.jacop.constraints.XplusClteqZCloneable.XplusClteqZCloneable	(	IntVarCloneable	x,
		int	c,
		IntVarCloneable	z )

Constructor.

Parameters

x	the X variable
c	the C constant
z	the Z variable

Referenced by cloneInto().

Member Function Documentation

cloneInto()

XplusClteqZCloneable org.jacop.constraints.XplusClteqZCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

ConstraintCloneableInterface.cloneInto(StoreCloneable)

References XplusClteqZCloneable().

Here is the call graph for this function:

---

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

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