Gecode::MiniModel::StatePool Class Reference

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

List of all members.

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

---

Detailed Description

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

Definition at line 595 of file reg.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::StatePool::StatePool

(

PosSet *

ps

)

[inline]

Definition at line 611 of file reg.cpp.

---

Member Function Documentation

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

(

void

)

[inline]

Definition at line 623 of file reg.cpp.

bool Gecode::MiniModel::StatePool::empty

(

void

)

const [inline]

Definition at line 632 of file reg.cpp.

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

Definition at line 637 of file reg.cpp.

---

Member Data Documentation

int Gecode::MiniModel::StatePool::n_states

Definition at line 597 of file reg.cpp.

StateNode Gecode::MiniModel::StatePool::root

Definition at line 598 of file reg.cpp.

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

Definition at line 599 of file reg.cpp.

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

Definition at line 600 of file reg.cpp.

---

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

• gecode/minimodel/reg.cpp (Revision: 11279)