Abstract interface representing the weightset and labelset of an automaton, a rational expression or a transducer.
More...
#include <abstract_context.hh>
Abstract interface representing the weightset and labelset of an automaton, a rational expression or a transducer.
◆ ~abstract_context_t()
virtual awali::dyn::abstract_context_t::~abstract_context_t |
( |
| ) |
|
|
virtual |
◆ add_letter()
virtual void awali::dyn::abstract_context_t::add_letter |
( |
label_t |
let | ) |
|
|
pure virtual |
Adds a letter in the alphabet.
◆ add_weights()
◆ alphabet()
virtual std::vector<any_t> awali::dyn::abstract_context_t::alphabet |
( |
| ) |
const |
|
pure virtual |
◆ div_weights()
◆ epsilon()
virtual label_t awali::dyn::abstract_context_t::epsilon |
( |
| ) |
const |
|
pure virtual |
◆ expand_label()
virtual std::list<any_t> awali::dyn::abstract_context_t::expand_label |
( |
any_t |
l | ) |
const |
|
pure virtual |
◆ get_label() [1/2]
virtual label_t awali::dyn::abstract_context_t::get_label |
( |
std::string |
w | ) |
const |
|
pure virtual |
◆ get_label() [2/2]
virtual label_t awali::dyn::abstract_context_t::get_label |
( |
std::string |
w, |
|
|
size_t |
i |
|
) |
| const |
|
pure virtual |
◆ get_weight()
virtual weight_t awali::dyn::abstract_context_t::get_weight |
( |
std::string |
w | ) |
const |
|
pure virtual |
◆ has_letter()
virtual bool awali::dyn::abstract_context_t::has_letter |
( |
label_t |
let | ) |
const |
|
pure virtual |
Tests whether let
is a valid letter.
◆ is_eps_allowed()
virtual bool awali::dyn::abstract_context_t::is_eps_allowed |
( |
| ) |
const |
|
pure virtual |
Returns true
if epsilon is allowed as label.
◆ is_finite_weightset()
virtual bool awali::dyn::abstract_context_t::is_finite_weightset |
( |
| ) |
const |
|
pure virtual |
◆ is_locally_finite_weightset()
virtual bool awali::dyn::abstract_context_t::is_locally_finite_weightset |
( |
| ) |
const |
|
pure virtual |
◆ label_to_string()
virtual std::string awali::dyn::abstract_context_t::label_to_string |
( |
label_t |
w | ) |
const |
|
pure virtual |
◆ labelset_name()
virtual std::string awali::dyn::abstract_context_t::labelset_name |
( |
| ) |
const |
|
pure virtual |
Gives the name of the labelset.
◆ mul_weights()
◆ show_one()
virtual bool awali::dyn::abstract_context_t::show_one |
( |
| ) |
const |
|
pure virtual |
Returns true
if one (neutral multiplicative element of the weightset) should be printed in expressions.
◆ sname()
virtual std::string awali::dyn::abstract_context_t::sname |
( |
| ) |
const |
|
pure virtual |
Returns the compile-time internal name of the context.
Two automaton_t (resp. ratexp_t, resp. transducer_t) wraps static objects of the exact same type if and only if with contexts that have equal sname
.
◆ vname()
virtual std::string awali::dyn::abstract_context_t::vname |
( |
bool |
full = true | ) |
const |
|
pure virtual |
Returns the runtime internal name of the context.
The difference with sname is that the vname contains additional information that are not part of the static type (for instance the alphabet in the case of automata).
◆ weight_one()
virtual weight_t awali::dyn::abstract_context_t::weight_one |
( |
| ) |
const |
|
pure virtual |
Returns the value one, that is, the neutral multiplicative element of the weightset.
◆ weight_to_string()
virtual std::string awali::dyn::abstract_context_t::weight_to_string |
( |
weight_t |
w | ) |
const |
|
pure virtual |
◆ weight_zero()
virtual weight_t awali::dyn::abstract_context_t::weight_zero |
( |
| ) |
const |
|
pure virtual |
Gives the value zero, that is, the neutral additive element of the weightset.
◆ weightset_name()
virtual std::string awali::dyn::abstract_context_t::weightset_name |
( |
std::string |
format = "text" | ) |
const |
|
pure virtual |
Gives the name of the weightset.
The documentation for this struct was generated from the following file:
- /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/dyn/core/abstract_context.hh