org.jacop.constraints.ImpliesCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.ImpliesCloneable:

Public Member Functions
	ImpliesCloneable (IntVarCloneable b, PrimitiveConstraint c)
	It constructs Implies constraint.
PrimitiveConstraint	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< PrimitiveConstraint >
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 Implies constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

ImpliesCloneable()

org.jacop.constraints.ImpliesCloneable.ImpliesCloneable	(	IntVarCloneable	b,
		PrimitiveConstraint	c )

It constructs Implies constraint.

Parameters

b	the variable of the implied constraint.
c	the constraint which must hold if the variable is 1.

Referenced by cloneInto().

Member Function Documentation

cloneInto()

PrimitiveConstraint org.jacop.constraints.ImpliesCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws CloneNotSupportedException, FailException

See also

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

References org.jacop.constraints.ConstraintCloneableInterface< C extends DecomposedConstraint<? extends Constraint > >.cloneInto(), and ImpliesCloneable().

Here is the call graph for this function:

---

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

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