Generated on Wed Jul 27 2011 15:09:15 for Gecode by doxygen 1.7.4
Gecode::MiniModel::FinalBag Class Reference

For collecting final states while constructing a DFA. More...

List of all members.

Public Member Functions

 FinalBag (void)
void add (int)
void finish (void)
int * finals (void)

Detailed Description

For collecting final states while constructing a DFA.

Definition at line 718 of file reg.cpp.


Constructor & Destructor Documentation

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

Definition at line 730 of file reg.cpp.


Member Function Documentation

void Gecode::MiniModel::FinalBag::add ( int  state) [inline]

Definition at line 733 of file reg.cpp.

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

Definition at line 738 of file reg.cpp.

int * Gecode::MiniModel::FinalBag::finals ( void  ) [inline]

Definition at line 743 of file reg.cpp.


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