org.gecode.SetVar Class Reference

Detailed Description

Set variable.

A set variable is represented by a lower bound (the values that must appear in the set), an upper bound (the values that may appear in the set) and the range of the cardinality of the set.

Definition at line 17 of file SetVar.java.

Public Member Functions

void delete ()

SetVar (JavaSpace home, IntSet glb, IntSet lub)

Initialize with given greatest lower bound and largest upper bound.

SetVar (JavaSpace home, String name, IntSet glb, IntSet lub)

Initialize with name and given greatest lower bound and largest upper bound.

SetVar (JavaSpace home)

Initialize with empty lower bound and full upper bound.

SetVar (JavaSpace home, String name)

Initialize with name and empty lower bound and full upper bound.

synchronized SetVar copy (JavaSpace newHome, boolean share)

Create a copy of this variable in newHome.

synchronized String toString ()

Return a string representation of this variable.

synchronized String getName ()

Return a the name of this variable.

synchronized boolean assigned ()

Test wheter this variable is assigned.

synchronized int glbSize ()

Return number of elements in the lower bound.

synchronized int lubSize ()

Return number of elements in the upper bound.

synchronized int unknownSize ()

Return number of unknown elements.

synchronized boolean contains (int i)

Test wheter i is in the lower bound.

synchronized boolean notContains (int i)

Test wheter i is not in the upper bound.

synchronized int cardMin ()

Return cardinality minimum.

synchronized int cardMax ()

Return cardinality maximum.

synchronized int lubMin ()

Return minimum element of upper bound.

synchronized int lubMax ()

Return maximum element of upper bound.

synchronized int glbMin ()

Return minimum element of lowerbound.

synchronized int glbMax ()

Return maximum element of lower bound.

Protected Member Functions

SetVar (long cPtr, boolean cMemoryOwn)

void finalize ()

Static Protected Member Functions

static long getCPtr (SetVar obj)

static long[] cArrayUnwrap (VarArray<?extends SetVar > arrayWrapper)

static VarArray< SetVar > cArrayWrap (long[] cArray, boolean cMemoryOwn)

Protected Attributes

boolean swigCMemOwn

Constructor & Destructor Documentation

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

Definition at line 21 of file SetVar.java.

org.gecode.SetVar.SetVar	(	JavaSpace	home,
		IntSet	glb,
		IntSet	lub
	)

Initialize with given greatest lower bound and largest upper bound.

Definition at line 59 of file SetVar.java.

org.gecode.SetVar.SetVar	(	JavaSpace	home,
		String	name,
		IntSet	glb,
		IntSet	lub
	)

Initialize with name and given greatest lower bound and largest upper bound.

Definition at line 65 of file SetVar.java.

org.gecode.SetVar.SetVar ( JavaSpace home )

Initialize with empty lower bound and full upper bound.

Definition at line 71 of file SetVar.java.

org.gecode.SetVar.SetVar	(	JavaSpace	home,
		String	name
	)

Initialize with name and empty lower bound and full upper bound.

Definition at line 77 of file SetVar.java.

Member Function Documentation

static long org.gecode.SetVar.getCPtr ( SetVar obj ) [static, protected]

Definition at line 26 of file SetVar.java.

void org.gecode.SetVar.finalize ( ) [protected]

Definition at line 30 of file SetVar.java.

void org.gecode.SetVar.delete ( )

Definition at line 34 of file SetVar.java.

static long [] org.gecode.SetVar.cArrayUnwrap ( VarArray<?extends SetVar > arrayWrapper ) [static, protected]

Definition at line 42 of file SetVar.java.

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

Definition at line 49 of file SetVar.java.

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

Create a copy of this variable in newHome.

Implements org.gecode.GecodeVar.

Definition at line 83 of file SetVar.java.

synchronized String org.gecode.SetVar.toString ( )

Return a string representation of this variable.

Definition at line 89 of file SetVar.java.

synchronized String org.gecode.SetVar.getName ( )

Return a the name of this variable.

