#include <q.hh>

Collaboration diagram for vcsn::detail::q_impl:

Classes
struct	value_t

Public Types
using	self_t = q

Public Member Functions
value_t	lgcd (const value_t &l, const value_t &r) const
	GCD: arbitrarily the first argument. More...

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	star (const value_t &v) const

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

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

Static Public Member Functions
static symbol	sname ()

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

static value_t	value (int num, unsigned den)
	Create rational weight from num and den. More...

static unsigned	abs (int a)

static value_t	zero ()

static value_t	one ()

static value_t	min ()

static value_t	max ()

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 bool	is_special (const value_t &)

static bool	is_zero (const value_t &v)

static bool	is_one (const value_t &v)

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_commutative ()

static constexpr bool	has_lightening_weights ()

static constexpr bool	show_one ()

static constexpr star_status_t	star_status ()

static value_t	abs (const value_t &v)

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 value_t	conv (z, const z::value_t v)

static value_t	conv (b, const b::value_t v)

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

Detailed Description

Definition at line 23 of file q.hh.

Member Typedef Documentation

using vcsn::detail::q_impl::self_t = q

Definition at line 26 of file q.hh.

Member Function Documentation

static unsigned vcsn::detail::q_impl::abs ( int a )

inlinestatic

Definition at line 67 of file q.hh.

Referenced by add(), vcsn::detail::q_impl::value_t::reduce(), star(), and sub().

static value_t vcsn::detail::q_impl::abs ( const value_t & v )

inlinestatic

Definition at line 188 of file q.hh.

References vcsn::detail::q_impl::value_t::den, and vcsn::detail::q_impl::value_t::num.

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

inlinestatic

Definition at line 94 of file q.hh.

References abs(), vcsn::detail::q_impl::value_t::den, vcsn::detail::lcm(), and vcsn::detail::q_impl::value_t::num.

Here is the call graph for this function:

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

inlinestatic

Definition at line 208 of file q.hh.

References vcsn::detail::v.

static value_t vcsn::detail::q_impl::conv	(	z	,
		const z::value_t	v
	)

inlinestatic

Definition at line 214 of file q.hh.

References vcsn::detail::v.

static value_t vcsn::detail::q_impl::conv	(	b	,
		const b::value_t	v
	)

inlinestatic

Definition at line 220 of file q.hh.

References vcsn::detail::v.

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

inline

Definition at line 226 of file q.hh.

References vcsn::eat(), vcsn::detail::q_impl::value_t::reduce(), and vcsn::require().

Here is the call graph for this function:

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

inlinestatic

Definition at line 169 of file q.hh.

References vcsn::detail::q_impl::value_t::den, and vcsn::detail::q_impl::value_t::num.

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

inlinestatic

Definition at line 182 of file q.hh.

static size_t vcsn::detail::q_impl::hash ( const value_t & v )

inlinestatic

Definition at line 199 of file q.hh.

References vcsn::detail::q_impl::value_t::den, vcsn::hash_combine(), vcsn::detail::hash_value(), vcsn::detail::q_impl::value_t::num, and vcsn::res.

Here is the call graph for this function:

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

inlinestatic

Definition at line 181 of file q.hh.

static bool vcsn::detail::q_impl::is_one ( const value_t & v )

inlinestatic

Definition at line 163 of file q.hh.

References vcsn::detail::q_impl::value_t::den, and vcsn::detail::q_impl::value_t::num.

static bool vcsn::detail::q_impl::is_special ( const value_t & )

inlinestatic

Definition at line 153 of file q.hh.

static bool vcsn::detail::q_impl::is_zero ( const value_t & v )

inlinestatic

Definition at line 158 of file q.hh.

References vcsn::detail::q_impl::value_t::num.

Referenced by lgcd(), and rdivide().

value_t vcsn::detail::q_impl::ldivide	(	const value_t &	l,
		const value_t &	r
	)		const

inline

Definition at line 139 of file q.hh.

References rdivide().

Here is the call graph for this function:

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

inlinestatic

Whether lhs < rhs.

Definition at line 175 of file q.hh.

References vcsn::detail::q_impl::value_t::den, and vcsn::detail::q_impl::value_t::num.

value_t vcsn::detail::q_impl::lgcd	(	const value_t &	l,
		const value_t &	r
	)		const

inline

GCD: arbitrarily the first argument.

Definition at line 115 of file q.hh.

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

Referenced by rgcd().

Here is the call graph for this function:

static q vcsn::detail::q_impl::make ( std::istream & is )

inlinestatic

Build from the description in is.

Definition at line 35 of file q.hh.

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

Here is the call graph for this function:

static value_t vcsn::detail::q_impl::max ( )

inlinestatic

Definition at line 88 of file q.hh.

static value_t vcsn::detail::q_impl::min ( )

inlinestatic

Definition at line 82 of file q.hh.

References vcsn::min.

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

inlinestatic

Definition at line 108 of file q.hh.

References vcsn::detail::q_impl::value_t::den, and vcsn::detail::q_impl::value_t::num.

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

inlinestatic

Definition at line 77 of file q.hh.

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

inlinestatic

Definition at line 259 of file q.hh.

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

inline

Definition at line 279 of file q.hh.

value_t vcsn::detail::q_impl::rdivide	(	const value_t &	l,
		const value_t &	r
	)		const

inline

Definition at line 129 of file q.hh.

References vcsn::detail::q_impl::value_t::den, is_zero(), vcsn::detail::q_impl::value_t::num, and vcsn::require().

Referenced by ldivide().

Here is the call graph for this function:

value_t vcsn::detail::q_impl::rgcd	(	const value_t &	l,
		const value_t &	r
	)		const

inline

Definition at line 123 of file q.hh.

References lgcd().

Here is the call graph for this function:

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

inlinestatic

Definition at line 184 of file q.hh.

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

inlinestatic

Definition at line 28 of file q.hh.

References vcsn::res.

Referenced by make().

value_t vcsn::detail::q_impl::star ( const value_t & v ) const

inline

Definition at line 144 of file q.hh.

References abs(), vcsn::detail::q_impl::value_t::den, vcsn::detail::q_impl::value_t::num, and vcsn::raise_not_starrable().

Here is the call graph for this function:

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

inlinestatic

Definition at line 185 of file q.hh.

References vcsn::ABSVAL.

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

inlinestatic

Definition at line 101 of file q.hh.

References abs(), vcsn::detail::q_impl::value_t::den, vcsn::detail::lcm(), and vcsn::detail::q_impl::value_t::num.

Here is the call graph for this function:

static value_t vcsn::detail::q_impl::transpose ( const value_t & v )

inlinestatic

Definition at line 194 of file q.hh.

References vcsn::detail::v.

static value_t vcsn::detail::q_impl::value	(	int	num,
		unsigned	den
	)

inlinestatic

Create rational weight from num and den.

Definition at line 62 of file q.hh.

References vcsn::detail::q_impl::value_t::reduce().

Here is the call graph for this function:

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

inlinestatic

Definition at line 72 of file q.hh.

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

vcsn/weightset/q.hh

Classes

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

Member Function Documentation