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)
	Construct the checker with ref as the reference automaton.
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.

Constructor & Destructor Documentation

isomorphism_checker()

spot::isomorphism_checker::isomorphism_checker

(

const const_twa_graph_ptr

ref

)

Construct the checker with ref as the reference automaton.

---

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

• spot/twaalgos/are_isomorphic.hh