awali::sttc::b Class Reference

The Boolean semring. More...

#include <b.hh>

Public Types
using	finite_t = bool
using	self_type = b
using	value_t = bool

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

Static Public Attributes
static const finite_t	finite =true

Detailed Description

The Boolean semring.

Member Typedef Documentation

finite_t

using awali::sttc::b::finite_t = bool

self_type

using awali::sttc::b::self_type = b

value_t

using awali::sttc::b::value_t = bool

Member Function Documentation

add()

static value_t awali::sttc::b::add ( value_t  l, value_t  r  )

static

conv() [1/2]

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

static

conv() [2/2]

static value_t awali::sttc::b::conv ( std::istream &  is )

static

equals()

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

static

hash()

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

static

is_commutative_semiring()

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

staticconstexpr

is_one()

static bool awali::sttc::b::is_one ( value_t  v )

static

is_special()

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

staticconstexpr

is_zero()

static bool awali::sttc::b::is_zero ( value_t  v )

static

ldiv()

static value_t awali::sttc::b::ldiv ( value_t  l, value_t  r  )

static

less_than()

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

static

Whether lhs < rhs.

make()

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

static

Build from the description in is.

mul()

static value_t awali::sttc::b::mul ( value_t  l, value_t  r  )

static

one()

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

static

parse()

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

static

plus()

static value_t awali::sttc::b::plus ( value_t  v )

static

print()

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

static

print_set()

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

static

rdiv()

static value_t awali::sttc::b::rdiv ( value_t  l, value_t  r  )

static

show_one()

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

staticconstexpr

sname()

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

static

star()

static value_t awali::sttc::b::star ( value_t  )

static

star_status()

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

staticconstexpr

to_json()

template<unsigned version = version::fsm_json>

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

static

transpose()

static value_t awali::sttc::b::transpose ( value_t  v )

static

value_from_json()

template<unsigned version = version::fsm_json>

static value_t awali::sttc::b::value_from_json ( json::node_t const *  p )

static

value_to_json()

template<unsigned version = version::fsm_json>

static json::node_t* awali::sttc::b::value_to_json ( value_t  v )

static

vname()

static std::string awali::sttc::b::vname ( bool  = true )

static

zero()

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

static

Field Documentation

finite

const finite_t awali::sttc::b::finite =true

static

---

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

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