22 #include <spot/twa/twagraph.hh>
46 is_isomorphic(
const const_twa_graph_ptr aut);
51 static bool are_isomorphic(
const const_twa_graph_ptr ref,
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:28