A functor for three-way comparison between two expressions. More...

#include <compare.hh>

Inheritance diagram for vcsn::rat::compare< ExpSet >:

Collaboration diagram for vcsn::rat::compare< ExpSet >:

Classes
struct	visit_tuple

Public Types
using	expressionset_t = ExpSet

using	self_t = compare

using	context_t = context_t_of< expressionset_t >

using	labelset_t = labelset_t_of< context_t >

using	weightset_t = weightset_t_of< context_t >

using	weight_t = weight_t_of< context_t >

using	expression_t = typename expressionset_t::value_t

using	super_t = typename expressionset_t::const_visitor

using	node_t = typename super_t::node_t

using	inner_t = typename super_t::inner_t

template<rat::exp::type_t Type>
using	unary_t = typename super_t::template unary_t< Type >

template<rat::exp::type_t Type>
using	variadic_t = typename super_t::template variadic_t< Type >

template<rat::exp::type_t Type>
using	weight_node_t = typename super_t::template weight_node_t< Type >

Public Member Functions
int	operator() (expression_t lhs, expression_t rhs)
	Whether lhs < rhs. More...

Private Types
using	tuple_t = typename super_t::tuple_t

Private Member Functions
	VCSN_RAT_VISIT (add, lhs)

	VCSN_RAT_VISIT (atom, lhs)

	VCSN_RAT_VISIT (complement, lhs)

	VCSN_RAT_VISIT (compose, lhs)

	VCSN_RAT_VISIT (conjunction, lhs)

	VCSN_RAT_VISIT (infiltrate, lhs)

	VCSN_RAT_VISIT (ldivide, lhs)

	VCSN_RAT_VISIT (lweight, lhs)

	VCSN_RAT_VISIT (one, lhs)

	VCSN_RAT_VISIT (mul, lhs)

	VCSN_RAT_VISIT (name, lhs)

	VCSN_RAT_VISIT (rweight, lhs)

	VCSN_RAT_VISIT (shuffle, lhs)

	VCSN_RAT_VISIT (star, lhs)

	VCSN_RAT_VISIT (transposition, lhs)

	VCSN_RAT_VISIT (zero, lhs)

void	visit (const tuple_t &v, std::true_type) override

int	cmp_ (const zero_t &, const zero_t &)

int	cmp_ (const one_t &, const one_t &)

int	cmp_ (const atom_t &lhs, const atom_t &rhs)

int	cmp_ (const name_t &lhs, const name_t &rhs)

template<rat::exp::type_t Type>
int	cmp_ (const variadic_t< Type > &lhs, const variadic_t< Type > &rhs)

template<rat::exp::type_t Type>
int	cmp_ (const unary_t< Type > &lhs, const unary_t< Type > &rhs)

template<rat::exp::type_t Type>
int	cmp_ (const weight_node_t< Type > &lhs, const weight_node_t< Type > &rhs)

Private Attributes
expression_t	rhs_
	The right-hand side expression with which the current node is compared. More...

int	res_
	The current result. More...

Detailed Description

template<typename ExpSet>
class vcsn::rat::compare< ExpSet >

A functor for three-way comparison between two expressions.

Implements the shortlex order.

Definition at line 18 of file compare.hh.

Member Typedef Documentation

◆ context_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::context_t = context_t_of<expressionset_t>

Definition at line 24 of file compare.hh.

◆ expression_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::expression_t = typename expressionset_t::value_t

Definition at line 28 of file compare.hh.

◆ expressionset_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::expressionset_t = ExpSet

Definition at line 22 of file compare.hh.

◆ inner_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::inner_t = typename super_t::inner_t

Definition at line 31 of file compare.hh.

◆ labelset_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::labelset_t = labelset_t_of<context_t>

Definition at line 25 of file compare.hh.

◆ node_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::node_t = typename super_t::node_t

Definition at line 30 of file compare.hh.

◆ self_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::self_t = compare

Definition at line 23 of file compare.hh.

◆ super_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 29 of file compare.hh.

◆ tuple_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::tuple_t = typename super_t::tuple_t

private

Definition at line 96 of file compare.hh.

◆ unary_t

template<typename ExpSet >

template<rat::exp::type_t Type>

using vcsn::rat::compare< ExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 33 of file compare.hh.

