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_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)

Detailed Description

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

Member Typedef Documentation

kind_t

using awali::sttc::oneset::kind_t = labels_are_one

self_type

using awali::sttc::oneset::self_type = oneset

value_t

using awali::sttc::oneset::value_t = empty_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:

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/labelset/oneset.hh