![]() |
Vcsn
2.3a
Be Rational
|
A datum specifying if two given automata are isomorphic, and why if they are not. More...
Public Types | |
enum | tag { tag::never_computed = -1, tag::isomorphic = 0, tag::counterexample = 1, tag::nocounterexample = 2, tag::trivially_different = 3 } |
Public Member Functions | |
full_response () | |
Public Attributes | |
enum vcsn::are_isomorphicer::full_response::tag | response |
pair_t | counterexample |
Only meaningful if the tag is tag::counterexample. More... | |
s1tos2_t | s1tos2_ |
Only meaningful if the tag is tag::isomorphic. More... | |
s2tos1_t | s2tos1_ |
A datum specifying if two given automata are isomorphic, and why if they are not.
This should be a variant record, but BOOST variants are not really suitable (this is not just a disjoint union: we also need a case tag), we don't like unions, and visitors are overkill. The thing might even get simpler when we generalize to non-sequential automata.
Definition at line 116 of file are-isomorphic.hh.
|
strong |
Enumerator | |
---|---|
never_computed | |
isomorphic | |
counterexample | |
nocounterexample | |
trivially_different |
Definition at line 118 of file are-isomorphic.hh.
|
inline |
Definition at line 137 of file are-isomorphic.hh.
pair_t vcsn::are_isomorphicer< Aut1, Aut2 >::full_response::counterexample |
Only meaningful if the tag is tag::counterexample.
Definition at line 131 of file are-isomorphic.hh.
Referenced by vcsn::are_isomorphicer< Aut1, Aut2 >::get_full_response_sequential().
enum vcsn::are_isomorphicer::full_response::tag vcsn::are_isomorphicer< Aut1, Aut2 >::full_response::response |
s1tos2_t vcsn::are_isomorphicer< Aut1, Aut2 >::full_response::s1tos2_ |
Only meaningful if the tag is tag::isomorphic.
Definition at line 134 of file are-isomorphic.hh.
Referenced by vcsn::are_isomorphicer< Aut1, Aut2 >::get_full_response_sequential(), vcsn::are_isomorphicer< Aut1, Aut2 >::is_isomorphism_valid_throwing(), and vcsn::are_isomorphicer< Aut1, Aut2 >::update_result_isomorphism().
s2tos1_t vcsn::are_isomorphicer< Aut1, Aut2 >::full_response::s2tos1_ |
Definition at line 135 of file are-isomorphic.hh.
Referenced by vcsn::are_isomorphicer< Aut1, Aut2 >::get_full_response_sequential(), vcsn::are_isomorphicer< Aut1, Aut2 >::is_isomorphism_valid_throwing(), vcsn::are_isomorphicer< Aut1, Aut2 >::origins(), and vcsn::are_isomorphicer< Aut1, Aut2 >::update_result_isomorphism().