spot
1.99.3
|
Check if two automata are isomorphic. More...
#include <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... | |
Check if two automata are isomorphic.