Inheritance diagram for BrzozowskiAlgo:
Public Types | |
typedef T_auto * | T_auto_p |
typedef std::pair< hstate_t, bool > | StateMarked |
typedef std::map< Etiq, StateMarked, Comparator< Self, Etiq > > | StateMap |
typedef StateMap::iterator | iterator |
Public Member Functions | |
BrzozowskiAlgo (const series_set_t &series, const Exp &exp) | |
void | on_state (const Exp &e) |
void | run () |
T_auto_p | get () const |
Static Public Member Functions | |
static bool | compare (const Etiq &e1, const Etiq &e2) |
Protected Member Functions | |
void | link_to (const Etiq &etiq, const letter_t &l) |
void | link_to (const Etiq &etiq, const series_set_elt_t &el) |
void | set_final () |
void | set_final (const series_set_elt_t &el) |
This class should be used only in brzozowski() and should not be instantiated from elsewhere.
This class defines the methods which are missing to IncAutomataConstructor to incrementally build an automaton, i.e. the function which must be applied on each state.
Definition at line 47 of file brzozowski.hxx.
void on_state | ( | const Exp & | e | ) | [inline] |
Definition at line 60 of file brzozowski.hxx.
References vcsn::canonical(), vcsn::constant_term(), vcsn::derivate(), IncAutomataConstructor::get(), and SELECT.