Public Types | |
typedef Element< A, T > | auto_t |
typedef std::vector< int > | trans_t |
typedef std::list< int > | state_list_t |
typedef std::vector< state_list_t > | delta_t |
Public Member Functions | |
Isomorpher (const automaton_t &a, const automaton_t &b) | |
bool | operator() () |
Classes | |
struct | automaton_vars |
Definition at line 99 of file isomorph.hxx.