Awali
Another Weighted Automata library
|
The semiring of Integers. More...
#include <z.hh>
Public Types | |
using | self_type = z |
using | value_t = int |
Public Member Functions | |
std::ostream & | print_set (std::ostream &o, const std::string &format="text") const |
value_t | star (const value_t v) const |
template<unsigned version = version::fsm_json> | |
json::node_t * | to_json () const |
template<unsigned version = version::fsm_json> | |
value_t | value_from_json (json::node_t const *p) const |
template<unsigned version = version::fsm_json> | |
json::node_t * | value_to_json (value_t v) const |
std::string | vname (bool=true) const |
Static Public Member Functions | |
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 (self_type, value_t v) |
static value_t | conv (std::istream &stream) |
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 z | 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) |
static value_t | transpose (const value_t v) |
static value_t | zero () |
The semiring of Integers.
using awali::sttc::z::self_type = z |
using awali::sttc::z::value_t = int |
|
static |
|
static |
|
static |
|
static |
|
staticconstexpr |
|
static |
|
staticconstexpr |
|
static |
|
static |
Build from the description in is.
|
static |
|
static |
|
static |
std::ostream& awali::sttc::z::print_set | ( | std::ostream & | o, |
const std::string & | format = "text" |
||
) | const |
|
staticconstexpr |
|
static |
|
staticconstexpr |
json::node_t* awali::sttc::z::to_json | ( | ) | const |
value_t awali::sttc::z::value_from_json | ( | json::node_t const * | p | ) | const |
json::node_t* awali::sttc::z::value_to_json | ( | value_t | v | ) | const |
std::string awali::sttc::z::vname | ( | bool | = true | ) | const |
|
static |