00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_AUTOMATA_IMPLEMENTATION_KIND_ADAPTER_HH
00018 # define VCSN_AUTOMATA_IMPLEMENTATION_KIND_ADAPTER_HH
00019
00020 # include <vaucanson/automata/concept/automata_kind.hh>
00021
00022 namespace vcsn {
00023
00026
00027 #define ADAPT_ADD_LETTER_TRANSITION_TO_SERIES_LABEL(T...) \
00028 typename automaton_traits<T>::htransition_t \
00029 op_add_letter_transition(const AutomataBase<S>& s, \
00030 T& v, \
00031 const typename automaton_traits<T>::hstate_t& from,\
00032 const typename automaton_traits<T>::hstate_t& to,\
00033 const typename Element<S, T >::letter_t & l) \
00034 { \
00035 typedef typename S::series_set_t series_set_t; \
00036 typedef typename series_set_t::monoid_t monoid_t; \
00037 typedef typename series_set_t::semiring_t semiring_t; \
00038 typedef typename Element<S, T >::monoid_elt_value_t \
00039 monoid_elt_value_t; \
00040 typedef typename Element<S, T >::semiring_elt_value_t \
00041 semiring_elt_value_t; \
00042 typedef typename Element<S, T >::series_set_elt_value_t \
00043 series_set_elt_value_t; \
00044 \
00045 Element<series_set_t, series_set_elt_value_t> label (s.series()); \
00046 \
00047 Element<monoid_t, monoid_elt_value_t> word (s.series().monoid(), l); \
00048 label.assoc(word, \
00049 s.series().semiring().identity(SELECT(semiring_elt_value_t))); \
00050 \
00051 return op_add_transition(s, v, from, to, label.value()); \
00052 }
00053
00054 #define ADAPT_LETTER_OF_TO_SERIES_LABEL(T...) \
00055 typename Element<AutomataBase<S>, T >::letter_t \
00056 op_letter_of(const AutomataBase<S>& s, \
00057 const T& v, \
00058 const typename automaton_traits<T>::htransition_t& e) \
00059 { \
00060 typedef typename S::series_set_t series_set_t; \
00061 typedef typename series_set_t::monoid_t monoid_t; \
00062 typedef typename Element<S, T >::monoid_elt_value_t \
00063 word_value_t; \
00064 typedef typename Element<S, T >::series_set_elt_value_t \
00065 series_set_elt_value_t; \
00066 \
00067 Element<series_set_t, series_set_elt_value_t> sl = op_series_of(s, v, e); \
00068 precondition(sl.supp().size() == 1); \
00069 Element<monoid_t, word_value_t> w = sl.choose_from_supp(); \
00070 precondition(w.length() == 1); \
00071 return *w.begin(); \
00072 }
00073
00074 #define ADAPT_WORD_OF_TO_SERIES_LABEL(T...) \
00075 typename Element<AutomataBase<S>, T >::monoid_elt_t \
00076 op_word_of(const AutomataBase<S>& s, \
00077 const T& v, \
00078 const typename automaton_traits<T>::htransition_t& e) \
00079 { \
00080 typedef typename S::series_set_t series_set_t; \
00081 typedef typename series_set_t::monoid_t monoid_t; \
00082 typedef typename Element<S, T >::monoid_elt_value_t \
00083 word_value_t; \
00084 typedef typename Element<S, T >::series_set_elt_value_t \
00085 series_set_elt_value_t; \
00086 \
00087 Element<series_set_t, series_set_elt_value_t> sl = op_series_of(s, v, e); \
00088 precondition(sl.supp().size() == 1); \
00089 Element<monoid_t, word_value_t> w = sl.choose_from_supp(); \
00090 return w; \
00091 }
00092
00095 #define ADAPT_ADD_SERIE_TRANSITION_TO_LETTERS_LABEL(T...) \
00096 typename automaton_traits<T>::htransition_t \
00097 op_add_series_transition(const AutomataBase<S>& a_set, \
00098 T& v, \
00099 const typename automaton_traits<T>::hstate_t& from,\
00100 const typename automaton_traits<T>::hstate_t& to, \
00101 const typename Element<S,T>::series_set_elt_t& s) \
00102 { \
00103 assertion(s.supp().size() == 1); \
00104 typedef typename Element<S, T>::series_set_elt_t::value_t::monoid_elt_value_t\
00105 monoid_elt_value_t; \
00106 typename automaton_traits<T>::htransition_t res; \
00107 monoid_elt_value_t supp = *s.supp().begin(); \
00108 for (typename monoid_elt_value_t::const_iterator it = supp.begin(); \
00109 it != supp.end(); ++it) \
00110 res = op_add_letter_transition(a_set, v, from, to, *it); \
00111 return res; \
00112 }
00113
00114 #define ADAPT_WORD_OF_TO_LETTERS_LABEL(T...) \
00115 typename Element<AutomataBase<S>, T >::monoid_elt_t \
00116 op_word_of(const AutomataBase<S>& a_set, \
00117 const T& v, \
00118 const typename automaton_traits<T>::htransition_t& e)\
00119 { \
00120 typedef T value_t; \
00121 typedef typename S::series_set_t series_set_t; \
00122 typedef typename series_set_t::monoid_t monoid_t; \
00123 typedef typename Element<S, value_t>::monoid_elt_value_t \
00124 word_value_t; \
00125 Element<monoid_t, word_value_t> \
00126 w(a_set.series().monoid()); \
00127 w += op_letter_of(a_set, v, e); \
00128 return w; \
00129 }
00130
00131 #define ADAPT_SERIE_OF_TO_LETTERS_LABEL(T...) \
00132 typename Element<AutomataBase<S>, T >::series_set_elt_t \
00133 op_series_of(const AutomataBase<S>& a_set, \
00134 const T& v, \
00135 const typename automaton_traits<T>::htransition_t& e) \
00136 { \
00137 typedef T value_t; \
00138 \
00139 typedef typename S::series_set_t series_set_t; \
00140 typedef typename series_set_t::monoid_t monoid_t; \
00141 typedef typename Element<S, value_t>::monoid_elt_value_t \
00142 word_value_t; \
00143 typedef typename Element<S, value_t>::semiring_elt_value_t \
00144 semiring_elt_value_t; \
00145 typedef typename Element<S, value_t>::series_set_elt_value_t \
00146 series_set_elt_value_t; \
00147 Element<monoid_t, word_value_t> w(a_set.series().monoid()); \
00148 w = op_letter_of(a_set, v, e); \
00149 Element<series_set_t, series_set_elt_value_t> s(a_set.series()); \
00150 s.assoc(w, algebra::identity_as<semiring_elt_value_t> \
00151 ::of(a_set.series().semiring())); \
00152 return s; \
00153 }
00154
00155 }
00156
00157 # if !defined VCSN_USE_INTERFACE_ONLY || defined VCSN_USE_LIB
00158 # include <vaucanson/automata/implementation/kind_adapter.hxx>
00159 # endif // VCSN_USE_INTERFACE_ONLY
00160
00161 #endif // ! VCSN_AUTOMATA_IMPLEMENTATION_KIND_ADAPTER_HH
