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 675 of file reg.cpp.

---

Constructor & Destructor Documentation

Gecode::MiniModel::StatePool::StatePool

(

PosSet *

ps

)

[inline]

Definition at line 691 of file reg.cpp.

---

Member Function Documentation

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

(

void

)

[inline]

Definition at line 703 of file reg.cpp.

bool Gecode::MiniModel::StatePool::empty

(

void

)

const [inline]

Definition at line 712 of file reg.cpp.

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

Definition at line 717 of file reg.cpp.

---

Member Data Documentation

int Gecode::MiniModel::StatePool::n_states

Definition at line 677 of file reg.cpp.

StateNode Gecode::MiniModel::StatePool::root

Definition at line 678 of file reg.cpp.

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

Definition at line 679 of file reg.cpp.

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

Definition at line 680 of file reg.cpp.

---

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

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