|
libgsjj
1
Deterministic finite automata learning library
|
This is the complete list of members for gsjj::DFA< Sigma >, including all inherited members.
| addState(unsigned int state, bool isAccepting=false) | gsjj::DFA< Sigma > | inline |
| addTransition(unsigned int p, Sigma symbol, unsigned int q) | gsjj::DFA< Sigma > | inline |
| convert(const std::map< Sigma, T > &conversionMap) const | gsjj::DFA< Sigma > | inline |
| DFA(unsigned int initial, bool isAccepting=false) | gsjj::DFA< Sigma > | inline |
| getAcceptingStates() const | gsjj::DFA< Sigma > | inline |
| getInitialState() const | gsjj::DFA< Sigma > | inline |
| getNumberOfStates() const | gsjj::DFA< Sigma > | inline |
| getStates() const | gsjj::DFA< Sigma > | inline |
| getTransitions() const | gsjj::DFA< Sigma > | inline |
| isAccepted(const std::list< Sigma > &word) | gsjj::DFA< Sigma > | inline |
| isAccepted(const std::vector< Sigma > &word) | gsjj::DFA< Sigma > | inline |
| isAcceptingState(unsigned int state) const | gsjj::DFA< Sigma > | inline |
| isState(unsigned int state) const | gsjj::DFA< Sigma > | inline |
| to_dot() const | gsjj::DFA< Sigma > | inline |
1.8.13