![]() |
Vcsn
2.8
Be Rational
|
Random generation. More...
#include <f2.hh>
Public Types | |
using | super_t = random_weight_base< f2, RandomGenerator > |
using | value_t = typename super_t::weight_t |
![]() | |
using | weightset_t = f2 |
using | weight_t = typename weightset_t::value_t |
using | random_generator_t = RandomGenerator |
Private Member Functions | |
value_t | pick_value_ () const |
Random generation.
using vcsn::detail::random_weight< f2, RandomGenerator >::super_t = random_weight_base<f2, RandomGenerator> |
using vcsn::detail::random_weight< f2, RandomGenerator >::value_t = typename super_t::weight_t |
|
inlineprivatevirtual |
Implements vcsn::detail::random_weight_base< f2, RandomGenerator >.
Definition at line 224 of file f2.hh.
References vcsn::detail::VCSN_JOIN_SIMPLE(), and vcsn::detail::f2_impl::zero().