Generated on Tue May 22 09:41:38 2018 for Gecode by doxygen 1.6.3

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 *)
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 671 of file reg.cpp.


Constructor & Destructor Documentation

Gecode::MiniModel::StatePool::StatePool ( PosSet ps  )  [inline]

Definition at line 687 of file reg.cpp.


Member Function Documentation

StateNode * Gecode::MiniModel::StatePool::pop ( void   )  [inline]

Definition at line 699 of file reg.cpp.

bool Gecode::MiniModel::StatePool::empty ( void   )  const [inline]

Definition at line 708 of file reg.cpp.

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

Definition at line 713 of file reg.cpp.


Member Data Documentation

Definition at line 673 of file reg.cpp.


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