Vcsn
2.0
Be Rational
|
Aggregate a weight and its weightset. More...
#include <fwd.hh>
Public Types | |
using | weightset_t = WeightSet |
using | super_t = weight_base |
using | weight_t = typename weightset_t::value_t |
Public Member Functions | |
weight_wrapper (const weight_t &w, const weightset_t &ws) | |
virtual std::string | vname (bool full=true) const override |
A description of the weight type. More... | |
const weight_t | weight () const |
const weightset_t & | weightset () const |
Public Member Functions inherited from vcsn::dyn::detail::weight_base | |
template<typename WeightSet > | |
weight_wrapper< WeightSet > & | as () |
Extract wrapped typed weight. More... | |
template<typename WeightSet > | |
const weight_wrapper< WeightSet > & | as () const |
Extract wrapped typed weight. More... | |
Protected Attributes | |
const weight_t | weight_ |
The weight. More... | |
const weightset_t | weightset_ |
The weight set. More... | |
Aggregate a weight and its weightset.
using vcsn::dyn::detail::weight_wrapper< T >::super_t = weight_base |
using vcsn::dyn::detail::weight_wrapper< T >::weight_t = typename weightset_t::value_t |
using vcsn::dyn::detail::weight_wrapper< T >::weightset_t = WeightSet |
|
inline |
|
inlineoverridevirtual |
A description of the weight type.
full | whether to include the genset. if false, same as sname. |
Implements vcsn::dyn::detail::weight_base.
Definition at line 53 of file weight.hh.
References vcsn::dyn::detail::weight_wrapper< T >::weightset().
|
inline |
Definition at line 58 of file weight.hh.
References vcsn::dyn::detail::weight_wrapper< T >::weight_.
|
inline |
Definition at line 63 of file weight.hh.
References vcsn::dyn::detail::weight_wrapper< T >::weightset_.
Referenced by vcsn::dyn::detail::weight_wrapper< T >::vname().
|
protected |
The weight.
Definition at line 70 of file weight.hh.
Referenced by vcsn::dyn::detail::weight_wrapper< T >::weight().
|
protected |
The weight set.
Definition at line 72 of file weight.hh.
Referenced by vcsn::dyn::detail::weight_wrapper< T >::weightset().