Generated on Fri Oct 19 11:26:18 2018 for Gecode by doxygen 1.6.3

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


Constructor & Destructor Documentation

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

Definition at line 809 of file reg.cpp.


Member Function Documentation

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

Definition at line 812 of file reg.cpp.

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

Definition at line 817 of file reg.cpp.

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

Definition at line 822 of file reg.cpp.


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