main page modules namespaces classes files
Gecode/J home

org.gecode.SetView Interface Reference
[Programming set actors, Programming views for variables]

Inherits org.gecode.GecodeView.

Inherited by org.gecode.SetVarView.

List of all members.

---

Detailed Description

Interface for set variable views.

This is an interface for wrappers around a set variable, which exposes methods for updating the variable.

Classes implementing this interface is meant to be used in propagators and branchings, and not in scripts.

Definition at line 39 of file SetView.java.

Public Member Functions
SetView	copy (JavaSpace s, boolean share)
	Return a copy of this view in newHome.
void	subscribe (JavaSpace s, JavaPropagator p, PropCond pc)
	Subscribe propagator p to the events covered by pc.
void	cancel (JavaSpace s, JavaPropagator p, PropCond pc)
	Cancel the subscription of propagator p over the events covered by 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.

---

Member Function Documentation

SetView org.gecode.SetView.copy	(	JavaSpace	s,
		boolean	share
	)

Return a copy of this view in newHome.

Implements org.gecode.GecodeView.

Implemented in org.gecode.SetVarView.

void org.gecode.SetView.subscribe	(	JavaSpace	s,
		JavaPropagator	p,
		PropCond	pc
	)

Subscribe propagator p to the events covered by pc.

Implements org.gecode.GecodeView.

Implemented in org.gecode.SetVarView.

void org.gecode.SetView.cancel	(	JavaSpace	s,
		JavaPropagator	p,
		PropCond	pc
	)

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

Implements org.gecode.GecodeView.

Implemented in org.gecode.SetVarView.

boolean org.gecode.SetView.assigned

(

)

Test wheter this view is determined.

Implements org.gecode.GecodeView.

Implemented in org.gecode.SetVarView.

long org.gecode.SetView.cardMin

(

)

Return minimum cardinality.

Implemented in org.gecode.SetVarView.

long org.gecode.SetView.cardMax

(

)

Return maximum cardinality.

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.lubMin

(

)

Return minimum of the least upper bound.

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.lubMax

(

)

Return maximum of the least upper bound.

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.lubMinN

(

int

n

)

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

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.lubMaxN

(

int

n

)

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

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.glbMin

(

)

Return minimum of the greatest lower bound.

Implemented in org.gecode.SetVarView.

int org.gecode.SetView.glbMax

(

)

Return maximum of the greatest lower bound.

Implemented in org.gecode.SetVarView.

long org.gecode.SetView.glbSize

(

)

Return the number of elements in the greatest lower bound.

Implemented in org.gecode.SetVarView.

long org.gecode.SetView.lubSize

(

)

Return the number of elements in the least upper bound.

Implemented in org.gecode.SetVarView.

long org.gecode.SetView.unknownSize

(

)

Return the number of unknown elements.

Implemented in org.gecode.SetVarView.

boolean org.gecode.SetView.contains

(

int

i

)

Test whether i is in the greatest lower bound.

Implemented in org.gecode.SetVarView.

boolean org.gecode.SetView.notContains

(

int

i

)

Test whether i is not in the least upper bound.

Implemented in org.gecode.SetVarView.

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

Restrict cardinality to be greater than or equal to m.

Implemented in org.gecode.SetVarView.

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

Restrict cardinality to be less than or equal to m.

Implemented in org.gecode.SetVarView.

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

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

Implemented in org.gecode.SetVarView.

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

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

Implemented in org.gecode.SetVarView.

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

Update greatest lower bound to contain i.

Implemented in org.gecode.SetVarView.

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

Restrict least upper bound to not contain i.

Implemented in org.gecode.SetVarView.

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

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

Implemented in org.gecode.SetVarView.

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

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

Implemented in org.gecode.SetVarView.

SetModEvent org.gecode.SetView.exclude	(	JavaSpace	home,
		RangeIterator	iter
	)

Remove range sequence described by iter from least upper bound.

Implemented in org.gecode.SetVarView.

SetModEvent org.gecode.SetView.include	(	JavaSpace	home,
		RangeIterator	iter
	)

Include range sequence described by iter in greatest lower bound.

Implemented in org.gecode.SetVarView.

SetModEvent org.gecode.SetView.intersect	(	JavaSpace	home,
		RangeIterator	iter
	)

Intersect least upper bound with range sequence described by iter.

Implemented in org.gecode.SetVarView.

---

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

• org/gecode/SetView.java (Revision: 3796)