eval.hh File Reference

#include <map>
#include <awali/dyn/core/automaton.hh>

Go to the source code of this file.

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

Functions
std::map< any_t, weight_t >	awali::dyn::enumerate (automaton_t aut, unsigned max)
	Gives the weight associated with each word shorter than max by aut. More...
weight_t	awali::dyn::eval (automaton_t aut, any_t word)
	Computes the weight associated with word by aut. More...
std::map< any_t, weight_t >	awali::dyn::shortest (automaton_t aut, unsigned max)
	Gives the shortest , returns an empty map if no such word is shorter than max. More...