#include <FSA.h>
Inheritance diagram for FSA:
Public Types | |
typedef FSAState | state_type |
typedef FSAState::edge_type | edge_type |
Public Member Functions | |
FSA () | |
FSA | operator * (const FSA &F) const |
bool | operator== (const FSA &F) const |
void | fold (const set< int > *candidates=NULL, list< FoldDetails > *details=NULL) |
void | pinch (int state1, int state2) |
void | unfold (const list< FoldDetails > &details) |
void | liftup (const list< FoldDetails > &details, list< FSAEdge > &path, int init_state) |
bool | isDeterministic () const |
FSA | deterministic () const |
int | newState () |
void | eraseState (int state) |
void | newEdge (int state1, int state2, int label) |
void | eraseEdge (int state1, int state2, int label) |
template<class ConstIntIterator> | |
void | addLoop (int vert, ConstIntIterator F, ConstIntIterator L) |
template<class ConstIntIterator> | |
void | addRay (int vert, ConstIntIterator F, ConstIntIterator L) |
void | addFSA (int vert1, int vert2, const FSA &fsa) |
const map< int, FSAState > & | getStates () const |
map< int, FSAState > & | getStates () |
void | makeInitial (int s) |
void | makeTerminal (int s) |
void | makeNonInitial (int s) |
void | makeNonTerminal (int s) |
const set< int > & | getInitStates () const |
const set< int > & | getTermStates () const |
Private Member Functions | |
FSA (const FSARep &rep) |
Definition at line 21 of file FSA.h.
|
|
|
|
|
|
|
|
|
Definition at line 91 of file FSA.h. References FSARep::addFSA(), ObjectOf< FSARep >::change(), and ObjectOf< Rep >::look(). |
|
Definition at line 87 of file FSA.h. References FSARep::addLoop(), and ObjectOf< FSARep >::change(). |
|
Definition at line 89 of file FSA.h. References FSARep::addRay(), and ObjectOf< FSARep >::change(). |
|
|
|
Definition at line 85 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 83 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 64 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 108 of file FSA.h. References ObjectOf< FSARep >::look(). |
|
Definition at line 94 of file FSA.h. References ObjectOf< FSARep >::change(), and FSARep::getStates(). |
|
Definition at line 93 of file FSA.h. References FSARep::getStates(), and ObjectOf< FSARep >::look(). |
|
Definition at line 109 of file FSA.h. References ObjectOf< FSARep >::look(). |
|
|
|
Definition at line 70 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 104 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 106 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 107 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 105 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 84 of file FSA.h. References ObjectOf< FSARep >::change(). Referenced by FSARep::addRay(). |
|
Definition at line 82 of file FSA.h. References ObjectOf< FSARep >::change(). Referenced by FSARep::addRay(). |
|
|
|
|
|
Definition at line 67 of file FSA.h. References ObjectOf< FSARep >::change(). |
|
Definition at line 69 of file FSA.h. References ObjectOf< FSARep >::change(). |