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

For collecting transitions while constructing a DFA. More...

Public Member Functions

 TransitionBag (void)
void add (int, int, int)
void finish (void)
DFA::Transitiontransitions (void)

Detailed Description

For collecting transitions while constructing a DFA.

Definition at line 681 of file reg.cpp.

Constructor & Destructor Documentation

Gecode::MiniModel::TransitionBag::TransitionBag ( void  )
inline

Definition at line 693 of file reg.cpp.

Member Function Documentation

void Gecode::MiniModel::TransitionBag::add ( int  i_state,
int  symbol,
int  o_state 
)
inline

Definition at line 696 of file reg.cpp.

void Gecode::MiniModel::TransitionBag::finish ( void  )
inline

Definition at line 704 of file reg.cpp.

DFA::Transition * Gecode::MiniModel::TransitionBag::transitions ( void  )
inline

Definition at line 709 of file reg.cpp.


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