For collecting transitions while constructing a DFA. More...
Public Member Functions | |
TransitionBag (void) | |
void | add (int, int, int) |
void | finish (void) |
DFA::Transition * | transitions (void) |
For collecting transitions while constructing a DFA.
Gecode::MiniModel::TransitionBag::TransitionBag | ( | void | ) | [inline] |
void Gecode::MiniModel::TransitionBag::add | ( | int | i_state, |
int | symbol, | ||
int | o_state | ||
) | [inline] |
void Gecode::MiniModel::TransitionBag::finish | ( | void | ) | [inline] |
DFA::Transition * Gecode::MiniModel::TransitionBag::transitions | ( | void | ) | [inline] |