00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_ALGORITHMS_DOMAIN_HH
00018 # define VCSN_ALGORITHMS_DOMAIN_HH
00019
00030
00031
00032 # include <vaucanson/automata/concept/automata.hh>
00033 # include <vaucanson/algebra/implementation/free_monoid/words.hh>
00034 # include <vaucanson/algebra/concept/freemonoid_product.hh>
00035 # include <vaucanson/algebra/implementation/series/series.hh>
00036
00037
00038 #include <vaucanson/automata/concept/transducer.hh>
00039
00040
00041 namespace vcsn
00042 {
00043
00044
00045
00046
00047
00048 template <typename S, typename S2, typename T, typename T2>
00049 void
00050 domain(const Element<S,T>& src, Element<S2, T2>& dst);
00051
00052
00053 template <typename src_t, typename dst_t>
00054 void
00055 do_fmp_domain(const src_t& src, dst_t& dst);
00056
00057
00058 template <typename src_t, typename dst_t>
00059 void
00060 do_rw_domain(const src_t& src, dst_t& dst);
00061
00062 }
00063
00064
00065 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
00066 # include <vaucanson/algorithms/domain.hxx>
00067 # endif // VCSN_USE_INTERFACE_ONLY
00068
00069
00070 #endif // ! VCSN_ALGORITHMS_DOMAIN_HH