evaluate.hh File Reference

#include <vector>
#include <queue>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/core/automaton.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/labelset/word-polynomialset.hh>
#include <vcsn/misc/algorithm.hh>
#include <vcsn/misc/type_traits.hh>

Include dependency graph for evaluate.hh:

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

Go to the source code of this file.

Classes
class	vcsn::detail::evaluator< Aut >
	Evaluate a word on an automaton. More...
struct	vcsn::detail::evaluator< Aut >::labeled_weight

Namespaces
	vcsn
	vcsn::detail
	vcsn::dyn
	vcsn::dyn::detail

Functions
template<Automaton Aut>
auto	vcsn::evaluate (const Aut &a, const word_t_of< Aut > &w) -> std::enable_if_t<!context_t_of< Aut >::is_lao, weight_t_of< Aut >>
	General case of evaluation. More...
template<Automaton Aut>
auto	vcsn::evaluate (const Aut &a, const label_t_of< Aut > &={}) -> std::enable_if_t< context_t_of< Aut >::is_lao, weight_t_of< Aut >>
	Evaluation for lao automaton. More...
template<Automaton Aut, typename LabelSet >
weight	vcsn::dyn::detail::evaluate (const automaton &aut, const label &lbl)
	Bridge. More...
template<Automaton Aut>
auto	vcsn::evaluate (const Aut &a, const typename detail::word_polynomialset_t< context_t_of< Aut >>::value_t &p) -> weight_t_of< Aut >
	Evaluation of a polynomial. More...
template<Automaton Aut, typename PolynomialSet >
weight	vcsn::dyn::detail::evaluate_polynomial (const automaton &aut, const polynomial &poly)
	Bridge (evaluate). More...