#include <fwd.hh>

Inheritance diagram for vcsn::rat::info< Context >:

Collaboration diagram for vcsn::rat::info< Context >:

Public Types
using	ratexpset_t = RatExpSet

using	node_t = typename ratexpset_t::node_t

using	super_t = typename ratexpset_t::const_visitor

using	atom_t = typename super_t::atom_t

using	complement_t = typename super_t::complement_t

using	conjunction_t = typename super_t::conjunction_t

using	ldiv_t = typename super_t::ldiv_t

using	lweight_t = typename super_t::lweight_t

using	one_t = typename super_t::one_t

using	prod_t = typename super_t::prod_t

using	rweight_t = typename super_t::rweight_t

using	shuffle_t = typename super_t::shuffle_t

using	star_t = typename super_t::star_t

using	sum_t = typename super_t::sum_t

using	transposition_t = typename super_t::transposition_t

using	zero_t = typename super_t::zero_t

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

Public Attributes
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

Private Member Functions
void	visit (const atom_t &v)

void	visit (const complement_t &v)

void	visit (const conjunction_t &v)

void	visit (const ldiv_t &v)

void	visit (const lweight_t &v)

void	visit (const one_t &v)

void	visit (const prod_t &v)

void	visit (const rweight_t &v)

void	visit (const shuffle_t &v)

void	visit (const star_t &v)

void	visit (const sum_t &v)

void	visit (const transposition_t &v)

void	visit (const zero_t &v)

Detailed Description

template<typename Context>
class vcsn::rat::info< Context >

Definition at line 20 of file fwd.hh.

Member Typedef Documentation

template<typename Context>

using vcsn::rat::info< Context >::atom_t = typename super_t:: atom_t

Definition at line 32 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::complement_t = typename super_t:: complement_t

Definition at line 33 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::conjunction_t = typename super_t:: conjunction_t

Definition at line 34 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::ldiv_t = typename super_t:: ldiv_t

Definition at line 35 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::lweight_t = typename super_t:: lweight_t

Definition at line 36 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::node_t = typename ratexpset_t::node_t

Definition at line 18 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::one_t = typename super_t:: one_t

Definition at line 37 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::prod_t = typename super_t:: prod_t

Definition at line 38 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::ratexpset_t = RatExpSet

Definition at line 17 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::rweight_t = typename super_t:: rweight_t

Definition at line 39 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::shuffle_t = typename super_t:: shuffle_t

Definition at line 40 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::star_t = typename super_t:: star_t

Definition at line 41 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::sum_t = typename super_t:: sum_t

Definition at line 42 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::super_t = typename ratexpset_t::const_visitor

Definition at line 19 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::transposition_t = typename super_t:: transposition_t

Definition at line 43 of file info.hh.

template<typename Context>

using vcsn::rat::info< Context >::zero_t = typename super_t:: zero_t

Definition at line 44 of file info.hh.

Member Function Documentation

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::operator() ( const node_t & v )

inline

For each node type, count its number of occurrences.

Definition at line 15 of file info.hxx.

References vcsn::rat::constant< Type, Context >::accept().

Here is the call graph for this function:

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const atom_t & v )

inlineprivate

Definition at line 104 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const complement_t & v )

inlineprivate

Definition at line 80 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const conjunction_t & v )

inlineprivate

Definition at line 52 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const ldiv_t & v )

inlineprivate

Definition at line 67 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const lweight_t & v )

inlineprivate

Definition at line 110 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const one_t & v )

inlineprivate

Definition at line 98 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const prod_t & v )

inlineprivate

Definition at line 45 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const rweight_t & v )

inlineprivate

Definition at line 116 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const shuffle_t & v )

inlineprivate

Definition at line 59 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const star_t & v )

inlineprivate

Definition at line 74 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const sum_t & v )

inlineprivate

Definition at line 38 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const transposition_t & v )

inlineprivate

Definition at line 86 of file info.hxx.

template<typename RatExpSet >

auto vcsn::rat::info< RatExpSet >::visit ( const zero_t & v )

inlineprivate

Definition at line 92 of file info.hxx.

Member Data Documentation

template<typename Context>

size_t vcsn::rat::info< Context >::atom = 0

Definition at line 32 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::complement = 0

Definition at line 33 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::conjunction = 0

Definition at line 34 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::ldiv = 0

Definition at line 35 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::lweight = 0

Definition at line 36 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::one = 0

Definition at line 37 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::prod = 0

Definition at line 38 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::rweight = 0

Definition at line 39 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::shuffle = 0

Definition at line 40 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::star = 0

Definition at line 41 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::sum = 0

Definition at line 42 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::transposition = 0

Definition at line 43 of file info.hh.

template<typename Context>

size_t vcsn::rat::info< Context >::zero = 0

Definition at line 44 of file info.hh.

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

vcsn/core/rat/fwd.hh
vcsn/core/rat/info.hh
vcsn/core/rat/info.hxx

Public Types

Public Member Functions

Public Attributes

Private Member Functions

Detailed Description

template<typename Context> class vcsn::rat::info< Context >

Member Typedef Documentation

Member Function Documentation

Member Data Documentation

template<typename Context>
class vcsn::rat::info< Context >