22 #include <spot/twa/twagraph.hh>
52 const const_twa_graph_ptr aut);
55 bool is_isomorphic_(
const const_twa_graph_ptr aut);
57 bool ref_deterministic_ =
false;
58 unsigned nondet_states_ = 0;
Check if two automata are isomorphic.
Definition: are_isomorphic.hh:29
static bool are_isomorphic(const const_twa_graph_ptr ref, const const_twa_graph_ptr aut)
Check whether two automata are isomorphic.
bool is_isomorphic(const const_twa_graph_ptr aut)
Check whether an automaton is isomorphic to the one passed to the constructor.
Definition: automata.hh:27