awali::sttc::noo Class Reference

The semiring of extended natural numbers. More...

#include <noo.hh>

Public Types
using	self_type = noo
using	value_t = unsigned

Public Member Functions
value_t	parse (const std::string &s, size_t &p) const
std::ostream &	print_set (std::ostream &o, const std::string &format="text") const
value_t	star (const value_t v) const
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 v) const
std::string	vname (bool=true) const

Static Public Member Functions
static value_t	add (const value_t l, const value_t r)
static value_t	conv (b, b::value_t v)
static value_t	conv (self_type, value_t v)
static value_t	conv (std::istream &stream)
static bool	equals (const value_t l, const value_t r)
static size_t	hash (value_t v)
constexpr static value_t	infinity ()
static constexpr bool	is_commutative_semiring ()
static bool	is_infinity (const value_t v)
static bool	is_one (const value_t v)
constexpr static bool	is_special (value_t)
static bool	is_zero (const value_t v)
static value_t	ldiv (const value_t l, const value_t r)
static bool	less_than (value_t lhs, value_t rhs)
	Whether lhs < rhs. More...
static noo	make (std::istream &is)
	Build from the description in is. More...
static value_t	mul (const value_t l, const value_t r)
constexpr static value_t	one ()
static std::ostream &	print (const value_t v, std::ostream &o, const std::string &fmt="text")
static value_t	rdiv (const value_t l, const value_t r)
static constexpr bool	show_one ()
static std::string	sname ()
static constexpr star_status_t	star_status ()
static value_t	sub (const value_t l, const value_t r)
template<unsigned version = version::fsm_json>
static json::node_t *	to_json ()
static value_t	transpose (const value_t v)
constexpr static value_t	zero ()

Detailed Description

The semiring of extended natural numbers.

This semiring includes infinity.

Member Typedef Documentation

self_type

using awali::sttc::noo::self_type = noo

value_t

using awali::sttc::noo::value_t = unsigned

Member Function Documentation

add()

static value_t awali::sttc::noo::add ( const value_t  l, const value_t  r  )

static

conv() [1/3]

static value_t awali::sttc::noo::conv ( b  , b::value_t  v  )

static

conv() [2/3]

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

static

conv() [3/3]

static value_t awali::sttc::noo::conv ( std::istream &  stream )

static

equals()

static bool awali::sttc::noo::equals ( const value_t  l, const value_t  r  )

static

hash()

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

static

infinity()

constexpr static value_t awali::sttc::noo::infinity ( )

staticconstexpr

is_commutative_semiring()

static constexpr bool awali::sttc::noo::is_commutative_semiring ( )

staticconstexpr

is_infinity()

static bool awali::sttc::noo::is_infinity ( const value_t  v )

static

is_one()

static bool awali::sttc::noo::is_one ( const value_t  v )

static

is_special()

constexpr static bool awali::sttc::noo::is_special ( value_t  )

staticconstexpr

is_zero()

static bool awali::sttc::noo::is_zero ( const value_t  v )

static

ldiv()

static value_t awali::sttc::noo::ldiv ( const value_t  l, const value_t  r  )

static

less_than()

static bool awali::sttc::noo::less_than ( value_t  lhs, value_t  rhs  )

static

Whether lhs < rhs.

make()

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

static

Build from the description in is.

mul()

static value_t awali::sttc::noo::mul ( const value_t  l, const value_t  r  )

static

one()

constexpr static value_t awali::sttc::noo::one ( )

staticconstexpr

parse()

value_t awali::sttc::noo::parse	(	const std::string &	s,
		size_t &	p
	)		const

print()

static std::ostream& awali::sttc::noo::print ( const value_t  v, std::ostream &  o, const std::string &  fmt = "text"  )

static

print_set()

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

rdiv()

static value_t awali::sttc::noo::rdiv ( const value_t  l, const value_t  r  )

static

show_one()

static constexpr bool awali::sttc::noo::show_one ( )

staticconstexpr

sname()

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

static

star()

value_t awali::sttc::noo::star

(

const value_t

v

)

const

star_status()

static constexpr star_status_t awali::sttc::noo::star_status ( )

staticconstexpr

sub()

static value_t awali::sttc::noo::sub ( const value_t  l, const value_t  r  )

static

to_json()

template<unsigned version = version::fsm_json>

static json::node_t* awali::sttc::noo::to_json ( )

static

transpose()

static value_t awali::sttc::noo::transpose ( const value_t  v )

static

value_from_json()

template<unsigned version = version::fsm_json>

value_t awali::sttc::noo::value_from_json

(

json::node_t const *

p

)

const

value_to_json()

template<unsigned version = version::fsm_json>

json::node_t* awali::sttc::noo::value_to_json

(

value_t

v

)

const

vname()

std::string awali::sttc::noo::vname

(

bool

= true

)

const

zero()

constexpr static value_t awali::sttc::noo::zero ( )

staticconstexpr

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/weightset/noo.hh