Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Types | Public Member Functions | Private Attributes | List of all members
vcsn::rat::less_than< RatExpSet > Class Template Reference

#include <less-than.hh>

Inheritance diagram for vcsn::rat::less_than< RatExpSet >:
Collaboration diagram for vcsn::rat::less_than< RatExpSet >:

Public Types

using ratexpset_t = RatExpSet
 
using context_t = context_t_of< ratexpset_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 ratexp_t = typename ratexpset_t::value_t
 
using super_t = typename ratexpset_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 >
 
using atom_t = typename super_t::atom_t
 
using complement_t = typename super_t::complement_t
 
using conjunction_t = typename super_t::conjunction_t
 
using ldiv_t = typename super_t::ldiv_t
 
using lweight_t = typename super_t::lweight_t
 
using one_t = typename super_t::one_t
 
using prod_t = typename super_t::prod_t
 
using rweight_t = typename super_t::rweight_t
 
using shuffle_t = typename super_t::shuffle_t
 
using star_t = typename super_t::star_t
 
using sum_t = typename super_t::sum_t
 
using transposition_t = typename super_t::transposition_t
 
using zero_t = typename super_t::zero_t
 

Public Member Functions

bool operator() (ratexp_t lhs, ratexp_t rhs)
 Whether lhs < rhs. More...
 
virtual void visit (const atom_t &lhs)
 
virtual void visit (const complement_t &lhs)
 
virtual void visit (const conjunction_t &lhs)
 
virtual void visit (const ldiv_t &lhs)
 
virtual void visit (const lweight_t &lhs)
 
virtual void visit (const one_t &lhs)
 
virtual void visit (const prod_t &lhs)
 
virtual void visit (const rweight_t &lhs)
 
virtual void visit (const shuffle_t &lhs)
 
virtual void visit (const star_t &lhs)
 
virtual void visit (const sum_t &lhs)
 
virtual void visit (const transposition_t &lhs)
 
virtual void visit (const zero_t &lhs)
 
bool less_than_ (const zero_t &, const zero_t &)
 
bool less_than_ (const one_t &, const one_t &)
 
bool less_than_ (const atom_t &lhs, const atom_t &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 unary_t< Type > &lhs, const unary_t< Type > &rhs)
 
template<rat::exp::type_t Type>
bool less_than_ (const weight_node_t< Type > &lhs, const weight_node_t< Type > &rhs)
 

Private Attributes

ratexp_t rhs_
 
bool res_
 

Detailed Description

template<class RatExpSet>
class vcsn::rat::less_than< RatExpSet >

Definition at line 16 of file less-than.hh.

Member Typedef Documentation

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::atom_t = typename super_t:: atom_t

Definition at line 72 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::complement_t = typename super_t:: complement_t

Definition at line 73 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::conjunction_t = typename super_t:: conjunction_t

Definition at line 74 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::context_t = context_t_of<ratexpset_t>

Definition at line 21 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::inner_t = typename super_t::inner_t

Definition at line 28 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::labelset_t = labelset_t_of<context_t>

Definition at line 22 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::ldiv_t = typename super_t:: ldiv_t

Definition at line 75 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::lweight_t = typename super_t:: lweight_t

Definition at line 76 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::node_t = typename super_t::node_t

Definition at line 27 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::one_t = typename super_t:: one_t

Definition at line 77 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::prod_t = typename super_t:: prod_t

Definition at line 78 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::ratexp_t = typename ratexpset_t::value_t

Definition at line 25 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::ratexpset_t = RatExpSet

Definition at line 20 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::rweight_t = typename super_t:: rweight_t

Definition at line 79 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::shuffle_t = typename super_t:: shuffle_t

Definition at line 80 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::star_t = typename super_t:: star_t

Definition at line 81 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::sum_t = typename super_t:: sum_t

Definition at line 82 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::super_t = typename ratexpset_t::const_visitor

Definition at line 26 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::transposition_t = typename super_t:: transposition_t

Definition at line 83 of file less-than.hh.

template<class RatExpSet >
template<rat::exp::type_t Type>
using vcsn::rat::less_than< RatExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 30 of file less-than.hh.

