![]() |
Vcsn
2.3a
Be Rational
|
Evaluate a word on an automaton. More...
#include <evaluate.hh>
Classes | |
struct | labeled_weight |
Public Member Functions | |
evaluator (const automaton_t &a) | |
template<typename LabelSet = labelset_t> | |
std::enable_if_t<!LabelSet::is_free(), weight_t > | operator() (const word_t &word) const |
template<typename LabelSet = labelset_t> | |
std::enable_if_t< LabelSet::is_free(), weight_t > | operator() (const word_t &word) const |
weight_t | operator() (const polynomial_t &poly) const |
Polynomial implementation. More... | |
Private Types | |
using | automaton_t = Aut |
using | labelset_t = labelset_t_of< automaton_t > |
using | state_t = state_t_of< automaton_t > |
using | word_t = word_t_of< automaton_t > |
using | wordset_t = law_t< labelset_t > |
using | context_t = context_t_of< automaton_t > |
using | wps_t = word_polynomialset_t< context_t > |
using | polynomial_t = typename wps_t::value_t |
using | weightset_t = weightset_t_of< automaton_t > |
using | weight_t = typename weightset_t::value_t |
using | weights_t = std::vector< weight_t > |
state -> weight. More... | |
Private Attributes | |
automaton_t | aut_ |
const weightset_t & | ws_ = *aut_->weightset() |
const labelset_t & | ls_ = *aut_->labelset() |
const wordset_t | wordset_ = make_wordset(*aut_->labelset()) |
const wps_t | wps_ = make_word_polynomialset(aut_->context()) |
Evaluate a word on an automaton.
Definition at line 23 of file evaluate.hh.
|
private |
Definition at line 25 of file evaluate.hh.
|
private |
Definition at line 30 of file evaluate.hh.
|
private |
Definition at line 26 of file evaluate.hh.
|
private |
Definition at line 32 of file evaluate.hh.
|
private |
Definition at line 27 of file evaluate.hh.
|
private |
Definition at line 34 of file evaluate.hh.
|
private |
state -> weight.
Definition at line 37 of file evaluate.hh.
|
private |
Definition at line 33 of file evaluate.hh.
|
private |
Definition at line 28 of file evaluate.hh.
|
private |
Definition at line 29 of file evaluate.hh.
|
private |
Definition at line 31 of file evaluate.hh.
|
inline |
Definition at line 40 of file evaluate.hh.
|
inline |
Definition at line 60 of file evaluate.hh.
References vcsn::detail::all_out(), vcsn::detail::evaluator< Aut >::aut_, vcsn::detail::evaluator< Aut >::ls_, vcsn::res, vcsn::detail::evaluator< Aut >::wordset_, and vcsn::detail::evaluator< Aut >::ws_.
|
inline |
Definition at line 95 of file evaluate.hh.
References vcsn::detail::evaluator< Aut >::aut_, vcsn::detail::out(), vcsn::detail::states_size(), and vcsn::detail::evaluator< Aut >::ws_.
|
inline |
Polynomial implementation.
Definition at line 150 of file evaluate.hh.
References vcsn::label_of(), vcsn::res, vcsn::weight_of(), and vcsn::detail::evaluator< Aut >::ws_.
|
private |
Definition at line 160 of file evaluate.hh.
Referenced by vcsn::detail::evaluator< Aut >::operator()().
|
private |
Definition at line 162 of file evaluate.hh.
Referenced by vcsn::detail::evaluator< Aut >::operator()().
|
private |
Definition at line 163 of file evaluate.hh.
Referenced by vcsn::detail::evaluator< Aut >::operator()().
|
private |
Definition at line 164 of file evaluate.hh.
|
private |
Definition at line 161 of file evaluate.hh.
Referenced by vcsn::detail::evaluator< Aut >::operator()().