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_t *	letter_to_json (letter_t const &l) const
template<unsigned version = version::fsm_json>
json::node_t *	to_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

using awali::sttc::int_letters::letter_t = int

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:

• /home/marsault/git-client/telecom/awali.git/awali/sttc/alphabets/int.hh