Awali
Another Weighted Automata library
|
helper for manipulations of int letters More...
#include <int.hh>
Public Types | |
using | letter_t = int |
using | word_t = std::basic_string< int > |
Public Member Functions | |
virtual | ~int_letters ()=default |
template<unsigned version = version::fsm_json> | |
letter_t | letter_from_json (json::node_t const *p) const |
template<unsigned version = version::fsm_json> | |
json::int_t * | letter_to_json (letter_t const &l) const |
template<unsigned version = version::fsm_json> | |
json::node_t * | to_json () const |
virtual std::string | vname (bool=true) const |
Static Public Member Functions | |
static letter_t | conv_one_letter (std::istream &i) |
static bool | equals (const letter_t &l1, const letter_t &l2) |
static std::string | format (const letter_t l) |
static bool | is_letter (const letter_t &) |
static std::ostream & | jsname (std::ostream &o) |
static constexpr letter_t | one_letter () |
The reserved letter used to forge the "one" label (the unit, the identity). More... | |
static letter_t | parse_one_letter (const std::string &s, size_t &p) |
static std::ostream & | print (const letter_t &l, std::ostream &o) |
static const std::string & | separation_mark () |
static std::string | sname () |
static constexpr letter_t | special_letter () |
The reserved letter used to forge the labels for initial and final transitions. More... | |
static letter_t | transpose (letter_t l) |
helper for manipulations of int letters
using awali::sttc::int_letters::letter_t = int |
using awali::sttc::int_letters::word_t = std::basic_string<int> |
|
virtualdefault |
|
static |
|
static |
|
static |
|
static |
letter_t awali::sttc::int_letters::letter_from_json | ( | json::node_t const * | p | ) | const |
json::int_t* awali::sttc::int_letters::letter_to_json | ( | letter_t const & | l | ) | const |
|
staticconstexpr |
The reserved letter used to forge the "one" label (the unit, the identity).
|
static |
|
static |
|
static |
|
static |
|
staticconstexpr |
The reserved letter used to forge the labels for initial and final transitions.
json::node_t* awali::sttc::int_letters::to_json | ( | ) | const |
|
virtual |