Implements org.gecode.GecodeVar.

Definition at line 95 of file SetVar.java.

synchronized boolean org.gecode.SetVar.assigned ( )

Test wheter this variable is assigned.

Implements org.gecode.GecodeVar.

Definition at line 101 of file SetVar.java.

synchronized int org.gecode.SetVar.glbSize ( )

Return number of elements in the lower bound.

Definition at line 107 of file SetVar.java.

synchronized int org.gecode.SetVar.lubSize ( )

Return number of elements in the upper bound.

Definition at line 113 of file SetVar.java.

synchronized int org.gecode.SetVar.unknownSize ( )

Return number of unknown elements.

Definition at line 119 of file SetVar.java.

synchronized boolean org.gecode.SetVar.contains ( int i )

Test wheter i is in the lower bound.

Definition at line 125 of file SetVar.java.

synchronized boolean org.gecode.SetVar.notContains ( int i )

Test wheter i is not in the upper bound.

Definition at line 131 of file SetVar.java.

synchronized int org.gecode.SetVar.cardMin ( )

Return cardinality minimum.

Definition at line 137 of file SetVar.java.

synchronized int org.gecode.SetVar.cardMax ( )

Return cardinality maximum.

Definition at line 143 of file SetVar.java.

synchronized int org.gecode.SetVar.lubMin ( )

Return minimum element of upper bound.

Definition at line 149 of file SetVar.java.

synchronized int org.gecode.SetVar.lubMax ( )

Return maximum element of upper bound.

Definition at line 155 of file SetVar.java.

synchronized int org.gecode.SetVar.glbMin ( )

Return minimum element of lowerbound.

Definition at line 161 of file SetVar.java.

synchronized int org.gecode.SetVar.glbMax ( )

Return maximum element of lower bound.

Definition at line 167 of file SetVar.java.

Member Data Documentation

boolean org.gecode.SetVar.swigCMemOwn [protected]

Definition at line 19 of file SetVar.java.

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

org/gecode/SetVar.java


Public Member Functions
void	delete ()
	SetVar (JavaSpace home, IntSet glb, IntSet lub)
	Initialize with given greatest lower bound and largest upper bound.
	SetVar (JavaSpace home, String name, IntSet glb, IntSet lub)
	Initialize with name and given greatest lower bound and largest upper bound.
	SetVar (JavaSpace home)
	Initialize with empty lower bound and full upper bound.
	SetVar (JavaSpace home, String name)
	Initialize with name and empty lower bound and full upper bound.
synchronized SetVar	copy (JavaSpace newHome, boolean share)
	Create a copy of this variable in newHome.
synchronized String	toString ()
	Return a string representation of this variable.
synchronized String	getName ()
	Return a the name of this variable.
synchronized boolean	assigned ()
	Test wheter this variable is assigned.
synchronized int	glbSize ()
	Return number of elements in the lower bound.
synchronized int	lubSize ()
	Return number of elements in the upper bound.
synchronized int	unknownSize ()
	Return number of unknown elements.
synchronized boolean	contains (int i)
	Test wheter i is in the lower bound.
synchronized boolean	notContains (int i)
	Test wheter i is not in the upper bound.
synchronized int	cardMin ()
	Return cardinality minimum.
synchronized int	cardMax ()
	Return cardinality maximum.
synchronized int	lubMin ()
	Return minimum element of upper bound.
synchronized int	lubMax ()
	Return maximum element of upper bound.
synchronized int	glbMin ()
	Return minimum element of lowerbound.
synchronized int	glbMax ()
	Return maximum element of lower bound.
Protected Member Functions
	SetVar (long cPtr, boolean cMemoryOwn)
void	finalize ()
Static Protected Member Functions
static long	getCPtr (SetVar obj)
static long[]	cArrayUnwrap (VarArray<?extends SetVar > arrayWrapper)
static VarArray< SetVar >	cArrayWrap (long[] cArray, boolean cMemoryOwn)
Protected Attributes
boolean	swigCMemOwn