![]() |
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 |