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;
Definition: automata.hh:26
Check if two automata are isomorphic.
Definition: are_isomorphic.hh:28