#include <f2.hh>

Collaboration diagram for vcsn::detail::f2_impl:

Public Types
using	self_type = f2

using	value_t = bool

Public Member Functions
std::string	vname (bool=true) const

std::ostream &	print_set (std::ostream &o, symbol format=symbol{"text"}) const

Static Public Member Functions
static std::string	sname ()

static f2	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	rdiv (const value_t l, const value_t r)

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

static value_t	star (const value_t v)

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

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

static constexpr bool	is_special (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	show_one ()

static constexpr star_status_t	star_status ()

static value_t	transpose (const value_t v)

static size_t	hash (value_t v)

static value_t	conv (self_type, value_t v)

static value_t	conv (std::istream &stream)

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

Detailed Description

Definition at line 19 of file f2.hh.

Member Typedef Documentation

using vcsn::detail::f2_impl::self_type = f2

Definition at line 22 of file f2.hh.

using vcsn::detail::f2_impl::value_t = bool

Definition at line 41 of file f2.hh.

Member Function Documentation

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

inlinestatic

Definition at line 56 of file f2.hh.

static value_t vcsn::detail::f2_impl::conv	(	self_type	,
		value_t	v
	)

inlinestatic

Definition at line 142 of file f2.hh.

static value_t vcsn::detail::f2_impl::conv ( std::istream & stream )

inlinestatic

Definition at line 148 of file f2.hh.

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

Here is the call graph for this function:

static bool vcsn::detail::f2_impl::equals	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 94 of file f2.hh.

static size_t vcsn::detail::f2_impl::hash ( value_t v )

inlinestatic

Definition at line 136 of file f2.hh.

References vcsn::hash_value().

Here is the call graph for this function:

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

inlinestatic

Definition at line 122 of file f2.hh.

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

inlinestatic

Definition at line 123 of file f2.hh.

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

inlinestatic

Definition at line 117 of file f2.hh.

static constexpr bool vcsn::detail::f2_impl::is_special ( value_t )

inlinestatic

Definition at line 105 of file f2.hh.

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

inlinestatic

Definition at line 111 of file f2.hh.

Referenced by rdiv().

static value_t vcsn::detail::f2_impl::ldiv	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 81 of file f2.hh.

References rdiv().

Here is the call graph for this function:

static bool vcsn::detail::f2_impl::less_than	(	value_t	lhs,
		value_t	rhs
	)

inlinestatic

Whether lhs < rhs.

Definition at line 100 of file f2.hh.

static f2 vcsn::detail::f2_impl::make ( std::istream & is )

inlinestatic

Build from the description in is.

Definition at line 35 of file f2.hh.

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

Here is the call graph for this function:

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

inlinestatic

Definition at line 68 of file f2.hh.

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

inlinestatic

Definition at line 50 of file f2.hh.

static std::ostream& vcsn::detail::f2_impl::print	(	const value_t	v,
		std::ostream &	o,
		const std::string &	= `"text"`
	)

inlinestatic

Definition at line 158 of file f2.hh.

std::ostream& vcsn::detail::f2_impl::print_set	(	std::ostream &	o,
		symbol	format = `symbol{"text"}`
	)		const

inline

Definition at line 165 of file f2.hh.

static value_t vcsn::detail::f2_impl::rdiv	(	const value_t	l,
		const value_t	r
	)

inlinestatic

Definition at line 74 of file f2.hh.

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

Referenced by ldiv().

Here is the call graph for this function:

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

inlinestatic

Definition at line 125 of file f2.hh.

static std::string vcsn::detail::f2_impl::sname ( )

inlinestatic

Definition at line 24 of file f2.hh.

Referenced by conv(), make(), and vname().

static value_t vcsn::detail::f2_impl::star ( const value_t v )

inlinestatic

Definition at line 87 of file f2.hh.

References vcsn::require().

Here is the call graph for this function:

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

inlinestatic

Definition at line 128 of file f2.hh.

References vcsn::NON_STARRABLE.

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

inlinestatic

Definition at line 62 of file f2.hh.

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

inlinestatic

Definition at line 131 of file f2.hh.

std::string vcsn::detail::f2_impl::vname ( bool = true ) const

inline

Definition at line 29 of file f2.hh.

References sname().

Here is the call graph for this function:

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

inlinestatic

Definition at line 44 of file f2.hh.

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

vcsn/weightset/f2.hh

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

Member Function Documentation