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

Gecode::MiniModel::TransitionBag Class Reference

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

List of all members.

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

Constructor & Destructor Documentation

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

Definition at line 769 of file reg.cpp.

Member Function Documentation

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

Definition at line 772 of file reg.cpp.

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

Definition at line 780 of file reg.cpp.

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

Definition at line 785 of file reg.cpp.

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