00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_ALGORITHMS_IS_SYNCHRONISABLE_HH
00018 # define VCSN_ALGORITHMS_IS_SYNCHRONISABLE_HH
00019
00033 # include <vaucanson/fmp_transducer.hh>
00034
00035
00038 namespace vcsn
00039 {
00040 template <typename S, typename T>
00041 bool
00042 is_bounded_lag (const Element<S, T>& t);
00043
00044 template <typename S, typename T>
00045 Element<S, T> synchronise (const Element<S, T>& t);
00046
00047 }
00050 # ifndef VCSN_USE_INTERFACE_ONLY
00051 # include "is_synchronisable.hxx"
00052 # endif // VCSN_USE_INTERFACE_ONLY
00053
00054 #endif // ! VCSN_ALGORITHMS_IS_SYNCHRONISABLE_HH