|
spot
2.3.3.dev
|
Check if two automata are isomorphic. More...
#include <spot/twaalgos/are_isomorphic.hh>

Public Member Functions | |
| isomorphism_checker (const const_twa_graph_ptr ref) | |
| bool | is_isomorphic (const const_twa_graph_ptr aut) |
| Check whether an automaton is isomorphic to the one passed to the constructor. More... | |
Static Public Member Functions | |
| static bool | are_isomorphic (const const_twa_graph_ptr ref, const const_twa_graph_ptr aut) |
| Check whether two automata are isomorphic. More... | |
Check if two automata are isomorphic.
1.8.13