org.jacop.constraints.AndBoolCloneable Class Reference

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

Inheritance diagram for org.jacop.constraints.AndBoolCloneable:

Public Member Functions
	AndBoolCloneable (IntVarCloneable[] vars, IntVarCloneable result)
	Constructor.
	AndBoolCloneable (ArrayList< IntVarCloneable > a, IntVarCloneable result)
	It constructs and constraint on variables.
	AndBoolCloneable (IntVarCloneable a, IntVarCloneable b, IntVarCloneable result)
	It constructs and constraint on variables.
AndBoolCloneable	cloneInto (StoreCloneable targetStore) throws CloneNotSupportedException, FailException
List<? extends Var >	arguments ()
String	id ()
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< AndBoolCloneable >
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.

Static Public Member Functions
static IntVarCloneable[]	filter (IntVarCloneable[] xs)
	Filters the input list of variables to remove the ones with min() == 1.

Private Attributes
final String	id
	This constraint's ID/name.

Static Private Attributes
static int	idNbr = 0
	Used to increment the id of constraints.

Detailed Description

A cloneable version of the AndBool constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

AndBoolCloneable() [1/3]

org.jacop.constraints.AndBoolCloneable.AndBoolCloneable	(	IntVarCloneable[]	vars,
		IntVarCloneable	result )

Constructor.

Parameters

vars	the list of variables
result	the result variable

References filter(), and idNbr.

Referenced by cloneInto().

Here is the call graph for this function:

AndBoolCloneable() [2/3]

org.jacop.constraints.AndBoolCloneable.AndBoolCloneable	(	ArrayList< IntVarCloneable >	a,
		IntVarCloneable	result )

It constructs and constraint on variables.

Parameters

a	parameters variable.
result	variable.

AndBoolCloneable() [3/3]

org.jacop.constraints.AndBoolCloneable.AndBoolCloneable	(	IntVarCloneable	a,
		IntVarCloneable	b,
		IntVarCloneable	result )

It constructs and constraint on variables.

Parameters

a	parameter variable.
b	parameter variable.
result	variable.

Member Function Documentation

arguments()

List<? extends Var > org.jacop.constraints.AndBoolCloneable.arguments

(

)

See also

org.jacop.constraints.DecomposedConstraintCloneableInterface.arguments()

Implements org.jacop.constraints.DecomposedConstraintCloneableInterface.

cloneInto()

AndBoolCloneable org.jacop.constraints.AndBoolCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws CloneNotSupportedException, FailException

See also

ConstraintCloneableInterface.cloneInto(StoreCloneable)

Exceptions

CloneNotSupportedException

if the underlying constraint is not cloneable (which should not happen)

References AndBoolCloneable(), and cloneInto().

Referenced by cloneInto().

Here is the call graph for this function:

filter()

IntVarCloneable[] org.jacop.constraints.AndBoolCloneable.filter ( IntVarCloneable[] xs )

static

Filters the input list of variables to remove the ones with min() == 1.

Parameters

xs	the variables

Returns

a filtered list, or null of one of the variables has max() == 0

Referenced by AndBoolCloneable(), and org.jacop.constraints.OrBoolCloneable.OrBoolCloneable().

id()

String org.jacop.constraints.AndBoolCloneable.id

(

)

See also

org.jacop.constraints.DecomposedConstraintCloneableInterface.id()

Implements org.jacop.constraints.DecomposedConstraintCloneableInterface.

Member Data Documentation

id

final String org.jacop.constraints.AndBoolCloneable.id

private

This constraint's ID/name.

idNbr

int org.jacop.constraints.AndBoolCloneable.idNbr = 0

staticprivate

Used to increment the id of constraints.

Referenced by AndBoolCloneable().

---

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

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