spot::isomorphism_checker Class Reference

Check if two automata are isomorphic. More...

#include <spot/twaalgos/are_isomorphic.hh>

Collaboration diagram for spot::isomorphism_checker:

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.

Static Public Member Functions
static bool	are_isomorphic (const const_twa_graph_ptr ref, const const_twa_graph_ptr aut)
	Check whether two automata are isomorphic.

Detailed Description

Check if two automata are isomorphic.

---

The documentation for this class was generated from the following file:

• spot/twaalgos/are_isomorphic.hh