org.jacop.core.IntVarCloneable Class Reference

A JaCoP IntVar that is cloneable into a store. More...

Inheritance diagram for org.jacop.core.IntVarCloneable:

Public Member Functions
	IntVarCloneable ()
	Empty constructor.
	IntVarCloneable (StoreCloneable store)
	Constructor.
	IntVarCloneable (StoreCloneable store, IntDomain dom)
	Constructor.
	IntVarCloneable (StoreCloneable store, String name)
	Constructor.
	IntVarCloneable (StoreCloneable store, String name, IntDomain dom)
	Constructor.
	IntVarCloneable (StoreCloneable store, int min, int max)
	Constructor.
	IntVarCloneable (StoreCloneable store, String name, int min, int max)
	Constructor.
IntVarCloneable	cloneInto (StoreCloneable store2)
boolean	equals (Object o)
	True if the two variables have the same ID.
int	hashCode ()
	Returns the hash code of this variable's ID.
Public Member Functions inherited from org.jacop.core.CloneableInto< IntVarCloneable >
V	cloneInto (StoreCloneable store)
	Clones this variable into the input store.

Detailed Description

A JaCoP IntVar that is cloneable into a store.

Author

Thomas Leaute

Constructor & Destructor Documentation

IntVarCloneable() [1/7]

org.jacop.core.IntVarCloneable.IntVarCloneable

(

)

Empty constructor.

Referenced by cloneInto(), and equals().

IntVarCloneable() [2/7]

org.jacop.core.IntVarCloneable.IntVarCloneable

(

StoreCloneable

store

)

Constructor.

Parameters

store

the store

IntVarCloneable() [3/7]

org.jacop.core.IntVarCloneable.IntVarCloneable	(	StoreCloneable	store,
		IntDomain	dom )

Constructor.

Parameters

store	the store
dom	the variable domain

IntVarCloneable() [4/7]

org.jacop.core.IntVarCloneable.IntVarCloneable	(	StoreCloneable	store,
		String	name )

Constructor.

Parameters

store	the store
name	the name/id of the variable

IntVarCloneable() [5/7]

org.jacop.core.IntVarCloneable.IntVarCloneable	(	StoreCloneable	store,
		String	name,
		IntDomain	dom )

Constructor.

Parameters

store	the store
name	the name/id of the variable
dom	the variable domain

IntVarCloneable() [6/7]

org.jacop.core.IntVarCloneable.IntVarCloneable	(	StoreCloneable	store,
		int	min,
		int	max )

Constructor.

Parameters

store	the store
min	minimum value
max	maximum value

IntVarCloneable() [7/7]

org.jacop.core.IntVarCloneable.IntVarCloneable	(	StoreCloneable	store,
		String	name,
		int	min,
		int	max )

Constructor.

Parameters

store	the store
name	name/id of the variable
min	minimum value
max	maximum value

Member Function Documentation

cloneInto()

IntVarCloneable org.jacop.core.IntVarCloneable.cloneInto

(

StoreCloneable

store2

)

See also

CloneableInto.cloneInto(StoreCloneable)

References IntVarCloneable().

Here is the call graph for this function:

equals()

boolean org.jacop.core.IntVarCloneable.equals

(

Object

o

)

True if the two variables have the same ID.

See also

java.lang.Object#equals(java.lang.Object)

References IntVarCloneable().

Referenced by frodo2.solutionSpaces.JaCoP.JaCoPutilSpace< V extends Addable< V > >.getUtility().

Here is the call graph for this function:

hashCode()

int org.jacop.core.IntVarCloneable.hashCode

(

)

Returns the hash code of this variable's ID.

See also

java.lang.Object#hashCode()

---

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

• src/org/jacop/core/IntVarCloneable.java