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

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_tletter_to_json (letter_t const &l) const
 
template<unsigned version = version::fsm_json>
json::node_tto_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)
 

Detailed Description

helper for manipulations of int letters

Member Typedef Documentation

◆ letter_t

◆ word_t

using awali::sttc::int_letters::word_t = std::basic_string<int>

Constructor & Destructor Documentation

◆ ~int_letters()

virtual awali::sttc::int_letters::~int_letters ( )
virtualdefault

Member Function Documentation

◆ conv_one_letter()

static letter_t awali::sttc::int_letters::conv_one_letter ( std::istream &  i)
static

◆ equals()

static bool awali::sttc::int_letters::equals ( const letter_t l1,
const letter_t l2 
)
static

◆ format()

static std::string awali::sttc::int_letters::format ( const letter_t  l)
static

◆ is_letter()

static bool awali::sttc::int_letters::is_letter ( const letter_t )
static

◆ jsname()

static std::ostream& awali::sttc::int_letters::jsname ( std::ostream &  o)
static

◆ letter_from_json()

template<unsigned version = version::fsm_json>
letter_t awali::sttc::int_letters::letter_from_json ( json::node_t const *  p) const

◆ letter_to_json()

template<unsigned version = version::fsm_json>
json::int_t* awali::sttc::int_letters::letter_to_json ( letter_t const &  l) const

◆ one_letter()

static constexpr letter_t awali::sttc::int_letters::one_letter ( )
staticconstexpr

The reserved letter used to forge the "one" label (the unit, the identity).

◆ parse_one_letter()

static letter_t awali::sttc::int_letters::parse_one_letter ( const std::string &  s,
size_t &  p 
)
static

◆ print()

static std::ostream& awali::sttc::int_letters::print ( const letter_t l,
std::ostream &  o 
)
static

◆ separation_mark()

static const std::string& awali::sttc::int_letters::separation_mark ( )
static

◆ sname()

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

◆ special_letter()

static constexpr letter_t awali::sttc::int_letters::special_letter ( )
staticconstexpr

The reserved letter used to forge the labels for initial and final transitions.

◆ to_json()

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

◆ transpose()

static letter_t awali::sttc::int_letters::transpose ( letter_t  l)
static

◆ vname()

virtual std::string awali::sttc::int_letters::vname ( bool  = true) const
virtual

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