Awali
Another Weighted Automata library
|
Implementation of labels are ones: there is a single instance of label. More...
#include <oneset.hh>
Public Types | |
using | kind_t = labels_are_one |
using | self_type = oneset |
using | value_t = empty_t |
Public Member Functions | |
oneset ()=default | |
std::set< value_t > | genset () const |
bool | open (bool o) const |
Does not make a lot of sense. More... | |
value_t | parse (const std::string &s, size_t &p, bool fixed_alphabet=true) const |
std::ostream & | print_set (std::ostream &o, const std::string &format="text") const |
template<typename... Args> | |
value_t | value (Args &&... args) const |
Value constructor. More... | |
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) const |
Static Public Member Functions | |
static empty_t | concat (empty_t, empty_t) |
static value_t | conv (self_type, value_t v) |
static value_t | conv (std::istream &i) |
static std::set< value_t > | convs (std::istream &) |
static bool | equals (const value_t, const value_t) |
Whether l == r. More... | |
template<typename T > | |
static bool | has (const T &) |
static constexpr bool | has_one () |
static size_t | hash (value_t v) |
static constexpr bool | is_free () |
static bool | is_letter (empty_t) |
static constexpr bool | is_letterized () |
static bool | is_one (empty_t) |
static constexpr bool | is_ratexpset () |
constexpr static bool | is_special (value_t) |
The special label is indistinguishable for the others. More... | |
static bool | less_than (const value_t, const value_t) |
Whether l < r. More... | |
static oneset | make (std::istream &is) |
Build from the description in is. More... | |
static empty_t | one () |
static std::ostream & | print (empty_t, std::ostream &o, const std::string &="text") |
static size_t | size (value_t) |
static std::string | sname () |
static value_t | special () |
template<unsigned version = version::fsm_json> | |
static json::node_t * | to_json () |
static empty_t | transpose (empty_t) |
static std::string | vname (bool=true) |
Implementation of labels are ones: there is a single instance of label.
using awali::sttc::oneset::self_type = oneset |
using awali::sttc::oneset::value_t = empty_t |
|
default |
|
static |
|
static |
|
static |
Whether l == r.
std::set<value_t> awali::sttc::oneset::genset | ( | ) | const |
|
static |
|
staticconstexpr |
|
static |
|
staticconstexpr |
|
static |
|
staticconstexpr |
|
static |
|
staticconstexpr |
|
staticconstexpr |
The special label is indistinguishable for the others.
|
static |
Whether l < r.
|
static |
Build from the description in is.
|
static |
bool awali::sttc::oneset::open | ( | bool | o | ) | const |
Does not make a lot of sense.
value_t awali::sttc::oneset::parse | ( | const std::string & | s, |
size_t & | p, | ||
bool | fixed_alphabet = true |
||
) | const |
|
static |
std::ostream& awali::sttc::oneset::print_set | ( | std::ostream & | o, |
const std::string & | format = "text" |
||
) | const |
|
static |
|
static |
|
static |
|
static |
value_t awali::sttc::oneset::value | ( | Args &&... | args | ) | const |
Value constructor.
value_t awali::sttc::oneset::value_from_json | ( | json::node_t const * | p | ) | const |
json::node_t* awali::sttc::oneset::value_to_json | ( | value_t | ) | const |
|
static |