Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions
awali::sttc::oneset Class Reference

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_tgenset () 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_tvalue_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_tconvs (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_tto_json ()
 
static empty_t transpose (empty_t)
 
static std::string vname (bool=true)
 

Detailed Description

Implementation of labels are ones: there is a single instance of label.

Member Typedef Documentation

◆ kind_t

◆ self_type

◆ value_t

Constructor & Destructor Documentation

◆ oneset()

awali::sttc::oneset::oneset ( )
default

Member Function Documentation

◆ concat()

static empty_t awali::sttc::oneset::concat ( empty_t  ,
empty_t   
)
static

◆ conv() [1/2]

static value_t awali::sttc::oneset::conv ( self_type  ,
value_t  v 
)
static

◆ conv() [2/2]

static value_t awali::sttc::oneset::conv ( std::istream &  i)
static

◆ convs()

static std::set<value_t> awali::sttc::oneset::convs ( std::istream &  )
static

◆ equals()

static bool awali::sttc::oneset::equals ( const  value_t,
const  value_t 
)
static

Whether l == r.

◆ genset()

std::set<value_t> awali::sttc::oneset::genset ( ) const

◆ has()

template<typename T >
static bool awali::sttc::oneset::has ( const T &  )
static

◆ has_one()

static constexpr bool awali::sttc::oneset::has_one ( )
staticconstexpr

◆ hash()

static size_t awali::sttc::oneset::hash ( value_t  v)
static

◆ is_free()

static constexpr bool awali::sttc::oneset::is_free ( )
staticconstexpr

◆ is_letter()

static bool awali::sttc::oneset::is_letter ( empty_t  )
static

◆ is_letterized()

static constexpr bool awali::sttc::oneset::is_letterized ( )
staticconstexpr

◆ is_one()

static bool awali::sttc::oneset::is_one ( empty_t  )
static

◆ is_ratexpset()

static constexpr bool awali::sttc::oneset::is_ratexpset ( )
staticconstexpr

◆ is_special()

constexpr static bool awali::sttc::oneset::is_special ( value_t  )
staticconstexpr

The special label is indistinguishable for the others.

◆ less_than()

static bool awali::sttc::oneset::less_than ( const  value_t,
const  value_t 
)
static

Whether l < r.

◆ make()

static oneset awali::sttc::oneset::make ( std::istream &  is)
static

Build from the description in is.

◆ one()

static empty_t awali::sttc::oneset::one ( )
static

◆ open()

bool awali::sttc::oneset::open ( bool  o) const

Does not make a lot of sense.

◆ parse()

value_t awali::sttc::oneset::parse ( const std::string &  s,
size_t &  p,
bool  fixed_alphabet = true 
) const

◆ print()

static std::ostream& awali::sttc::oneset::print ( empty_t  ,
std::ostream &  o,
const std::string &  = "text" 
)
static

◆ print_set()

std::ostream& awali::sttc::oneset::print_set ( std::ostream &  o,
const std::string &  format = "text" 
) const

◆ size()

static size_t awali::sttc::oneset::size ( value_t  )
static

◆ sname()

static std::string awali::sttc::oneset::sname ( )
static

◆ special()

static value_t awali::sttc::oneset::special ( )
static

◆ to_json()

template<unsigned version = version::fsm_json>
static json::node_t* awali::sttc::oneset::to_json ( )
static

◆ transpose()

static empty_t awali::sttc::oneset::transpose ( empty_t  )
static

◆ value()

template<typename... Args>
value_t awali::sttc::oneset::value ( Args &&...  args) const

Value constructor.

◆ value_from_json()

template<unsigned version = version::fsm_json>
value_t awali::sttc::oneset::value_from_json ( json::node_t const *  p) const

◆ value_to_json()

template<unsigned version = version::fsm_json>
json::node_t* awali::sttc::oneset::value_to_json ( value_t  ) const

◆ vname()

static std::string awali::sttc::oneset::vname ( bool  = true)
static

The documentation for this class was generated from the following file: