Generated on Sat Nov 11 01:12:21 2006 for Gecode by doxygen 1.5.1

Gecode::Int::Regular::StatePool Class Reference

List of all members.

Detailed Description

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

Definition at line 503 of file reg.cc.

Public Member Functions

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

Public Attributes

int n_states
StateNode root
StateNodenext
StateNodeall


Constructor & Destructor Documentation

Gecode::Int::Regular::StatePool::StatePool ( PosSet  )  [inline]

Definition at line 519 of file reg.cc.


Member Function Documentation

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

Definition at line 531 of file reg.cc.

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

Definition at line 540 of file reg.cc.

int Gecode::Int::Regular::StatePool::state ( StatePoolAllocator ,
PosSet  
) [inline]

Definition at line 545 of file reg.cc.


Member Data Documentation

Definition at line 505 of file reg.cc.


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