awali::sttc::pmax Class Reference

The semiring of maximum probabilities. More...

#include <pmax.hh>

Public Types
using	self_type = pmax
using	value_t = double

Public Member Functions
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 &i)
static bool	equals (const value_t l, const value_t r)
static size_t	hash (value_t v)
static constexpr bool	is_commutative_semiring ()
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 pmax	make (std::istream &is)
	Build from the description in is. More...
static value_t	mul (const value_t l, const value_t r)
static value_t	one ()
static value_t	parse (const std::string &s, size_t &p)
static std::ostream &	print (const value_t v, std::ostream &o, const std::string &format="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 ()
template<unsigned version = version::fsm_json>
static json::node_t *	to_json ()
static value_t	transpose (const value_t v)
static value_t	zero ()

Detailed Description

The semiring of maximum probabilities.

The values of this semiring are double. The semiring contains every non negative floating number. The addition of the semiring is max, the multiplication is the usual product.

Member Typedef Documentation

self_type

using awali::sttc::pmax::self_type = pmax

value_t

using awali::sttc::pmax::value_t = double

Member Function Documentation

add()

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

static

conv() [1/3]

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

static

conv() [2/3]

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

static

conv() [3/3]

static value_t awali::sttc::pmax::conv ( std::istream &  i )

static

equals()

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

static

hash()

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

static

is_commutative_semiring()

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

staticconstexpr

is_one()

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

static

is_special()

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

staticconstexpr

is_zero()

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

static

ldiv()

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

static

less_than()

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

static

Whether lhs < rhs.

make()

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

static

Build from the description in is.

mul()

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

static

one()

static value_t awali::sttc::pmax::one ( )

static

parse()

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

static

print()

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

static

print_set()

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

rdiv()

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

static

show_one()

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

staticconstexpr

sname()

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

static

star()

value_t awali::sttc::pmax::star

(

const value_t

v

)

const

star_status()

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

staticconstexpr

to_json()

template<unsigned version = version::fsm_json>

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

static

transpose()

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

static

value_from_json()

template<unsigned version = version::fsm_json>

value_t awali::sttc::pmax::value_from_json

(

json::node_t const *

p

)

const

value_to_json()

template<unsigned version = version::fsm_json>

json::node_t* awali::sttc::pmax::value_to_json

(

value_t

v

)

const

vname()

std::string awali::sttc::pmax::vname

(

bool

= true

)

const

zero()

static value_t awali::sttc::pmax::zero ( )

static

---

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

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