org.gecode.SetVarView Class Reference
[Set views]

Detailed Description

Set view for set variables

Definition at line 25 of file SetVarView.java.

Public Member Functions

void delete ()

void subscribe (JavaSpace home, JavaPropagator p, PropCond pc)

Subscribe propagator p to the events covered by pc.

void cancel (JavaSpace home, JavaPropagator p, PropCond pc)

Cancel the subscription of propagator p over the events covered by pc.

SetVarView (JavaSpace home, SetVar i)

Initialize identity view of variable i in space home.

SetVarView copy (JavaSpace newHome, boolean share)

Return a copy of this view in newHome.

void subscribe_internal (JavaSpace home, JavaPropagator p, int pc)

void cancel_internal (JavaSpace home, JavaPropagator p, int pc)

boolean assigned ()

Test wheter this view is determined.

long cardMin ()

Return minimum cardinality.

long cardMax ()

Return maximum cardinality.

int lubMin ()

Return minimum of the least upper bound.

int lubMax ()

Return maximum of the least upper bound.

int lubMinN (int n)

Return n-th smallest element of the least upper bound.

int lubMaxN (int n)

Return the n-th largest element of the least upper bound.

int glbMin ()

Return minimum of the greatest lower bound.

int glbMax ()

Return maximum of the greatest lower bound.

long glbSize ()

Return the number of elements in the greatest lower bound.

long lubSize ()

Return the number of elements in the least upper bound.

long unknownSize ()

Return the number of unknown elements.

boolean contains (int i)

Test whether i is in the greatest lower bound.

boolean notContains (int i)

Test whether i is not in the least upper bound.

SetModEvent cardMin (JavaSpace home, long m)

Restrict cardinality to be greater than or equal to m.

SetModEvent cardMax (JavaSpace home, long m)

Restrict cardinality to be less than or equal to m.

SetModEvent include (JavaSpace home, int i, int j)

Update greatest lower bound to include all elements between and including i and j.

SetModEvent exclude (JavaSpace home, int i, int j)

Restrict least upper bound to not contain all elements between and including i and j.

SetModEvent include (JavaSpace home, int i)

Update greatest lower bound to contain i.

SetModEvent exclude (JavaSpace home, int i)

Restrict least upper bound to not contain i.

SetModEvent intersect (JavaSpace home, int i, int j)

Update least upper bound to contain at most all elements between and including i and j.

SetModEvent intersect (JavaSpace home, int i)

Update least upper bound to contain at most the element i.

SetModEvent exclude (JavaSpace home, RangeIterator iter)

Remove range sequence described by iter from least upper bound.

SetModEvent include (JavaSpace home, RangeIterator iter)

Include range sequence described by iter in greatest lower bound.

SetModEvent intersect (JavaSpace home, RangeIterator iter)

Intersect least upper bound with range sequence described by iter.

Protected Member Functions

SetVarView (long cPtr, boolean cMemoryOwn)

void finalize ()

Static Protected Member Functions

static long getCPtr (SetVarView obj)

Protected Attributes

boolean swigCMemOwn

Constructor & Destructor Documentation

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

Definition at line 29 of file SetVarView.java.

org.gecode.SetVarView.SetVarView	(	JavaSpace	home,
		SetVar	i
	)

Initialize identity view of variable i in space home.

Definition at line 63 of file SetVarView.java.

Member Function Documentation

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

Definition at line 34 of file SetVarView.java.

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

Definition at line 38 of file SetVarView.java.

void org.gecode.SetVarView.delete ( )

Definition at line 42 of file SetVarView.java.

void org.gecode.SetVarView.subscribe	(	JavaSpace	home,
		JavaPropagator	p,
		PropCond	pc
	)

Subscribe propagator p to the events covered by pc.


Public Member Functions
void	delete ()
void	subscribe (JavaSpace home, JavaPropagator p, PropCond pc)
	Subscribe propagator p to the events covered by pc.
void	cancel (JavaSpace home, JavaPropagator p, PropCond pc)
	Cancel the subscription of propagator p over the events covered by pc.
	SetVarView (JavaSpace home, SetVar i)
	Initialize identity view of variable i in space home.
SetVarView	copy (JavaSpace newHome, boolean share)
	Return a copy of this view in newHome.
void	subscribe_internal (JavaSpace home, JavaPropagator p, int pc)
void	cancel_internal (JavaSpace home, JavaPropagator p, int pc)
boolean	assigned ()
	Test wheter this view is determined.
long	cardMin ()
	Return minimum cardinality.
long	cardMax ()
	Return maximum cardinality.
int	lubMin ()
	Return minimum of the least upper bound.
int	lubMax ()
	Return maximum of the least upper bound.
int	lubMinN (int n)
	Return n-th smallest element of the least upper bound.
int	lubMaxN (int n)
	Return the n-th largest element of the least upper bound.
int	glbMin ()
	Return minimum of the greatest lower bound.
int	glbMax ()
	Return maximum of the greatest lower bound.
long	glbSize ()
	Return the number of elements in the greatest lower bound.
long	lubSize ()
	Return the number of elements in the least upper bound.
long	unknownSize ()
	Return the number of unknown elements.
boolean	contains (int i)
	Test whether i is in the greatest lower bound.
boolean	notContains (int i)
	Test whether i is not in the least upper bound.
SetModEvent	cardMin (JavaSpace home, long m)
	Restrict cardinality to be greater than or equal to m.
SetModEvent	cardMax (JavaSpace home, long m)
	Restrict cardinality to be less than or equal to m.
SetModEvent	include (JavaSpace home, int i, int j)
	Update greatest lower bound to include all elements between and including i and j.
SetModEvent	exclude (JavaSpace home, int i, int j)
	Restrict least upper bound to not contain all elements between and including i and j.
SetModEvent	include (JavaSpace home, int i)
	Update greatest lower bound to contain i.
SetModEvent	exclude (JavaSpace home, int i)
	Restrict least upper bound to not contain i.
SetModEvent	intersect (JavaSpace home, int i, int j)
	Update least upper bound to contain at most all elements between and including i and j.
SetModEvent	intersect (JavaSpace home, int i)
	Update least upper bound to contain at most the element i.
SetModEvent	exclude (JavaSpace home, RangeIterator iter)
	Remove range sequence described by iter from least upper bound.
SetModEvent	include (JavaSpace home, RangeIterator iter)
	Include range sequence described by iter in greatest lower bound.
SetModEvent	intersect (JavaSpace home, RangeIterator iter)
	Intersect least upper bound with range sequence described by iter.
Protected Member Functions
	SetVarView (long cPtr, boolean cMemoryOwn)
void	finalize ()
Static Protected Member Functions
static long	getCPtr (SetVarView obj)
Protected Attributes
boolean	swigCMemOwn

void org.gecode.SetVarView.cancel	(	JavaSpace	home,
		JavaPropagator	p,
		PropCond	pc
	)

SetVarView org.gecode.SetVarView.copy	(	JavaSpace	newHome,
		boolean	share
	)

void org.gecode.SetVarView.subscribe_internal	(	JavaSpace	home,
		JavaPropagator	p,
		int	pc
	)

void org.gecode.SetVarView.cancel_internal	(	JavaSpace	home,
		JavaPropagator	p,
		int	pc
	)

SetModEvent org.gecode.SetVarView.cardMin	(	JavaSpace	home,
		long	m
	)

SetModEvent org.gecode.SetVarView.cardMax	(	JavaSpace	home,
		long	m
	)

SetModEvent org.gecode.SetVarView.include	(	JavaSpace	home,
		int	i,
		int	j
	)

SetModEvent org.gecode.SetVarView.exclude	(	JavaSpace	home,
		int	i,
		int	j
	)

SetModEvent org.gecode.SetVarView.intersect	(	JavaSpace	home,
		int	i,
		int	j
	)

org.gecode.SetVarView Class Reference [Set views]

Detailed Description

Public Member Functions

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

org.gecode.SetVarView Class Reference
[Set views]