Vcsn  2.4
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::are_isomorphicer< Aut1, Aut2 > Class Template Reference

#include <are-isomorphic.hh>

Collaboration diagram for vcsn::are_isomorphicer< Aut1, Aut2 >:

Private Types

using automaton1_t = Aut1
 
using context1_t = context_t_of< automaton1_t >
 
using weightset1_t = weightset_t_of< automaton1_t >
 
using labelset1_t = labelset_t_of< context1_t >
 
using state1_t = state_t_of< automaton1_t >
 
using label1_t = label_t_of< automaton1_t >
 
using weight1_t = weight_t_of< automaton1_t >
 
using transition1_t = transition_t_of< automaton1_t >
 
using automaton2_t = Aut2
 
using context2_t = context_t_of< automaton2_t >
 
using weightset2_t = weightset_t_of< automaton2_t >
 
using labelset2_t = labelset_t_of< context2_t >
 
using state2_t = state_t_of< automaton2_t >
 
using label2_t = label_t_of< automaton2_t >
 
using weight2_t = weight_t_of< automaton2_t >
 
using transition2_t = transition_t_of< automaton2_t >
 

Detailed Description

template<Automaton Aut1, Automaton Aut2>
class vcsn::are_isomorphicer< Aut1, Aut2 >

Definition at line 32 of file are-isomorphic.hh.

Member Typedef Documentation

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::automaton1_t = Aut1
private

Definition at line 35 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::automaton2_t = Aut2
private

Definition at line 44 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::context1_t = context_t_of<automaton1_t>
private

Definition at line 36 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::context2_t = context_t_of<automaton2_t>
private

Definition at line 45 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::label1_t = label_t_of<automaton1_t>
private

Definition at line 40 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::label2_t = label_t_of<automaton2_t>
private

Definition at line 49 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::labelset1_t = labelset_t_of<context1_t>
private

Definition at line 38 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::labelset2_t = labelset_t_of<context2_t>
private

Definition at line 47 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::state1_t = state_t_of<automaton1_t>
private

Definition at line 39 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::state2_t = state_t_of<automaton2_t>
private

Definition at line 48 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::transition1_t = transition_t_of<automaton1_t>
private

Definition at line 42 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::transition2_t = transition_t_of<automaton2_t>
private

Definition at line 51 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::weight1_t = weight_t_of<automaton1_t>
private

Definition at line 41 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::weight2_t = weight_t_of<automaton2_t>
private

Definition at line 50 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::weightset1_t = weightset_t_of<automaton1_t>
private

Definition at line 37 of file are-isomorphic.hh.

template<Automaton Aut1, Automaton Aut2>
using vcsn::are_isomorphicer< Aut1, Aut2 >::weightset2_t = weightset_t_of<automaton2_t>
private

Definition at line 46 of file are-isomorphic.hh.


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