![]() |
Vcsn
2.1
Be Rational
|
#include <z.hh>
Public Types | |
using | self_t = z |
using | value_t = int |
Public Member Functions | |
value_t | star (const value_t v) const |
std::ostream & | print_set (std::ostream &o, format fmt={}) const |
Static Public Member Functions | |
static symbol | sname () |
static z | make (std::istream &is) |
Build from the description in is. More... | |
static value_t | zero () |
static value_t | one () |
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 | lgcd (const value_t l, const value_t r) |
static value_t | rgcd (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 constexpr bool | is_special (value_t) |
static bool | is_zero (const value_t v) |
static bool | is_one (const value_t v) |
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_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 (self_t, 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={}) |
using vcsn::detail::z_impl::self_t = z |
using vcsn::detail::z_impl::value_t = int |
|
inlinestatic |
|
inlinestatic |
Definition at line 168 of file z.hh.
References vcsn::fail_reading(), and sname().
|
inlinestatic |
Definition at line 149 of file z.hh.
References vcsn::hash_value().
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 71 of file z.hh.
References vcsn::detail::gcd(), is_zero(), vcsn::require(), and sname().
Referenced by rgcd().
|
inlinestatic |
Build from the description in is.
Definition at line 32 of file z.hh.
References vcsn::eat(), and sname().
|
inlinestatic |
|
inline |
Definition at line 85 of file z.hh.
References is_zero(), and vcsn::require().
Referenced by ldiv().
|
inlinestatic |
|
inlinestatic |
Definition at line 100 of file z.hh.
References is_zero(), one(), and vcsn::to_string().
|
inlinestatic |
Definition at line 141 of file z.hh.
References vcsn::NON_STARRABLE.