Generated on Tue Apr 18 10:24:03 2017 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 761 of file reg.cpp.

Constructor & Destructor Documentation

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

Definition at line 773 of file reg.cpp.

Member Function Documentation

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

Definition at line 776 of file reg.cpp.

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

Definition at line 784 of file reg.cpp.

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

Definition at line 789 of file reg.cpp.

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