Gecode::MiniModel::StatePool Class Reference

List of all members.

---

Detailed Description

State pool combines a tree of states together with yet unprocessed states

Definition at line 588 of file reg.cc.

Public Member Functions
	StatePool (PosSet *)
StateNode *	pop (void)
bool	empty (void) const
int	state (StatePoolAllocator &, PosSet *)
Public Attributes
int	n_states
StateNode	root
StateNode *	next
StateNode *	all

---

Constructor & Destructor Documentation

Gecode::MiniModel::StatePool::StatePool

(

PosSet *

ps

)

[inline]

Definition at line 604 of file reg.cc.

---

Member Function Documentation

StateNode * Gecode::MiniModel::StatePool::pop

(

void

)

[inline]

Definition at line 616 of file reg.cc.

bool Gecode::MiniModel::StatePool::empty

(

void

)

const [inline]

Definition at line 625 of file reg.cc.

int Gecode::MiniModel::StatePool::state	(	StatePoolAllocator &	spm,
		PosSet *	ps
	)			[inline]

Definition at line 630 of file reg.cc.

---

Member Data Documentation

int Gecode::MiniModel::StatePool::n_states

Definition at line 590 of file reg.cc.

StateNode Gecode::MiniModel::StatePool::root

Definition at line 591 of file reg.cc.

StateNode* Gecode::MiniModel::StatePool::next

Definition at line 592 of file reg.cc.

StateNode* Gecode::MiniModel::StatePool::all

Definition at line 593 of file reg.cc.

---

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

• gecode/minimodel/reg.cc (Revision: 6102)