|
static symbol | sname () |
|
static rmin | 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 | rdiv (const value_t l, const value_t r) |
|
static value_t | ldiv (const value_t l, const value_t r) |
|
static value_t | one () |
|
static value_t | zero () |
|
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, format fmt={}) |
|
Definition at line 14 of file rmin.hh.