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