#include <are_isomorphic.hh>
◆ class_id
template<typename Aut1 , typename Aut2 >
Automaton states partitioned into classes.
It's guaranteed that a left[right] state in a given class can not be isomorphic to a right[left] in a different class. The idea of course is to restrict the brute-force search to the states within a single class.
◆ class_pair_t
template<typename Aut1 , typename Aut2 >
◆ origins_t
template<typename Aut1 , typename Aut2 >
A map from each a2_ state to the corresponding a1_ state.
The map is ordered, as usual for origins, hence different from fr_.s2tos1_.
◆ state_classes_t
template<typename Aut1 , typename Aut2 >
◆ states1_t
template<typename Aut1 , typename Aut2 >
◆ states2_t
template<typename Aut1 , typename Aut2 >
◆ are_isomorphicer()
template<typename Aut1 , typename Aut2 >
◆ factorial()
template<typename Aut1 , typename Aut2 >
◆ get_full_response()
template<typename Aut1 , typename Aut2 >
◆ get_full_response_nonsequential()
template<typename Aut1 , typename Aut2 >
◆ get_full_response_sequential()
template<typename Aut1 , typename Aut2 >
◆ initialize_next_class_combination_state()
template<typename Aut1 , typename Aut2 >
◆ is_isomorphism_valid()
template<typename Aut1 , typename Aut2 >
◆ is_isomorphism_valid_throwing()
template<typename Aut1 , typename Aut2 >
◆ make_state_classes()
template<typename Aut1 , typename Aut2 >
◆ next_class_combination()
template<typename Aut1 , typename Aut2 >
◆ operator()()
template<typename Aut1 , typename Aut2 >
◆ origins()
template<typename Aut1 , typename Aut2 >
Only meaningful if operator() returned true.
◆ print()
template<typename Aut1 , typename Aut2 >
◆ print_class_stats()
template<typename Aut1 , typename Aut2 >
◆ print_classes()
template<typename Aut1 , typename Aut2 >
◆ state_to_class()
template<typename Aut1 , typename Aut2 >
template<typename Automaton >
◆ update_result_isomorphism()
template<typename Aut1 , typename Aut2 >
◆ class_permutation_generated_
template<typename Aut1 , typename Aut2 >
◆ class_permutation_max_
template<typename Aut1 , typename Aut2 >
We need to keep some (small) state between a next_class_combination call and the next.
◆ state_classes_
template<typename Aut1 , typename Aut2 >
The documentation for this class was generated from the following file:
- /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/algos/are_isomorphic.hh