| 
| static value_t  | abs (const value_t v) | 
|   | 
| static value_t  | add (const value_t l, const value_t r) | 
|   | 
| static value_t  | conv (b, b::value_t v) | 
|   | 
| static value_t  | conv (n, n::value_t v) | 
|   | 
| static value_t  | conv (q, q::value_t v) | 
|   | 
| static value_t  | conv (self_type, value_t v) | 
|   | 
| static value_t  | conv (std::istream &i) | 
|   | 
| static value_t  | conv (z, z::value_t v) | 
|   | 
| static bool  | equals (const value_t l, const value_t r) | 
|   | 
| static size_t  | hash (value_t v) | 
|   | 
| static constexpr bool  | is_commutative_semiring () | 
|   | 
| static bool  | is_one (const value_t v) | 
|   | 
| constexpr static bool  | is_special (value_t) | 
|   | 
| static bool  | is_zero (const value_t v) | 
|   | 
| static value_t  | ldiv (const value_t l, const value_t r) | 
|   | 
| static bool  | less_than (value_t lhs, value_t rhs) | 
|   | Whether lhs < rhs.  More...
  | 
|   | 
| static r  | make (std::istream &is) | 
|   | Build from the description in is.  More...
  | 
|   | 
| static value_t  | mul (const value_t l, const value_t r) | 
|   | 
| static value_t  | one () | 
|   | 
| static value_t  | parse (const std::string &s, size_t &p) | 
|   | 
| static std::ostream &  | print (const value_t v, std::ostream &o, const std::string &="text") | 
|   | 
| static value_t  | rdiv (const value_t l, const value_t r) | 
|   | 
| static constexpr bool  | show_one () | 
|   | 
| static std::string  | sname () | 
|   | 
| static constexpr star_status_t  | star_status () | 
|   | 
| static value_t  | sub (const value_t l, const value_t r) | 
|   | 
| template<unsigned version = version::fsm_json>  | 
| static json::node_t *  | to_json () | 
|   | 
| static value_t  | transpose (const value_t v) | 
|   | 
| static value_t  | zero () | 
|   | 
The semiring of floating Numbers. 
The values are implemented with double.