![]() |
Vcsn
2.0
Be Rational
|
#include <less-than.hh>
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_ |
Definition at line 16 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::atom_t = typename super_t:: atom_t |
Definition at line 72 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::complement_t = typename super_t:: complement_t |
Definition at line 73 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::conjunction_t = typename super_t:: conjunction_t |
Definition at line 74 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::context_t = context_t_of<ratexpset_t> |
Definition at line 21 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::inner_t = typename super_t::inner_t |
Definition at line 28 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::labelset_t = labelset_t_of<context_t> |
Definition at line 22 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::ldiv_t = typename super_t:: ldiv_t |
Definition at line 75 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::lweight_t = typename super_t:: lweight_t |
Definition at line 76 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::node_t = typename super_t::node_t |
Definition at line 27 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::one_t = typename super_t:: one_t |
Definition at line 77 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::prod_t = typename super_t:: prod_t |
Definition at line 78 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::ratexp_t = typename ratexpset_t::value_t |
Definition at line 25 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::ratexpset_t = RatExpSet |
Definition at line 20 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::rweight_t = typename super_t:: rweight_t |
Definition at line 79 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::shuffle_t = typename super_t:: shuffle_t |
Definition at line 80 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::star_t = typename super_t:: star_t |
Definition at line 81 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::sum_t = typename super_t:: sum_t |
Definition at line 82 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::super_t = typename ratexpset_t::const_visitor |
Definition at line 26 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::transposition_t = typename super_t:: transposition_t |
Definition at line 83 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::unary_t = typename super_t::template unary_t<Type> |
Definition at line 30 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::variadic_t = typename super_t::template variadic_t<Type> |
Definition at line 32 of file less-than.hh.
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.
using vcsn::rat::less_than< RatExpSet >::weight_t = weight_t_of<context_t> |
Definition at line 24 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::weightset_t = weightset_t_of<context_t> |
Definition at line 23 of file less-than.hh.
using vcsn::rat::less_than< RatExpSet >::zero_t = typename super_t:: zero_t |
Definition at line 84 of file less-than.hh.
|
inline |
Definition at line 91 of file less-than.hh.
|
inline |
Definition at line 96 of file less-than.hh.
|
inline |
Definition at line 101 of file less-than.hh.
References vcsn::less_than().
|
inline |
Definition at line 107 of file less-than.hh.
References vcsn::less_than().
|
inline |
Definition at line 125 of file less-than.hh.
References vcsn::less_than().
|
inline |
Definition at line 131 of file less-than.hh.
References vcsn::less_than().
|
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_.
|
inlinevirtual |
Definition at line 72 of file less-than.hh.
|
inlinevirtual |
Definition at line 73 of file less-than.hh.
|
inlinevirtual |
Definition at line 74 of file less-than.hh.
|
inlinevirtual |
Definition at line 75 of file less-than.hh.
|
inlinevirtual |
Definition at line 76 of file less-than.hh.
|
inlinevirtual |
Definition at line 77 of file less-than.hh.
|
inlinevirtual |
Definition at line 78 of file less-than.hh.
|
inlinevirtual |
Definition at line 79 of file less-than.hh.
|
inlinevirtual |
Definition at line 80 of file less-than.hh.
|
inlinevirtual |
Definition at line 81 of file less-than.hh.
|
inlinevirtual |
Definition at line 82 of file less-than.hh.
|
inlinevirtual |
Definition at line 83 of file less-than.hh.
|
inlinevirtual |
Definition at line 84 of file less-than.hh.
|
private |
Definition at line 144 of file less-than.hh.
Referenced by vcsn::rat::less_than< RatExpSet >::operator()().
|
private |
Definition at line 143 of file less-than.hh.
Referenced by vcsn::rat::less_than< RatExpSet >::operator()().