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

#include <printer.hh>

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

Public Types

using context_t = context_t_of< ratexpset_t >
 
using identities_t = typename ratexpset_t::identities_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 ratexpset_t = RatExpSet
 
using super_type = typename 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 >
 
using weight_t = typename context_t::weightset_t::value_t
 

Public Member Functions

 printer (const ratexpset_t &rs, std::ostream &out, const bool debug=!!getenv("AWALI_PARENS"))
 
void format (const std::string &format)
 Set output format. More...
 
std::ostream & operator() (const node_t &v)
 Entry point: print v. More...
 
std::ostream & operator() (const std::shared_ptr< const node_t > &v)
 Entry point: print v. More...
 
template<type_t Type>
auto print (const unary_t< Type > &v, const char *op) -> void
 
template<type_t Type>
auto print (const variadic_t< Type > &n, const char *op) -> void
 

Member Typedef Documentation

◆ context_t

template<typename RatExpSet >
using awali::sttc::rat::printer< RatExpSet >::context_t = context_t_of<ratexpset_t>

◆ identities_t

template<typename RatExpSet >
using awali::sttc::rat::printer< RatExpSet >::identities_t = typename ratexpset_t::identities_t

◆ inner_t

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

◆ leaf_t

template<typename RatExpSet >
using awali::sttc::rat::printer< RatExpSet >::leaf_t = typename super_type::leaf_t

◆ node_t

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

◆ ratexpset_t

template<typename RatExpSet >
using awali::sttc::rat::printer< RatExpSet >::ratexpset_t = RatExpSet

◆ super_type

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

◆ unary_t

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

◆ variadic_t

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

◆ weight_t

template<typename RatExpSet >
using awali::sttc::rat::printer< RatExpSet >::weight_t = typename context_t::weightset_t::value_t

Constructor & Destructor Documentation

◆ printer()

template<typename RatExpSet >
awali::sttc::rat::printer< RatExpSet >::printer ( const ratexpset_t rs,
std::ostream &  out,
const bool  debug = !!getenv("AWALI_PARENS") 
)

Member Function Documentation

◆ format()

template<typename RatExpSet >
auto awali::sttc::rat::printer< RatExpSet >::format ( const std::string &  format)

Set output format.

◆ operator()() [1/2]

template<typename RatExpSet >
auto awali::sttc::rat::printer< RatExpSet >::operator() ( const node_t v)

Entry point: print v.

◆ operator()() [2/2]

template<typename RatExpSet >
std::ostream& awali::sttc::rat::printer< RatExpSet >::operator() ( const std::shared_ptr< const node_t > &  v)

Entry point: print v.

◆ print() [1/2]

template<typename RatExpSet >
template<type_t Type>
auto awali::sttc::rat::printer< RatExpSet >::print ( const unary_t< Type > &  v,
const char *  op 
) -> void

◆ print() [2/2]

template<typename RatExpSet >
template<type_t Type>
auto awali::sttc::rat::printer< RatExpSet >::print ( const variadic_t< Type > &  n,
const char *  op 
) -> void

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