21#include <spot/twa/twagraph.hh>
51 const const_twa_graph_ptr aut);
54 bool is_isomorphic_(
const const_twa_graph_ptr aut);
56 bool ref_deterministic_ =
false;
57 unsigned nondet_states_ = 0;
Check if two automata are isomorphic.
Definition: are_isomorphic.hh:28
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:26