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

#include <info.hh>

Inheritance diagram for awali::sttc::rat::info< 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 ldiv_t = typename super_type::ldiv_t
 
using lweight_t = typename super_type::lweight_t
 
using node_t = typename ratexpset_t::node_t
 
using one_t = typename super_type::one_t
 
using prod_t = typename super_type::prod_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
 
using zero_t = typename super_type::zero_t
 

Public Member Functions

void operator() (const node_t &v)
 For each node type, count its number of occurrences. More...
 

Data Fields

size_t atom = 0
 
size_t complement = 0
 
size_t conjunction = 0
 
size_t ldiv = 0
 
size_t lweight = 0
 
size_t one = 0
 
size_t prod = 0
 
size_t rweight = 0
 
size_t shuffle = 0
 
size_t star = 0
 
size_t sum = 0
 
size_t transposition = 0
 
size_t zero = 0
 

Member Typedef Documentation

◆ atom_t

template<typename RatExpSet >
using awali::sttc::rat::info< RatExpSet >::atom_t = typename super_type:: atom_t

◆ complement_t

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

◆ conjunction_t

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

◆ ldiv_t

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

◆ lweight_t

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

◆ node_t

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

◆ one_t

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

◆ prod_t

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

◆ ratexpset_t

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

◆ rweight_t

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

◆ shuffle_t

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

◆ star_t

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

◆ sum_t

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

◆ super_type

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

◆ transposition_t

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

◆ zero_t

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

Member Function Documentation

◆ operator()()

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

For each node type, count its number of occurrences.

Field Documentation

◆ atom

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::atom = 0

◆ complement

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::complement = 0

◆ conjunction

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::conjunction = 0

◆ ldiv

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::ldiv = 0

◆ lweight

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::lweight = 0

◆ one

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::one = 0

◆ prod

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::prod = 0

◆ rweight

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::rweight = 0

◆ shuffle

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::shuffle = 0

◆ star

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::star = 0

◆ sum

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::sum = 0

◆ transposition

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::transposition = 0

◆ zero

template<typename RatExpSet >
size_t awali::sttc::rat::info< RatExpSet >::zero = 0

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