template<class RatExpSet >
template<rat::exp::type_t Type>
using vcsn::rat::less_than< RatExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 32 of file less-than.hh.

template<class RatExpSet >
template<rat::exp::type_t Type>
using vcsn::rat::less_than< RatExpSet >::weight_node_t = typename super_t::template weight_node_t<Type>

Definition at line 34 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::weight_t = weight_t_of<context_t>

Definition at line 24 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::weightset_t = weightset_t_of<context_t>

Definition at line 23 of file less-than.hh.

template<class RatExpSet >
using vcsn::rat::less_than< RatExpSet >::zero_t = typename super_t:: zero_t

Definition at line 84 of file less-than.hh.

Member Function Documentation

template<class RatExpSet >
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const zero_t &  ,
const zero_t &   
)
inline

Definition at line 91 of file less-than.hh.

template<class RatExpSet >
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const one_t &  ,
const one_t &   
)
inline

Definition at line 96 of file less-than.hh.

template<class RatExpSet >
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const atom_t &  lhs,
const atom_t &  rhs 
)
inline

Definition at line 101 of file less-than.hh.

References vcsn::less_than().

Here is the call graph for this function:

template<class RatExpSet >
template<rat::exp::type_t Type>
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const variadic_t< Type > &  lhs,
const variadic_t< Type > &  rhs 
)
inline

Definition at line 107 of file less-than.hh.

References vcsn::less_than().

Here is the call graph for this function:

template<class RatExpSet >
template<rat::exp::type_t Type>
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const unary_t< Type > &  lhs,
const unary_t< Type > &  rhs 
)
inline

Definition at line 125 of file less-than.hh.

References vcsn::less_than().

Here is the call graph for this function:

template<class RatExpSet >
template<rat::exp::type_t Type>
bool vcsn::rat::less_than< RatExpSet >::less_than_ ( const weight_node_t< Type > &  lhs,
const weight_node_t< Type > &  rhs 
)
inline

Definition at line 131 of file less-than.hh.

References vcsn::less_than().

Here is the call graph for this function:

template<class RatExpSet >
bool vcsn::rat::less_than< RatExpSet >::operator() ( ratexp_t  lhs,
ratexp_t  rhs 
)
inline

Whether lhs < rhs.

Definition at line 38 of file less-than.hh.

References vcsn::rat::less_than< RatExpSet >::res_, and vcsn::rat::less_than< RatExpSet >::rhs_.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const atom_t &  lhs)
inlinevirtual

Definition at line 72 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const complement_t &  lhs)
inlinevirtual

Definition at line 73 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const conjunction_t &  lhs)
inlinevirtual

Definition at line 74 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const ldiv_t &  lhs)
inlinevirtual

Definition at line 75 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const lweight_t &  lhs)
inlinevirtual

Definition at line 76 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const one_t &  lhs)
inlinevirtual

Definition at line 77 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const prod_t &  lhs)
inlinevirtual

Definition at line 78 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const rweight_t &  lhs)
inlinevirtual

Definition at line 79 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const shuffle_t &  lhs)
inlinevirtual

Definition at line 80 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const star_t &  lhs)
inlinevirtual

Definition at line 81 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const sum_t &  lhs)
inlinevirtual

Definition at line 82 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const transposition_t &  lhs)
inlinevirtual

Definition at line 83 of file less-than.hh.

template<class RatExpSet >
virtual void vcsn::rat::less_than< RatExpSet >::visit ( const zero_t &  lhs)
inlinevirtual

Definition at line 84 of file less-than.hh.

Member Data Documentation

template<class RatExpSet >
bool vcsn::rat::less_than< RatExpSet >::res_
private

Definition at line 144 of file less-than.hh.

Referenced by vcsn::rat::less_than< RatExpSet >::operator()().

template<class RatExpSet >
ratexp_t vcsn::rat::less_than< RatExpSet >::rhs_
private

Definition at line 143 of file less-than.hh.

Referenced by vcsn::rat::less_than< RatExpSet >::operator()().

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