Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::rat::equal_visit< RatExpSet > Class Template Reference

#include <equal_visit.hh>

Inheritance diagram for awali::sttc::rat::equal_visit< 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 equal_visit_ (const atom_t &lhs, const atom_t &rhs)
 
bool equal_visit_ (const one_t &, const one_t &)
 
template<rat::exp::type_t Type>
bool equal_visit_ (const unary_t< Type > &lhs, const unary_t< Type > &rhs)
 
template<rat::exp::type_t Type>
bool equal_visit_ (const variadic_t< Type > &lhs, const variadic_t< Type > &rhs)
 
template<rat::exp::type_t Type>
bool equal_visit_ (const weight_node_t< Type > &lhs, const weight_node_t< Type > &rhs)
 
bool equal_visit_ (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::equal_visit< RatExpSet >::atom_t = typename super_type:: atom_t

◆ complement_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::complement_t = typename super_type:: complement_t

◆ conjunction_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::conjunction_t = typename super_type:: conjunction_t

◆ context_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::context_t = context_t_of<ratexpset_t>

◆ inner_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::inner_t = typename super_type::inner_t

◆ labelset_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::labelset_t = labelset_t_of<context_t>

◆ ldiv_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::ldiv_t = typename super_type:: ldiv_t

◆ lweight_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::lweight_t = typename super_type:: lweight_t

◆ node_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::node_t = typename super_type::node_t

◆ one_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::one_t = typename super_type:: one_t

◆ prod_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::prod_t = typename super_type:: prod_t

◆ ratexp_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::ratexp_t = typename context_t::ratexp_t

◆ ratexpset_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::ratexpset_t = RatExpSet

◆ rweight_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::rweight_t = typename super_type:: rweight_t

◆ shuffle_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::shuffle_t = typename super_type:: shuffle_t

◆ star_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::star_t = typename super_type:: star_t

◆ sum_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::sum_t = typename super_type:: sum_t

◆ super_type

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::super_type = typename ratexpset_t::const_visitor

◆ transposition_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::transposition_t = typename super_type:: transposition_t

◆ unary_t

template<class RatExpSet >
template<rat::exp::type_t Type>
using awali::sttc::rat::equal_visit< 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::equal_visit< 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::equal_visit< RatExpSet >::weight_node_t = typename super_type::template weight_node_t<Type>

◆ weight_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::weight_t = weight_t_of<context_t>

◆ weightset_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::weightset_t = weightset_t_of<context_t>

◆ zero_t

template<class RatExpSet >
using awali::sttc::rat::equal_visit< RatExpSet >::zero_t = typename super_type:: zero_t

Member Function Documentation

◆ equal_visit_() [1/6]

template<class RatExpSet >
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const atom_t &  lhs,
const atom_t &  rhs 
)

◆ equal_visit_() [2/6]

template<class RatExpSet >
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const one_t &  ,
const one_t &   
)

◆ equal_visit_() [3/6]

template<class RatExpSet >
template<rat::exp::type_t Type>
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const unary_t< Type > &  lhs,
const unary_t< Type > &  rhs 
)

◆ equal_visit_() [4/6]

template<class RatExpSet >
template<rat::exp::type_t Type>
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const variadic_t< Type > &  lhs,
const variadic_t< Type > &  rhs 
)

◆ equal_visit_() [5/6]

template<class RatExpSet >
template<rat::exp::type_t Type>
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const weight_node_t< Type > &  lhs,
const weight_node_t< Type > &  rhs 
)

◆ equal_visit_() [6/6]

template<class RatExpSet >
bool awali::sttc::rat::equal_visit< RatExpSet >::equal_visit_ ( const zero_t &  ,
const zero_t &   
)

◆ operator()()

template<class RatExpSet >
bool awali::sttc::rat::equal_visit< RatExpSet >::operator() ( ratexp_t  lhs,
ratexp_t  rhs 
)

Whether lhs == rhs.

◆ visit() [1/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const atom_t &  lhs)
overridevirtual

◆ visit() [2/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const complement_t &  lhs)
overridevirtual

◆ visit() [3/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const conjunction_t &  lhs)
overridevirtual

◆ visit() [4/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const ldiv_t &  lhs)
overridevirtual

◆ visit() [5/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const lweight_t &  lhs)
overridevirtual

◆ visit() [6/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const one_t &  lhs)
overridevirtual

◆ visit() [7/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const prod_t &  lhs)
overridevirtual

◆ visit() [8/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const rweight_t &  lhs)
overridevirtual

◆ visit() [9/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const shuffle_t &  lhs)
overridevirtual

◆ visit() [10/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const star_t &  lhs)
overridevirtual

◆ visit() [11/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const sum_t &  lhs)
overridevirtual

◆ visit() [12/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const transposition_t &  lhs)
overridevirtual

◆ visit() [13/13]

template<class RatExpSet >
virtual void awali::sttc::rat::equal_visit< RatExpSet >::visit ( const zero_t &  lhs)
overridevirtual
The documentation for this class was generated from the following file:
Generated on Tue Dec 20 2022 19:47:10 for Awali by doxygen 1.9.1