![]() |
Vcsn
2.3a
Be Rational
|
#include <b.hh>
Public Types | |
using | self_t = b |
using | value_t = bool |
Public Member Functions | |
value_t | lgcd (const value_t l, const value_t r) const |
value_t | rgcd (const value_t l, const value_t r) 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 | conv (std::istream &is, bool=true) const |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
Static Public Member Functions | |
static symbol | sname () |
static b | make (std::istream &is) |
Build from the description in is. More... | |
static value_t | zero () |
static value_t | one () |
static value_t | min () |
static value_t | max () |
static value_t | add (const value_t l, const value_t r) |
static value_t | sub (const value_t l, const value_t r) |
static value_t | mul (const value_t l, const value_t r) |
static value_t | star (const value_t) |
static bool | equal (const value_t l, const value_t r) |
static bool | less (const value_t lhs, const value_t rhs) |
Whether lhs < rhs. More... | |
static constexpr bool | is_special (const 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 | has_lightening_weights () |
static constexpr bool | show_one () |
static constexpr star_status_t | star_status () |
static value_t | transpose (const value_t v) |
static size_t | hash (const value_t v) |
static value_t | conv (self_t, const value_t v) |
static std::ostream & | print (const value_t v, std::ostream &o=std::cout, format fmt={}) |
using vcsn::detail::b_impl::self_t = b |
using vcsn::detail::b_impl::value_t = bool |
Definition at line 168 of file b.hh.
References vcsn::detail::v.
|
inline |
Definition at line 174 of file b.hh.
References vcsn::require().
|
inlinestatic |
|
inlinestatic |
Definition at line 162 of file b.hh.
References vcsn::detail::hash_value().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 141 of file b.hh.
References vcsn::detail::v.
|
inlinestatic |
|
inlinestatic |
Definition at line 135 of file b.hh.
References vcsn::detail::v.
|
inlinestatic |
Build from the description in is.
Definition at line 34 of file b.hh.
References vcsn::eat(), and sname().
|
inlinestatic |
|
inline |
Definition at line 99 of file b.hh.
References is_zero(), and vcsn::require().
Referenced by ldivide().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 151 of file b.hh.
References vcsn::STARRABLE.
Definition at line 157 of file b.hh.
References vcsn::detail::v.