org.jacop.constraints.LinearIntCloneable Class Reference

A cloneable LinearInt constraint. More...

Inheritance diagram for org.jacop.constraints.LinearIntCloneable:

Public Member Functions
	LinearIntCloneable (IntVarCloneable[] list, int[] weights, String rel, IntVarCloneable sum)
	Constructor.
	LinearIntCloneable (IntVarCloneable[] list, int[] weights, String rel, int sum)
	Constructor.
	LinearIntCloneable (ArrayList<? extends IntVarCloneable > vars, ArrayList< Integer > weights, String rel, int sum)
	Constructor.
LinearIntCloneable	cloneInto (StoreCloneable targetStore) throws FailException
Public Member Functions inherited from org.jacop.constraints.ConstraintCloneableInterface< LinearIntCloneable >
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.

Protected Member Functions
	LinearIntCloneable (LinearIntCloneable o, StoreCloneable targetStore) throws FailException
	Constructor used by the cloneInto() method.

Detailed Description

A cloneable LinearInt constraint.

Author

Thomas Leaute

Constructor & Destructor Documentation

LinearIntCloneable() [1/4]

org.jacop.constraints.LinearIntCloneable.LinearIntCloneable	(	IntVarCloneable[]	list,
		int[]	weights,
		String	rel,
		IntVarCloneable	sum )

Constructor.

Parameters

list	the list of variable being summed
weights	the summation weights
rel	the relation name
sum	the total sum variable

Referenced by cloneInto(), and LinearIntCloneable().

LinearIntCloneable() [2/4]

org.jacop.constraints.LinearIntCloneable.LinearIntCloneable	(	IntVarCloneable[]	list,
		int[]	weights,
		String	rel,
		int	sum )

Constructor.

Parameters

list	the list of variable being summed
weights	the summation weights
rel	the relation name
sum	the total sum constant

LinearIntCloneable() [3/4]

org.jacop.constraints.LinearIntCloneable.LinearIntCloneable	(	ArrayList<? extends IntVarCloneable >	vars,
		ArrayList< Integer >	weights,
		String	rel,
		int	sum )

Constructor.

Parameters

vars	the variables
weights	the weights
rel	the relation, one of "==", "@iliteral < @endiliteral ", "@iliteral > @endiliteral ", "@iliteral < @endiliteral =", "@iliteral > @endiliteral =", "!="
sum	the constant with which the weighted sum should be compared

LinearIntCloneable() [4/4]

org.jacop.constraints.LinearIntCloneable.LinearIntCloneable ( LinearIntCloneable o, StoreCloneable targetStore ) throws FailException

protected

Constructor used by the cloneInto() method.

Parameters

o	a LinearIntCloneable constraint to be cloned
targetStore	the store to be cloned into

Exceptions

FailException

thrown if one of the variables has an empty domain

References LinearIntCloneable().

Here is the call graph for this function:

Member Function Documentation

cloneInto()

LinearIntCloneable org.jacop.constraints.LinearIntCloneable.cloneInto

(

StoreCloneable

targetStore

)

throws FailException

See also

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

References LinearIntCloneable().

Here is the call graph for this function:

---

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

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