libgsjj  1
Deterministic finite automata learning library
gsjj::DFA< Sigma > Member List

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) constgsjj::DFA< Sigma >inline
DFA(unsigned int initial, bool isAccepting=false)gsjj::DFA< Sigma >inline
getAcceptingStates() constgsjj::DFA< Sigma >inline
getInitialState() constgsjj::DFA< Sigma >inline
getNumberOfStates() constgsjj::DFA< Sigma >inline
getStates() constgsjj::DFA< Sigma >inline
getTransitions() constgsjj::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) constgsjj::DFA< Sigma >inline
isState(unsigned int state) constgsjj::DFA< Sigma >inline
to_dot() constgsjj::DFA< Sigma >inline