◆ variadic_t

template<typename ExpSet >

template<rat::exp::type_t Type>

using vcsn::rat::compare< ExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 35 of file compare.hh.

◆ weight_node_t

template<typename ExpSet >

template<rat::exp::type_t Type>

using vcsn::rat::compare< ExpSet >::weight_node_t = typename super_t::template weight_node_t<Type>

Definition at line 37 of file compare.hh.

◆ weight_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::weight_t = weight_t_of<context_t>

Definition at line 27 of file compare.hh.

◆ weightset_t

template<typename ExpSet >

using vcsn::rat::compare< ExpSet >::weightset_t = weightset_t_of<context_t>

Definition at line 26 of file compare.hh.

Member Function Documentation

◆ cmp_() [1/7]

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::cmp_	(	const zero_t &	,
		const zero_t &
	)

inlineprivate

Definition at line 132 of file compare.hh.

◆ cmp_() [2/7]

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::cmp_	(	const one_t &	,
		const one_t &
	)

inlineprivate

Definition at line 137 of file compare.hh.

◆ cmp_() [3/7]

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::cmp_	(	const atom_t &	lhs,
		const atom_t &	rhs
	)

inlineprivate

Definition at line 142 of file compare.hh.

References vcsn::compare().

Here is the call graph for this function:

◆ cmp_() [4/7]

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::cmp_	(	const name_t &	lhs,
		const name_t &	rhs
	)

inlineprivate

Definition at line 147 of file compare.hh.

References vcsn::res.

◆ cmp_() [5/7]

template<typename ExpSet >

template<rat::exp::type_t Type>

int vcsn::rat::compare< ExpSet >::cmp_	(	const variadic_t< Type > &	lhs,
		const variadic_t< Type > &	rhs
	)

inlineprivate

Definition at line 156 of file compare.hh.

References vcsn::detail::lexicographical_cmp(), and vcsn::res.

Here is the call graph for this function:

◆ cmp_() [6/7]

template<typename ExpSet >

template<rat::exp::type_t Type>

int vcsn::rat::compare< ExpSet >::cmp_	(	const unary_t< Type > &	lhs,
		const unary_t< Type > &	rhs
	)

inlineprivate

Definition at line 166 of file compare.hh.

◆ cmp_() [7/7]

template<typename ExpSet >

template<rat::exp::type_t Type>

int vcsn::rat::compare< ExpSet >::cmp_	(	const weight_node_t< Type > &	lhs,
		const weight_node_t< Type > &	rhs
	)

inlineprivate

Definition at line 172 of file compare.hh.

References vcsn::compare(), and vcsn::res.

Here is the call graph for this function:

◆ operator()()

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::operator()	(	expression_t	lhs,
		expression_t	rhs
	)

inline

Whether lhs < rhs.

Not just the entry point, it's also called at each recursion level. In particular, that's where size and node types are considered, routines below handle the case of nodes of same sizes and same type.

Definition at line 45 of file compare.hh.

References vcsn::res, vcsn::rat::compare< ExpSet >::res_, and vcsn::rat::compare< ExpSet >::rhs_.

◆ VCSN_RAT_VISIT() [1/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	add	,
		lhs
	)

inlineprivate

Definition at line 78 of file compare.hh.

◆ VCSN_RAT_VISIT() [2/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	atom	,
		lhs
	)

inlineprivate

Definition at line 79 of file compare.hh.

◆ VCSN_RAT_VISIT() [3/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	complement	,
		lhs
	)

inlineprivate

Definition at line 80 of file compare.hh.

◆ VCSN_RAT_VISIT() [4/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	compose	,
		lhs
	)

inlineprivate

Definition at line 81 of file compare.hh.

◆ VCSN_RAT_VISIT() [5/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	conjunction	,
		lhs
	)

inlineprivate

Definition at line 82 of file compare.hh.

◆ VCSN_RAT_VISIT() [6/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	infiltrate	,
		lhs
	)

inlineprivate

Definition at line 83 of file compare.hh.

◆ VCSN_RAT_VISIT() [7/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	ldivide	,
		lhs
	)

inlineprivate

Definition at line 84 of file compare.hh.

◆ VCSN_RAT_VISIT() [8/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	lweight	,
		lhs
	)

inlineprivate

