![]() |
Vcsn
2.2
Be Rational
|
#include <context.hh>
Public Types | |
enum | { is_lal = vcsn::is_lal<context>::value, is_lan = vcsn::is_lan<context>::value, is_lao = vcsn::is_lao<context>::value, is_lar = vcsn::is_lar<context>::value, is_lat = vcsn::is_lat<context>::value, is_law = vcsn::is_law<context>::value } |
using | labelset_t = LabelSet |
using | weightset_t = WeightSet |
using | labelset_ptr = std::shared_ptr< const labelset_t > |
using | weightset_ptr = std::shared_ptr< const weightset_t > |
using | kind_t = typename labelset_t::kind_t |
using | label_t = typename labelset_t::value_t |
Type of transition labels, and type of expression atoms. More... | |
using | weight_t = typename weightset_t::value_t |
Type of weights. More... | |
Public Member Functions | |
context (const context &that) | |
context (const labelset_ptr &ls, const weightset_ptr &ws) | |
context (const labelset_t &ls={}, const weightset_t &ws={}) | |
Build a context. More... | |
context & | operator= (context &&that) |
const labelset_ptr & | labelset () const |
const weightset_ptr & | weightset () const |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
Static Public Member Functions | |
static symbol | sname () |
The name of this context, built from its parameters. More... | |
static context | make (std::istream &is) |
Build from the description in is. More... | |
static constexpr bool | has_one () |
Private Attributes | |
labelset_ptr | ls_ |
weightset_ptr | ws_ |
Definition at line 18 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::kind_t = typename labelset_t::kind_t |
Definition at line 26 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::label_t = typename labelset_t::value_t |
Type of transition labels, and type of expression atoms.
Definition at line 37 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::labelset_ptr = std::shared_ptr<const labelset_t> |
Definition at line 23 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::labelset_t = LabelSet |
Definition at line 21 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::weight_t = typename weightset_t::value_t |
Type of weights.
Definition at line 39 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::weightset_ptr = std::shared_ptr<const weightset_t> |
Definition at line 24 of file context.hh.
using vcsn::context< LabelSet, WeightSet >::weightset_t = WeightSet |
Definition at line 22 of file context.hh.
anonymous enum |
Enumerator | |
---|---|
is_lal | |
is_lan | |
is_lao | |
is_lar | |
is_lat | |
is_law |
Definition at line 27 of file context.hh.
|
inline |
Definition at line 41 of file context.hh.
|
inline |
ls | the labelset |
ws | the weightset |
Definition at line 47 of file context.hh.
|
inline |
Build a context.
ls | the labelset |
ws | the weightset |
Definition at line 55 of file context.hh.
|
inlinestatic |
Definition at line 132 of file context.hh.
|
inline |
|
inlinestatic |
Build from the description in is.
Definition at line 83 of file context.hh.
|
inline |
Definition at line 60 of file context.hh.
|
inline |
Definition at line 106 of file context.hh.
|
inlinestatic |
The name of this context, built from its parameters.
E.g., "lal_char, b", "law_char, zmin".
Definition at line 72 of file context.hh.
|
inline |
|
private |
Definition at line 138 of file context.hh.
Referenced by vcsn::context< Tape, full_context_t >::labelset(), and vcsn::context< Tape, full_context_t >::operator=().
|
private |
Definition at line 139 of file context.hh.
Referenced by vcsn::context< Tape, full_context_t >::operator=(), and vcsn::context< Tape, full_context_t >::weightset().