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:

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/fwd.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/info.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/info.hxx