![]() |
Vcsn
2.3a
Be Rational
|
#include <nmin.hh>
Public Types | |
using | super_t = min_plus_impl< nmin_impl, unsigned int > |
using | self_t = nmin |
using | value_t = typename super_t::value_t |
![]() | |
using | self_t = nmin_impl |
using | value_t = unsigned int |
Public Member Functions | |
value_t | conv (std::istream &is, bool=true) const |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
![]() | |
const self_t & | self () const |
value_t | rdivide (const value_t l, const value_t r) const |
value_t | ldivide (const value_t l, const value_t r) const |
value_t | star (const value_t v) const |
Static Public Member Functions | |
static symbol | sname () |
static nmin | make (std::istream &is) |
Build from the description in is. More... | |
static value_t | conv (self_t, value_t v) |
static constexpr bool | has_lightening_weights () |
![]() | |
static value_t | add (const value_t l, const value_t r) |
static value_t | mul (const value_t l, const value_t r) |
static value_t | one () |
static value_t | zero () |
static value_t | min () |
static value_t | max () |
static bool | equal (const value_t l, const value_t r) |
static bool | less (value_t lhs, value_t rhs) |
Whether lhs < rhs. More... | |
static constexpr bool | is_special (value_t) |
static bool | is_zero (const value_t v) |
static bool | is_one (const value_t v) |
static constexpr bool | is_commutative () |
static constexpr bool | is_idempotent () |
static constexpr bool | show_one () |
static constexpr star_status_t | star_status () |
static value_t | transpose (const value_t v) |
static size_t | hash (value_t v) |
static value_t | conv (b, b::value_t v) |
static value_t | conv (std::istream &is, bool=true) |
static std::ostream & | print (const value_t v, std::ostream &o=std::cout, format fmt={}) |
using vcsn::detail::nmin_impl::self_t = nmin |
using vcsn::detail::nmin_impl::super_t = min_plus_impl<nmin_impl, unsigned int> |
using vcsn::detail::nmin_impl::value_t = typename super_t::value_t |
Definition at line 37 of file nmin.hh.
References vcsn::detail::v.
|
inline |
Definition at line 43 of file nmin.hh.
References vcsn::detail::min_plus_impl< nmin_impl, unsigned int >::conv(), and vcsn::fail_reading().
|
inlinestatic |
|
inlinestatic |
Build from the description in is.
Definition at line 29 of file nmin.hh.
References vcsn::eat(), and sname().
|
inline |
|
inlinestatic |