Generated on Fri Aug 31 2012 16:23:19 for Gecode by doxygen 1.8.1.2
Gecode::MiniModel::StatePool Class Reference

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

Public Member Functions

 StatePool (PosSet *)
StateNodepop (void)
bool empty (void) const
int state (StatePoolAllocator &, PosSet *)

Public Attributes

int n_states
StateNode root
StateNodenext
StateNodeall

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: