#include <less_than.hh>

Inheritance diagram for awali::sttc::rat::less_than< RatExpSet >:

Public Types
using	atom_t = typename super_type::atom_t

using	complement_t = typename super_type::complement_t

using	conjunction_t = typename super_type::conjunction_t

using	context_t = context_t_of< ratexpset_t >

using	inner_t = typename super_type::inner_t

using	labelset_t = labelset_t_of< context_t >

using	ldiv_t = typename super_type::ldiv_t

using	lweight_t = typename super_type::lweight_t

using	node_t = typename super_type::node_t

using	one_t = typename super_type::one_t

using	prod_t = typename super_type::prod_t

using	ratexp_t = typename context_t::ratexp_t

using	ratexpset_t = RatExpSet

using	rweight_t = typename super_type::rweight_t

using	shuffle_t = typename super_type::shuffle_t

using	star_t = typename super_type::star_t

using	sum_t = typename super_type::sum_t

using	super_type = typename ratexpset_t::const_visitor

using	transposition_t = typename super_type::transposition_t

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

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

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

using	weight_t = weight_t_of< context_t >

using	weightset_t = weightset_t_of< context_t >

using	zero_t = typename super_type::zero_t

Public Member Functions
bool	less_than_ (const atom_t &lhs, const atom_t &rhs)

bool	less_than_ (const one_t &, const one_t &)

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

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

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

bool	less_than_ (const zero_t &, const zero_t &)

bool	operator() (ratexp_t lhs, ratexp_t rhs)
	Whether lhs < rhs. More...

virtual void	visit (const atom_t &lhs) override

virtual void	visit (const complement_t &lhs) override

virtual void	visit (const conjunction_t &lhs) override

virtual void	visit (const ldiv_t &lhs) override

virtual void	visit (const lweight_t &lhs) override

virtual void	visit (const one_t &lhs) override

virtual void	visit (const prod_t &lhs) override

virtual void	visit (const rweight_t &lhs) override

virtual void	visit (const shuffle_t &lhs) override

virtual void	visit (const star_t &lhs) override

virtual void	visit (const sum_t &lhs) override

virtual void	visit (const transposition_t &lhs) override

virtual void	visit (const zero_t &lhs) override

Member Typedef Documentation

◆ atom_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::atom_t = typename super_type:: atom_t

◆ complement_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::complement_t = typename super_type:: complement_t

◆ conjunction_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::conjunction_t = typename super_type:: conjunction_t

◆ context_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::context_t = context_t_of<ratexpset_t>

◆ inner_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::inner_t = typename super_type::inner_t

◆ labelset_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::labelset_t = labelset_t_of<context_t>

◆ ldiv_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::ldiv_t = typename super_type:: ldiv_t

◆ lweight_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::lweight_t = typename super_type:: lweight_t

◆ node_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::node_t = typename super_type::node_t

◆ one_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::one_t = typename super_type:: one_t

◆ prod_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::prod_t = typename super_type:: prod_t

◆ ratexp_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::ratexp_t = typename context_t::ratexp_t

◆ ratexpset_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::ratexpset_t = RatExpSet

◆ rweight_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::rweight_t = typename super_type:: rweight_t

◆ shuffle_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::shuffle_t = typename super_type:: shuffle_t

◆ star_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::star_t = typename super_type:: star_t

◆ sum_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::sum_t = typename super_type:: sum_t

◆ super_type

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::super_type = typename ratexpset_t::const_visitor

◆ transposition_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::transposition_t = typename super_type:: transposition_t

◆ unary_t

template<class RatExpSet >

template<rat::exp::type_t Type>

using awali::sttc::rat::less_than< RatExpSet >::unary_t = typename super_type::template unary_t<Type>

◆ variadic_t

template<class RatExpSet >

template<rat::exp::type_t Type>

using awali::sttc::rat::less_than< RatExpSet >::variadic_t = typename super_type::template variadic_t<Type>

◆ weight_node_t

template<class RatExpSet >

template<rat::exp::type_t Type>

using awali::sttc::rat::less_than< RatExpSet >::weight_node_t = typename super_type::template weight_node_t<Type>

◆ weight_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::weight_t = weight_t_of<context_t>

◆ weightset_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::weightset_t = weightset_t_of<context_t>

◆ zero_t

template<class RatExpSet >

using awali::sttc::rat::less_than< RatExpSet >::zero_t = typename super_type:: zero_t

Member Function Documentation

◆ less_than_() [1/6]

template<class RatExpSet >

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const atom_t &	lhs,
		const atom_t &	rhs
	)

◆ less_than_() [2/6]

template<class RatExpSet >

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const one_t &	,
		const one_t &
	)

◆ less_than_() [3/6]

template<class RatExpSet >

template<rat::exp::type_t Type>

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const unary_t< Type > &	lhs,
		const unary_t< Type > &	rhs
	)

◆ less_than_() [4/6]

template<class RatExpSet >

template<rat::exp::type_t Type>

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const variadic_t< Type > &	lhs,
		const variadic_t< Type > &	rhs
	)

◆ less_than_() [5/6]

template<class RatExpSet >

template<rat::exp::type_t Type>

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const weight_node_t< Type > &	lhs,
		const weight_node_t< Type > &	rhs
	)

◆ less_than_() [6/6]

template<class RatExpSet >

bool awali::sttc::rat::less_than< RatExpSet >::less_than_	(	const zero_t &	,
		const zero_t &
	)

◆ operator()()

template<class RatExpSet >

bool awali::sttc::rat::less_than< RatExpSet >::operator()	(	ratexp_t	lhs,
		ratexp_t	rhs
	)

Whether lhs < rhs.

◆ visit() [1/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const atom_t & lhs )

overridevirtual

◆ visit() [2/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const complement_t & lhs )

overridevirtual

◆ visit() [3/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const conjunction_t & lhs )

overridevirtual

◆ visit() [4/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const ldiv_t & lhs )

overridevirtual

◆ visit() [5/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const lweight_t & lhs )

overridevirtual

◆ visit() [6/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const one_t & lhs )

overridevirtual

◆ visit() [7/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const prod_t & lhs )

overridevirtual

◆ visit() [8/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const rweight_t & lhs )

overridevirtual

◆ visit() [9/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const shuffle_t & lhs )

overridevirtual

◆ visit() [10/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const star_t & lhs )

overridevirtual

◆ visit() [11/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const sum_t & lhs )

overridevirtual

◆ visit() [12/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const transposition_t & lhs )

overridevirtual

◆ visit() [13/13]

template<class RatExpSet >

virtual void awali::sttc::rat::less_than< RatExpSet >::visit ( const zero_t & lhs )

overridevirtual

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

/home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/less_than.hh

Public Types

Public Member Functions

Member Typedef Documentation

◆ atom_t

◆ complement_t

◆ conjunction_t

◆ context_t

◆ inner_t

◆ labelset_t

◆ ldiv_t

◆ lweight_t

◆ node_t

◆ one_t

◆ prod_t

◆ ratexp_t

◆ ratexpset_t

◆ rweight_t

◆ shuffle_t

◆ star_t

◆ sum_t

◆ super_type

◆ transposition_t

◆ unary_t

◆ variadic_t

◆ weight_node_t

◆ weight_t

◆ weightset_t

◆ zero_t

Member Function Documentation

◆ less_than_() [1/6]

◆ less_than_() [2/6]

◆ less_than_() [3/6]

◆ less_than_() [4/6]

◆ less_than_() [5/6]

◆ less_than_() [6/6]

◆ operator()()

◆ visit() [1/13]

◆ visit() [2/13]

◆ visit() [3/13]

◆ visit() [4/13]

◆ visit() [5/13]

◆ visit() [6/13]

◆ visit() [7/13]

◆ visit() [8/13]

◆ visit() [9/13]

◆ visit() [10/13]

◆ visit() [11/13]

◆ visit() [12/13]

◆ visit() [13/13]