main page modules namespaces classes files
Gecode/J home

org.gecode.IntVar Class Reference

Inherits org.gecode.GecodeVar.

List of all members.

---

Detailed Description

Integer variable.

The domain of the variable is represented as a list of ranges of the possible values that the variable may take.

Definition at line 16 of file IntVar.java.

Public Member Functions
synchronized void	delete ()
	IntVar (JavaSpace home, IntSet dom)
	Initialize variable with domain dom.
	IntVar (JavaSpace home, String name, IntSet dom)
	Initialize variable with name and domain dom.
	IntVar (JavaSpace home, Integer domMin, Integer domMax)
	Initialize variable with range domain [domMin.
	IntVar (JavaSpace home, String name, Integer domMin, Integer domMax)
	Initialize variable with name and range domain [domMin.
synchronized IntVar	copy (JavaSpace newHome, boolean share)
	Create a copy of this variable in newHome.
synchronized int	min ()
	Return minimum of domain.
synchronized int	max ()
	Return maximum of domain.
synchronized int	val ()
	If this variable is assigned, then return the value of the variable.
synchronized boolean	in (int val)
	Test wheter the domain contains val.
synchronized boolean	assigned ()
	Test wheter this variable is assigned.
synchronized String	toString ()
	Return a string representation of this variable.
synchronized String	getName ()
	Return the name of this variable.
Protected Member Functions
	IntVar (long cPtr, boolean cMemoryOwn)
void	finalize ()
Static Protected Member Functions
static long	getCPtr (IntVar obj)
static long[]	cArrayUnwrap (VarArray<?extends IntVar > arrayWrapper)
static VarArray< IntVar >	cArrayWrap (long[] cArray, boolean cMemoryOwn)
Protected Attributes
boolean	swigCMemOwn

---

Constructor & Destructor Documentation

org.gecode.IntVar.IntVar	(	long	cPtr,
		boolean	cMemoryOwn
	)			[protected]

Definition at line 20 of file IntVar.java.

org.gecode.IntVar.IntVar	(	JavaSpace	home,
		IntSet	dom
	)

Initialize variable with domain dom.

Definition at line 58 of file IntVar.java.

org.gecode.IntVar.IntVar	(	JavaSpace	home,
		String	name,
		IntSet	dom
	)

Initialize variable with name and domain dom.

Definition at line 64 of file IntVar.java.

org.gecode.IntVar.IntVar	(	JavaSpace	home,
		Integer	domMin,
		Integer	domMax
	)

Initialize variable with range domain [domMin.

.domMax].

Definition at line 70 of file IntVar.java.

org.gecode.IntVar.IntVar	(	JavaSpace	home,
		String	name,
		Integer	domMin,
		Integer	domMax
	)

Initialize variable with name and range domain [domMin.

.domMax].

Definition at line 76 of file IntVar.java.

---

Member Function Documentation

static long org.gecode.IntVar.getCPtr

(

IntVar

obj

)

[static, protected]

Definition at line 25 of file IntVar.java.

void org.gecode.IntVar.finalize

(

)

[protected]

Definition at line 29 of file IntVar.java.

synchronized void org.gecode.IntVar.delete

(

)

Definition at line 33 of file IntVar.java.

static long [] org.gecode.IntVar.cArrayUnwrap

(

VarArray<?extends IntVar >

arrayWrapper

)

[static, protected]

Definition at line 41 of file IntVar.java.

static VarArray<IntVar> org.gecode.IntVar.cArrayWrap	(	long[]	cArray,
		boolean	cMemoryOwn
	)			[static, protected]

Definition at line 48 of file IntVar.java.

synchronized IntVar org.gecode.IntVar.copy	(	JavaSpace	newHome,
		boolean	share
	)

Create a copy of this variable in newHome.

Implements org.gecode.GecodeVar.

Definition at line 82 of file IntVar.java.

synchronized int org.gecode.IntVar.min

(

)

Return minimum of domain.

Definition at line 88 of file IntVar.java.

synchronized int org.gecode.IntVar.max

(

)

Return maximum of domain.

Definition at line 94 of file IntVar.java.

synchronized int org.gecode.IntVar.val

(

)

If this variable is assigned, then return the value of the variable.

Definition at line 100 of file IntVar.java.

synchronized boolean org.gecode.IntVar.in

(

int

val

)

Test wheter the domain contains val.

Definition at line 106 of file IntVar.java.

synchronized boolean org.gecode.IntVar.assigned

(

)

Test wheter this variable is assigned.

Implements org.gecode.GecodeVar.

Definition at line 112 of file IntVar.java.

synchronized String org.gecode.IntVar.toString

(

)

Return a string representation of this variable.

Definition at line 118 of file IntVar.java.

synchronized String org.gecode.IntVar.getName

(

)

Return the name of this variable.

Implements org.gecode.GecodeVar.

Definition at line 124 of file IntVar.java.

---

Member Data Documentation

boolean org.gecode.IntVar.swigCMemOwn [protected]

Definition at line 18 of file IntVar.java.

---

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

• org/gecode/IntVar.java