Go to the documentation of this file.
17 #ifndef VCSN_ALGORITHMS_IS_LTL_HH
18 # define VCSN_ALGORITHMS_IS_LTL_HH
42 # include <vaucanson/design_pattern/design_pattern.hh>
56 template<
typename S,
typename A>
58 is_ltl(
const Element<S, A>& t);
63 # if !defined VCSN_USE_INTERFACE_ONLY && !defined VCSN_USE_LIB
64 # include <vaucanson/algorithms/is_ltl.hxx>
65 # endif // ! VCSN_USE_INTERFACE_ONLY
67 #endif // ! VCSN_ALGORITHMS_IS_LTL_HH