tdc_eval.hh File Reference

#include <awali/dyn/modules/transducer.hh>
#include <awali/dyn/modules/ratexp.hh>
#include <string>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::eval_tdc (automaton_t aut, transducer_t tdc)
ratexp_t	awali::dyn::eval_word (transducer_t tdc, const std::string &word)