![]() |
Vcsn
2.3a
Be Rational
|
Transition with label and Boolean weight. More...
#include <transition.hh>
Public Types | |
using | super_t = possibly_labeled_transition_tuple< State, Label > |
using | weight_t = bool |
![]() | |
using | label_t = Label |
Public Member Functions | |
transition_tuple (State s, State d, Label l, weight_t) | |
weight_t | get_weight () const |
void | set_weight (weight_t &k) ATTRIBUTE_PURE |
![]() | |
possibly_labeled_transition_tuple (State s, State d, label_t l) | |
label_t | get_label () const |
void | set_label (label_t &l) |
Additional Inherited Members | |
![]() | |
State | src |
State | dst |
Transition with label and Boolean weight.
We do not store the Boolean weights, which are assumed to be always true. This is correct for weight in the Boolean ring, as well as for those in the F₂ (a.k.a. ℤ/2ℤ) field, both encoded using the bool type.
Definition at line 81 of file transition.hh.
using vcsn::transition_tuple< State, Label, bool >::super_t = possibly_labeled_transition_tuple<State, Label> |
Definition at line 84 of file transition.hh.
using vcsn::transition_tuple< State, Label, bool >::weight_t = bool |
Definition at line 85 of file transition.hh.
|
inline |
Definition at line 86 of file transition.hh.
|
inline |
Definition at line 89 of file transition.hh.
|
inline |
Definition at line 90 of file transition.hh.
References vcsn::detail::void.