Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_ALGORITHMS_ONE_EPS_CLOSURE_HH
00018 # define VCSN_ALGORITHMS_ONE_EPS_CLOSURE_HH
00019
00030 # include <vaucanson/design_pattern/design_pattern.hh>
00031 # include <vaucanson/misc/direction.hh>
00032
00033 namespace vcsn {
00034
00055 template<typename A, typename AI, typename EPS>
00056 void
00057 one_eps_closure(Element<A, AI>& a, const EPS& eps,
00058 misc::direction_type dir = misc::backward);
00059
00083 template<typename A, typename AI, typename EPS>
00084 void
00085 backward_one_eps_closure(Element<A, AI>& a, const EPS& eps);
00086
00087
00111 template<typename A, typename AI, typename EPS>
00112 void
00113 forward_one_eps_closure(Element<A, AI>& a, const EPS& eps);
00114
00116
00117 }
00118
00119
00120 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
00121 # include <vaucanson/algorithms/one_eps_closure.hxx>
00122 # endif // VCSN_USE_INTERFACE_ONLY
00123
00124 #endif // ! VCSN_ALGORITHMS_ONE_EPS_CLOSURE_HH