org.jacop.constraints.BoolClauseCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.BoolClauseCloneable:

Public Member Functions
	BoolClauseCloneable (IntVarCloneable[] x, IntVarCloneable[] y)
	It constructs BoolClause.
	BoolClauseCloneable (ArrayList< IntVarCloneable > x, ArrayList< IntVarCloneable > y)
	It constructs BoolClause.
BoolClauseCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< BoolClauseCloneable >
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 BoolClause constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

BoolClauseCloneable() [1/2]

org.jacop.constraints.BoolClauseCloneable.BoolClauseCloneable	(	IntVarCloneable[]	x,
		IntVarCloneable[]	y )

It constructs BoolClause.

Parameters

x	list of positive arguments x's.
y	list of negative arguments y's.

Referenced by cloneInto().

BoolClauseCloneable() [2/2]

org.jacop.constraints.BoolClauseCloneable.BoolClauseCloneable	(	ArrayList< IntVarCloneable >	x,
		ArrayList< IntVarCloneable >	y )

It constructs BoolClause.

Parameters

x	list of positive arguments x's.
y	list of negative arguments y's.

Member Function Documentation

cloneInto()

BoolClauseCloneable org.jacop.constraints.BoolClauseCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

ConstraintCloneableInterface.cloneInto(StoreCloneable)

References BoolClauseCloneable().

Here is the call graph for this function:

---

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

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