awali::sttc::pair_letters< F, S > Class Template Reference

helper for manipulations of pair letters More...

#include <pair.hh>

Public Types
using	first_letter_t = typename F::letter_t
using	letter_t = std::pair< first_letter_t, second_letter_t >
using	second_letter_t = typename S::letter_t
using	word_t = std::vector< letter_t >

Public Member Functions
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 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 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

template<typename F, typename S>
class awali::sttc::pair_letters< F, S >

helper for manipulations of pair letters

Member Typedef Documentation

first_letter_t

template<typename F , typename S >

using awali::sttc::pair_letters< F, S >::first_letter_t = typename F::letter_t

letter_t

template<typename F , typename S >

using awali::sttc::pair_letters< F, S >::letter_t = std::pair<first_letter_t, second_letter_t>

second_letter_t

template<typename F , typename S >

using awali::sttc::pair_letters< F, S >::second_letter_t = typename S::letter_t

word_t

template<typename F , typename S >

using awali::sttc::pair_letters< F, S >::word_t = std::vector<letter_t>

Member Function Documentation

conv_one_letter()

template<typename F , typename S >

static letter_t awali::sttc::pair_letters< F, S >::conv_one_letter ( std::istream &  i )

static

equals()

template<typename F , typename S >

static bool awali::sttc::pair_letters< F, S >::equals ( const letter_t &  l1, const letter_t &  l2  )

static

format()

template<typename F , typename S >

static std::string awali::sttc::pair_letters< F, S >::format ( const letter_t  l )

static

is_letter()

template<typename F , typename S >

static bool awali::sttc::pair_letters< F, S >::is_letter ( const letter_t &  )

static

jsname()

template<typename F , typename S >

static std::ostream& awali::sttc::pair_letters< F, S >::jsname ( std::ostream &  o )

static

one_letter()

template<typename F , typename S >

static letter_t awali::sttc::pair_letters< F, S >::one_letter ( )

static

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

parse_one_letter()

template<typename F , typename S >

static letter_t awali::sttc::pair_letters< F, S >::parse_one_letter ( const std::string &  s, size_t &  p  )

static

print()

template<typename F , typename S >

static std::ostream& awali::sttc::pair_letters< F, S >::print ( const letter_t &  l, std::ostream &  o  )

static

separation_mark()

template<typename F , typename S >

static const std::string& awali::sttc::pair_letters< F, S >::separation_mark ( )

static

sname()

template<typename F , typename S >

static std::string awali::sttc::pair_letters< F, S >::sname ( )

static

special_letter()

template<typename F , typename S >

static letter_t awali::sttc::pair_letters< F, S >::special_letter ( )

static

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

transpose()

template<typename F , typename S >

static letter_t awali::sttc::pair_letters< F, S >::transpose ( letter_t  l )

static

vname()

template<typename F , typename S >

virtual std::string awali::sttc::pair_letters< F, S >::vname ( bool  = true ) const

virtual

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/alphabets/pair.hh