For collecting final states while constructing a DFA. More...
Public Member Functions | |
FinalBag (void) | |
void | add (int) |
void | finish (void) |
int * | finals (void) |
Gecode::MiniModel::FinalBag::FinalBag | ( | void | ) | [inline] |
void Gecode::MiniModel::FinalBag::add | ( | int | state | ) | [inline] |
void Gecode::MiniModel::FinalBag::finish | ( | void | ) | [inline] |
int * Gecode::MiniModel::FinalBag::finals | ( | void | ) | [inline] |