![]() |
Vcsn
2.3a
Be Rational
|
Storage for a label and a non-null weight. More...
#include <wet.hh>
Public Types | |
using | welement_label_t = detail::welement_label< Label > |
using | welement_weight_t = detail::welement_weight< Weight > |
using | label_t = typename welement_label_t::label_t |
using | weight_t = typename welement_weight_t::weight_t |
using | value_t = welement< typename std::remove_reference< label_t >::type, typename std::remove_reference< weight_t >::type > |
![]() | |
using | label_t = Label |
![]() | |
using | weight_t = Weight |
Public Member Functions | |
template<typename Label2 , typename Weight2 > | |
welement (Label2 &&l, Weight2 &&w) | |
operator value_t () const | |
auto | operator< (const welement &that) const -> bool |
auto | operator== (const welement &that) const -> bool |
![]() | |
welement_label (const label_t &l) | |
welement_label (label_t &&l) | |
const label_t & | label () const |
void | label (const label_t &l) |
![]() | |
welement_weight (const weight_t &w) | |
welement_weight (weight_t &&w) | |
const weight_t & | weight () const |
void | weight (const weight_t &k) |
Storage for a label and a non-null weight.
using vcsn::welement< Label, Weight >::label_t = typename welement_label_t::label_t |
using vcsn::welement< Label, Weight >::weight_t = typename welement_weight_t::weight_t |
using vcsn::welement< Label, Weight >::welement_label_t = detail::welement_label<Label> |
using vcsn::welement< Label, Weight >::welement_weight_t = detail::welement_weight<Weight> |
|
inline |
|
inline |
Definition at line 126 of file wet.hh.
References vcsn::detail::welement_label< Label >::label(), and vcsn::detail::welement_weight< Weight >::weight().
|
inline |
Definition at line 131 of file wet.hh.
References vcsn::detail::welement_label< Label >::label().
|
inline |
Definition at line 137 of file wet.hh.
References vcsn::detail::welement_label< Label >::label().