spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | List of all members
spot::isomorphism_checker Class Reference

Check if two automata are isomorphic. More...

#include <twaalgos/are_isomorphic.hh>

Collaboration diagram for spot::isomorphism_checker:
Collaboration graph

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. More...
 

Detailed Description

Check if two automata are isomorphic.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:37 for spot by doxygen 1.8.8