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