00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 namespace vcsn
00025 {
00026 namespace VCSN_GRAPH_IMPL
00027 {
00028 VCSN_CONTEXT_NAMESPACE
00029 {
00030
00031 template <class T1, class T2>
00032 automaton_t make_automaton(const T1& first_alphabet,
00033 const T2& second_alphabet);
00034
00035 template <class FirstInputIterator, class SecondInputIterator>
00036 automaton_t make_automaton(const FirstInputIterator first_begin,
00037 const FirstInputIterator first_end,
00038 const SecondInputIterator second_begin,
00039 const SecondInputIterator second_end);
00040
00041 template <class T1, class T2>
00042 monoid_elt_t make_couple(const T1& first_alphabet,
00043 const T2& second_alphabet,
00044 const std::string& first_exp = "",
00045 const std::string& second_exp = "");
00046
00047 template <class FirstIterator, class SecondIterator>
00048 monoid_elt_t make_couple(const FirstIterator first_begin,
00049 const FirstIterator first_end,
00050 const SecondIterator second_begin,
00051 const SecondIterator second_end,
00052 const std::string& first_exp,
00053 const std::string& second_exp);
00054
00055 template <typename TransStruct,
00056 typename TransImpl,
00057 typename ArgStruct,
00058 typename ArgImpl>
00059 AUTOMATON_CONTEXT::rat_exp_t
00060 evaluation(const Element<TransStruct, TransImpl>& t,
00061 const Element<ArgStruct, ArgImpl>& input);
00062
00063 }
00064 }
00065 }
00066
00067 # include <vaucanson/contexts/fmp_transducer_maker.thxx>
00068