![]() |
Vcsn
2.3a
Be Rational
|
#include <min-plus.hh>
Public Types | |
using | self_t = Derived |
using | value_t = Value |
Public Member Functions | |
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 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={}) |
Definition at line 18 of file min-plus.hh.
using vcsn::detail::min_plus_impl< Derived, Value >::self_t = Derived |
Definition at line 21 of file min-plus.hh.
using vcsn::detail::min_plus_impl< Derived, Value >::value_t = Value |
Definition at line 22 of file min-plus.hh.
|
inlinestatic |
Definition at line 30 of file min-plus.hh.
|
inlinestatic |
Definition at line 139 of file min-plus.hh.
|
inlinestatic |
Definition at line 145 of file min-plus.hh.
|
inlinestatic |
Definition at line 90 of file min-plus.hh.
|
inlinestatic |
Definition at line 133 of file min-plus.hh.
|
inlinestatic |
Definition at line 118 of file min-plus.hh.
|
inlinestatic |
Definition at line 119 of file min-plus.hh.
|
inlinestatic |
Definition at line 113 of file min-plus.hh.
|
inlinestatic |
Definition at line 101 of file min-plus.hh.
|
inlinestatic |
Definition at line 107 of file min-plus.hh.
Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::mul(), and vcsn::detail::min_plus_impl< zmin_impl, int >::rdivide().
|
inline |
Definition at line 51 of file min-plus.hh.
|
inlinestatic |
Whether lhs < rhs.
Definition at line 96 of file min-plus.hh.
|
inlinestatic |
Definition at line 84 of file min-plus.hh.
|
inlinestatic |
Definition at line 78 of file min-plus.hh.
|
inlinestatic |
Definition at line 36 of file min-plus.hh.
|
inlinestatic |
Definition at line 66 of file min-plus.hh.
Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::conv(), vcsn::detail::min_plus_impl< zmin_impl, int >::is_one(), and vcsn::detail::min_plus_impl< zmin_impl, int >::star().
|
inlinestatic |
Definition at line 162 of file min-plus.hh.
|
inline |
Definition at line 44 of file min-plus.hh.
Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::ldivide().
|
inline |
Definition at line 24 of file min-plus.hh.
|
inlinestatic |
Definition at line 121 of file min-plus.hh.
|
inline |
Definition at line 57 of file min-plus.hh.
|
inlinestatic |
Definition at line 122 of file min-plus.hh.
|
inlinestatic |
Definition at line 128 of file min-plus.hh.
|
inlinestatic |
Definition at line 72 of file min-plus.hh.
Referenced by vcsn::detail::min_plus_impl< zmin_impl, int >::conv(), vcsn::detail::min_plus_impl< zmin_impl, int >::is_zero(), and vcsn::detail::min_plus_impl< zmin_impl, int >::mul().