Gecode::Int::Extensional::Compact< View > Class Template Reference

Base class for compact table propagator. More...

#include <extensional.hh>

List of all members.

Classes
class	CTAdvisor
	Advisor for updating current table. More...
class	LostSupports
	Iterator over lost supports. More...
class	Status
	Status management. More...
class	ValidSupports
	Iterator over valid supports. More...
Public Member Functions
size_t	dispose (Space &home)
	Delete propagator and return its size.
Protected Types
typedef TupleSet::Range	Range
	Range type for supports.
Protected Member Functions
	Compact (Space &home, Compact &p)
	Constructor for cloning p.
	Compact (Home home, ViewArray< View > &x, const TupleSet &ts)
	Constructor for posting.
const Range *	range (CTAdvisor &a, int n)
	Find range for n.
const BitSetData *	supports (CTAdvisor &a, int n)
	Return supports for value n.
Protected Attributes
int	unassigned
	Number of unassigned views.
const unsigned int	n_words
	Number of words in supports.
Status	status
	Propagator status.
TupleSet	ts
	The tuple set.
Council< CTAdvisor >	c
	The advisor council.
Status management
enum	StatusType { SINGLE = 0, MULTIPLE = 1, NONE = 2, PROPAGATING = 3 }
	Type of status. More...

---

Detailed Description

template<class View>
class Gecode::Int::Extensional::Compact< View >

Base class for compact table propagator.

Definition at line 347 of file extensional.hh.

---

Member Typedef Documentation

template<class View>

typedef TupleSet::Range Gecode::Int::Extensional::Compact< View >::Range [protected]

Range type for supports.

Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.

Definition at line 350 of file extensional.hh.

---

Member Enumeration Documentation

template<class View>

enum Gecode::Int::Extensional::Compact::StatusType [protected]

Type of status.

Enumerator:

SINGLE	A single view has been touched.
MULTIPLE	Multiple view have been touched.
NONE	No view has been touched.
PROPAGATING	The propagator is currently running.

Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.

Definition at line 381 of file extensional.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Extensional::Compact< View >::Compact	(	Space &	home,
		Compact< View > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 279 of file compact.hpp.

template<class View >

Gecode::Int::Extensional::Compact< View >::Compact	(	Home	home,
		ViewArray< View > &	x,
		const TupleSet &	ts
	)			[inline, protected]

Constructor for posting.

Definition at line 287 of file compact.hpp.

---

Member Function Documentation

template<class View >

const Compact< View >::Range * Gecode::Int::Extensional::Compact< View >::range	(	CTAdvisor &	a,
		int	n
	)			[inline, protected]

Find range for n.

Definition at line 149 of file compact.hpp.

template<class View >

const BitSetData * Gecode::Int::Extensional::Compact< View >::supports	(	CTAdvisor &	a,
		int	n
	)			[inline, protected]

Return supports for value n.

Definition at line 170 of file compact.hpp.

template<class View >

size_t Gecode::Int::Extensional::Compact< View >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Extensional::CompactTable< View, Table >.

Definition at line 296 of file compact.hpp.

---

Member Data Documentation

template<class View>

int Gecode::Int::Extensional::Compact< View >::unassigned [protected]

Number of unassigned views.

Definition at line 467 of file extensional.hh.

template<class View>

const unsigned int Gecode::Int::Extensional::Compact< View >::n_words [protected]

Number of words in supports.

Definition at line 469 of file extensional.hh.

template<class View>

Status Gecode::Int::Extensional::Compact< View >::status [protected]

Propagator status.

Definition at line 471 of file extensional.hh.

template<class View>

TupleSet Gecode::Int::Extensional::Compact< View >::ts [protected]

The tuple set.

Definition at line 473 of file extensional.hh.

template<class View>

Council<CTAdvisor> Gecode::Int::Extensional::Compact< View >::c [protected]

The advisor council.

Definition at line 475 of file extensional.hh.

---

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

• gecode/int/extensional.hh
• gecode/int/extensional/compact.hpp