|template<typename S, typename A>|
|bool||is_ltl (const Element< S, A > &t)|
|Test whether an FMP transducer is letter-to-letter. |
An FMP transducer T over the free monoid product is letter-to-letter (LTL) if and only if (1) the support of every of its transitions is in , and (2) its initial and final weights are scalar.
Definition in file is_ltl.hh.