#include <b.hh>

Collaboration diagram for vcsn::detail::b_impl:

Public Types
using	self_t = b

using	value_t = bool

Public Member Functions
value_t	lgcd (const value_t l, const value_t r) const

value_t	rgcd (const value_t l, const value_t r) const

value_t	rdivide (const value_t l, const value_t r) const

value_t	ldivide (const value_t l, const value_t r) const

value_t	conv (std::istream &is, bool=true) const

std::ostream &	print_set (std::ostream &o, format fmt={}) const

Static Public Member Functions
static symbol	sname ()

static b	make (std::istream &is)
	Build from the description in is. More...

static value_t	zero ()

static value_t	one ()

static value_t	add (const value_t l, const value_t r)

static value_t	sub (const value_t l, const value_t r)

static value_t	mul (const value_t l, const value_t r)

static value_t	star (const value_t)

static bool	equal (const value_t l, const value_t r)

static bool	less (const value_t lhs, const value_t rhs)
	Whether lhs < rhs. More...

static constexpr bool	is_special (const value_t)

static bool	is_zero (const value_t v)

static bool	is_one (const value_t v)

static constexpr bool	is_commutative ()

static constexpr bool	is_idempotent ()

static constexpr bool	has_lightening_weights ()

static constexpr bool	show_one ()

static constexpr star_status_t	star_status ()

static value_t	transpose (const value_t v)

static size_t	hash (const value_t v)

static value_t	conv (self_t, const value_t v)

static std::ostream &	print (const value_t v, std::ostream &o=std::cout, format fmt={})

Detailed Description

Definition at line 21 of file b.hh.

Member Typedef Documentation

using vcsn::detail::b_impl::self_t = b

Definition at line 24 of file b.hh.

using vcsn::detail::b_impl::value_t = bool

Definition at line 39 of file b.hh.

Member Function Documentation

static value_t vcsn::detail::b_impl::add	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 54 of file b.hh.

static value_t vcsn::detail::b_impl::conv	(	self_t	,
		const value_t	v
	)

inlinestatic

Definition at line 157 of file b.hh.

References vcsn::detail::v.

value_t vcsn::detail::b_impl::conv	(	std::istream &	is,
		bool	= `true`
	)		const

inline

Definition at line 163 of file b.hh.

References vcsn::require().

Here is the call graph for this function:

static bool vcsn::detail::b_impl::equal	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 107 of file b.hh.

static constexpr bool vcsn::detail::b_impl::has_lightening_weights ( )

inlinestatic

Definition at line 137 of file b.hh.

static size_t vcsn::detail::b_impl::hash ( const value_t v )

inlinestatic

Definition at line 151 of file b.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

static constexpr bool vcsn::detail::b_impl::is_commutative ( )

inlinestatic

Definition at line 135 of file b.hh.

static constexpr bool vcsn::detail::b_impl::is_idempotent ( )

inlinestatic

Definition at line 136 of file b.hh.

static bool vcsn::detail::b_impl::is_one ( const value_t v )

inlinestatic

Definition at line 130 of file b.hh.

References vcsn::detail::v.

static constexpr bool vcsn::detail::b_impl::is_special ( const value_t )

inlinestatic

Definition at line 118 of file b.hh.

static bool vcsn::detail::b_impl::is_zero ( const value_t v )

inlinestatic

Definition at line 124 of file b.hh.

References vcsn::detail::v.

Referenced by lgcd(), and rdivide().

value_t vcsn::detail::b_impl::ldivide	(	const value_t	l,
		const value_t	r
	)		const

inline

Definition at line 95 of file b.hh.

References rdivide().

Here is the call graph for this function:

static bool vcsn::detail::b_impl::less	(	const value_t	lhs,
		const value_t	rhs
	)

inlinestatic

Whether lhs < rhs.

Definition at line 113 of file b.hh.

value_t vcsn::detail::b_impl::lgcd	(	const value_t	l,
		const value_t	r
	)		const

inline

Definition at line 74 of file b.hh.

References is_zero(), one(), and vcsn::require().

Referenced by rgcd().

Here is the call graph for this function:

static b vcsn::detail::b_impl::make ( std::istream & is )

inlinestatic

Build from the description in is.

Definition at line 33 of file b.hh.

References vcsn::eat(), and sname().

Here is the call graph for this function:

static value_t vcsn::detail::b_impl::mul	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 68 of file b.hh.

static value_t vcsn::detail::b_impl::one ( )

inlinestatic

Definition at line 48 of file b.hh.

Referenced by lgcd(), and star().

static std::ostream& vcsn::detail::b_impl::print	(	const value_t	v,
		std::ostream &	o = `std::cout`,
		format	fmt = `{}`
	)

inlinestatic

Definition at line 177 of file b.hh.

std::ostream& vcsn::detail::b_impl::print_set	(	std::ostream &	o,
		format	fmt = `{}`
	)		const

inline

Definition at line 188 of file b.hh.

value_t vcsn::detail::b_impl::rdivide	(	const value_t	l,
		const value_t	r
	)		const

inline

Definition at line 88 of file b.hh.

References is_zero(), and vcsn::require().

Referenced by ldivide().

Here is the call graph for this function:

value_t vcsn::detail::b_impl::rgcd	(	const value_t	l,
		const value_t	r
	)		const

inline

Definition at line 82 of file b.hh.

References lgcd().

Here is the call graph for this function:

static constexpr bool vcsn::detail::b_impl::show_one ( )

inlinestatic

Definition at line 139 of file b.hh.

static symbol vcsn::detail::b_impl::sname ( )

inlinestatic

Definition at line 26 of file b.hh.

References vcsn::res.

Referenced by make().

static value_t vcsn::detail::b_impl::star ( const value_t )

inlinestatic

Definition at line 101 of file b.hh.

References one().

Here is the call graph for this function:

static constexpr star_status_t vcsn::detail::b_impl::star_status ( )

inlinestatic

Definition at line 140 of file b.hh.

References vcsn::STARRABLE.

static value_t vcsn::detail::b_impl::sub	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 62 of file b.hh.

static value_t vcsn::detail::b_impl::transpose ( const value_t v )

inlinestatic

Definition at line 146 of file b.hh.

References vcsn::detail::v.

static value_t vcsn::detail::b_impl::zero ( )

inlinestatic

Definition at line 42 of file b.hh.

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

vcsn/weightset/b.hh

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

Member Function Documentation