Definition at line 85 of file compare.hh.

◆ VCSN_RAT_VISIT() [9/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	one	,
		lhs
	)

inlineprivate

Definition at line 86 of file compare.hh.

◆ VCSN_RAT_VISIT() [10/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	mul	,
		lhs
	)

inlineprivate

Definition at line 87 of file compare.hh.

◆ VCSN_RAT_VISIT() [11/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	name	,
		lhs
	)

inlineprivate

Definition at line 88 of file compare.hh.

◆ VCSN_RAT_VISIT() [12/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	rweight	,
		lhs
	)

inlineprivate

Definition at line 89 of file compare.hh.

◆ VCSN_RAT_VISIT() [13/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	shuffle	,
		lhs
	)

inlineprivate

Definition at line 90 of file compare.hh.

◆ VCSN_RAT_VISIT() [14/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	star	,
		lhs
	)

inlineprivate

Definition at line 91 of file compare.hh.

◆ VCSN_RAT_VISIT() [15/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	transposition	,
		lhs
	)

inlineprivate

Definition at line 92 of file compare.hh.

◆ VCSN_RAT_VISIT() [16/16]

template<typename ExpSet >

vcsn::rat::compare< ExpSet >::VCSN_RAT_VISIT	(	zero	,
		lhs
	)

inlineprivate

Definition at line 93 of file compare.hh.

◆ visit()

template<typename ExpSet >

void vcsn::rat::compare< ExpSet >::visit	(	const tuple_t &	v,
		std::true_type
	)

inlineoverrideprivate

Definition at line 118 of file compare.hh.

References vcsn::rat::compare< ExpSet >::res_, and vcsn::v.

Member Data Documentation

◆ res_

template<typename ExpSet >

int vcsn::rat::compare< ExpSet >::res_

private

The current result.

Definition at line 186 of file compare.hh.

Referenced by vcsn::rat::compare< ExpSet >::operator()(), and vcsn::rat::compare< ExpSet >::visit().

◆ rhs_

template<typename ExpSet >

expression_t vcsn::rat::compare< ExpSet >::rhs_

private

The right-hand side expression with which the current node is compared.

Updated by the recursion.

Definition at line 184 of file compare.hh.

Referenced by vcsn::rat::compare< ExpSet >::operator()(), and vcsn::rat::compare< ExpSet >::visit_tuple< typename >::operator()().

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

vcsn/core/rat/compare.hh

Classes

Public Types

Public Member Functions

Private Types

Private Member Functions

Private Attributes

Detailed Description

template<typename ExpSet> class vcsn::rat::compare< ExpSet >

Member Typedef Documentation

◆ context_t

◆ expression_t

◆ expressionset_t

◆ inner_t

◆ labelset_t

◆ node_t

◆ self_t

◆ super_t

◆ tuple_t

◆ unary_t

◆ variadic_t

◆ weight_node_t

◆ weight_t

◆ weightset_t

Member Function Documentation

◆ cmp_() [1/7]

◆ cmp_() [2/7]

◆ cmp_() [3/7]

◆ cmp_() [4/7]

◆ cmp_() [5/7]

◆ cmp_() [6/7]

◆ cmp_() [7/7]

◆ operator()()

◆ VCSN_RAT_VISIT() [1/16]

◆ VCSN_RAT_VISIT() [2/16]

◆ VCSN_RAT_VISIT() [3/16]

◆ VCSN_RAT_VISIT() [4/16]

◆ VCSN_RAT_VISIT() [5/16]

◆ VCSN_RAT_VISIT() [6/16]

◆ VCSN_RAT_VISIT() [7/16]

◆ VCSN_RAT_VISIT() [8/16]

◆ VCSN_RAT_VISIT() [9/16]

◆ VCSN_RAT_VISIT() [10/16]

◆ VCSN_RAT_VISIT() [11/16]

◆ VCSN_RAT_VISIT() [12/16]

◆ VCSN_RAT_VISIT() [13/16]

◆ VCSN_RAT_VISIT() [14/16]

◆ VCSN_RAT_VISIT() [15/16]

◆ VCSN_RAT_VISIT() [16/16]

◆ visit()

Member Data Documentation

◆ res_

◆ rhs_

template<typename ExpSet>
class vcsn::rat::compare< ExpSet >