evaluation.hh File Reference

Internal functions used by the rw_composition algorithm. More...

Include dependency graph for evaluation.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	vcsn
Functions
template<typename SA, typename TA, typename ST, typename TT, typename SARET, typename TARET>
void	evaluation (const Element< SA, TA > &a, const Element< ST, TT > &t, Element< SARET, TARET > &ret)
	Evaluate for a "letterized" automaton and a realtime transducer.
template<typename SA, typename TA, typename M>
void	partial_elimination (const Element< SA, TA > &a, M &state_exp_pair)
	This function computes a set of expression, after having eliminated all states which are not initial or final.
template<typename S1, typename T1, typename S2, typename T2, typename M>
void	partial_evaluation (const Element< S1, T1 > &E, const Element< S2, T2 > &S, const typename Element< S2, T2 >::hstate_t &p, M &res)
	This function computes a set of expression according to the rw_composition algorithm description.

---

Detailed Description

Internal functions used by the rw_composition algorithm.

See also:

vcsn::evaluation()

Definition in file evaluation.hh.