Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::rat::copier< InRatExpSet, OutRatExpSet > Class Template Reference

#include <copy.hh>

Inheritance diagram for awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >:

Public Types

using in_ratexpset_t = InRatExpSet
 
using in_value_t = typename in_ratexpset_t::value_t
 
using inner_t = typename super_type::inner_t
 
using leaf_t = typename super_type::leaf_t
 
using node_t = typename super_type::node_t
 
using out_ratexpset_t = OutRatExpSet
 
using out_value_t = typename out_ratexpset_t::value_t
 
using super_type = typename in_ratexpset_t::const_visitor
 
template<type_t Type>
using unary_t = typename super_type::template unary_t< Type >
 
template<type_t Type>
using variadic_t = typename super_type::template variadic_t< Type >
 

Public Member Functions

 copier (const in_ratexpset_t &in_rs, const out_ratexpset_t &out_rs)
 
out_value_t operator() (const in_value_t &v)
 Entry point: print v. More...
 

Member Typedef Documentation

◆ in_ratexpset_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::in_ratexpset_t = InRatExpSet

◆ in_value_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::in_value_t = typename in_ratexpset_t::value_t

◆ inner_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::inner_t = typename super_type::inner_t

◆ leaf_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::leaf_t = typename super_type::leaf_t

◆ node_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::node_t = typename super_type::node_t

◆ out_ratexpset_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::out_ratexpset_t = OutRatExpSet

◆ out_value_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::out_value_t = typename out_ratexpset_t::value_t

◆ super_type

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::super_type = typename in_ratexpset_t::const_visitor

◆ unary_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
template<type_t Type>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::unary_t = typename super_type::template unary_t<Type>

◆ variadic_t

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
template<type_t Type>
using awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::variadic_t = typename super_type::template variadic_t<Type>

Constructor & Destructor Documentation

◆ copier()

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::copier ( const in_ratexpset_t in_rs,
const out_ratexpset_t out_rs 
)

Member Function Documentation

◆ operator()()

template<typename InRatExpSet , typename OutRatExpSet = InRatExpSet>
out_value_t awali::sttc::rat::copier< InRatExpSet, OutRatExpSet >::operator() ( const in_value_t v)

Entry point: print v.


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