![]() |
Awali
Another Weighted Automata library
|
#include <printer.hh>
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 |
using awali::sttc::rat::printer< RatExpSet >::context_t = context_t_of<ratexpset_t> |
using awali::sttc::rat::printer< RatExpSet >::identities_t = typename ratexpset_t::identities_t |
using awali::sttc::rat::printer< RatExpSet >::inner_t = typename super_type::inner_t |
using awali::sttc::rat::printer< RatExpSet >::leaf_t = typename super_type::leaf_t |
using awali::sttc::rat::printer< RatExpSet >::node_t = typename super_type::node_t |
using awali::sttc::rat::printer< RatExpSet >::ratexpset_t = RatExpSet |
using awali::sttc::rat::printer< RatExpSet >::super_type = typename ratexpset_t::const_visitor |
using awali::sttc::rat::printer< RatExpSet >::unary_t = typename super_type::template unary_t<Type> |
using awali::sttc::rat::printer< RatExpSet >::variadic_t = typename super_type::template variadic_t<Type> |
using awali::sttc::rat::printer< RatExpSet >::weight_t = typename context_t::weightset_t::value_t |
awali::sttc::rat::printer< RatExpSet >::printer | ( | const ratexpset_t & | rs, |
std::ostream & | out, | ||
const bool | debug = !!getenv("AWALI_PARENS") |
||
) |
auto awali::sttc::rat::printer< RatExpSet >::format | ( | const std::string & | format | ) |
Set output format.
auto awali::sttc::rat::printer< RatExpSet >::operator() | ( | const node_t & | v | ) |
Entry point: print v.
std::ostream& awali::sttc::rat::printer< RatExpSet >::operator() | ( | const std::shared_ptr< const node_t > & | v | ) |
Entry point: print v.
auto awali::sttc::rat::printer< RatExpSet >::print | ( | const unary_t< Type > & | v, |
const char * | op | ||
) | -> void |
auto awali::sttc::rat::printer< RatExpSet >::print | ( | const variadic_t< Type > & | n, |
const char * | op | ||
) | -> void |