00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_ALGORITHMS_DETERMINIZE_HH
00018 # define VCSN_ALGORITHMS_DETERMINIZE_HH
00019
00033
00034
00035 # include <vaucanson/design_pattern/design_pattern.hh>
00036 # include <vaucanson/automata/concept/handlers.hh>
00037
00038 # include <map>
00039 # include <set>
00040
00041 namespace vcsn {
00042
00045
00046
00047
00063 template<typename A, typename AI>
00064 Element<A, AI>
00065 determinize(const Element<A, AI>& a);
00066
00089 template<typename A, typename AI>
00090 Element<A, AI>
00091 determinize(const Element<A, AI>& a,
00092 std::map<typename Element<A, AI>::hstate_t,
00093 std::set<typename Element<A, AI>::hstate_t> >&m);
00095
00098 }
00099
00100 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
00101 # include <vaucanson/algorithms/determinize.hxx>
00102 # endif // VCSN_USE_INTERFACE_ONLY
00103
00104 #endif // ! VCSN_ALGORITHMS_DETERMINIZE_HH