00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_ALGORITHMS_PRODUCT_HH
00018 # define VCSN_ALGORITHMS_PRODUCT_HH
00019
00031
00032
00033 # include <vaucanson/design_pattern/design_pattern.hh>
00034 # include <vaucanson/automata/concept/handlers.hh>
00035
00036 # include <utility>
00037 # include <map>
00038
00039 namespace vcsn
00040 {
00041
00044
00045
00046
00047
00048
00049
00050 template<typename A, typename T, typename U>
00051 Element<A, T>
00052 product(const Element<A, T>& lhs, const Element<A, U>& rhs,
00053 const bool use_geometry = false);
00054
00055 template<typename A, typename T, typename U>
00056 Element<A, T>
00057 product(const Element<A, T>& lhs,
00058 const Element<A, U>& rhs,
00059 std::map<typename T::hstate_t,
00060 std::pair<typename T::hstate_t, typename U::hstate_t> >&,
00061 const bool use_geometry = false);
00066 }
00067
00068 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
00069 # include <vaucanson/algorithms/product.hxx>
00070 # endif // VCSN_USE_INTERFACE_ONLY
00071
00072 #endif // ! VCSN_ALGORITHMS_PRODUCT_HH