Gather information of the number of the different node types. More...

#include <fwd.hh>

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

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

Classes
struct	visit_tuple

Public Types
using	expressionset_t = ExpSet

using	super_t = typename expressionset_t::const_visitor

using	self_t = info

using	context_t = context_t_of< expressionset_t >

using	node_t = typename super_t::node_t
	Actual node, without indirection. More...

using	expression_t = typename node_t::value_t
	A shared_ptr to node_t. More...

using	tuple_t = typename super_t::tuple_t

Public Member Functions
void	operator() (const expression_t &v)
	Entry point: compute info about v. More...

void	clear ()
	Reset the visitor. More...

template<typename OtherExpSet >
info &	operator+= (const info< OtherExpSet > &other)
	Add the result from another info operator. More...

Static Public Member Functions
static constexpr const char *	me ()
	Name of this algorithm, for error messages. More...

Public Attributes
size_t	depth = 0
	Depth of the tree. More...

size_t	add = 0

size_t	atom = 0

size_t	complement = 0

size_t	compose = 0

size_t	conjunction = 0

size_t	infiltrate = 0

size_t	ldivide = 0

size_t	lweight = 0

size_t	mul = 0

size_t	name = 0

size_t	one = 0

size_t	rweight = 0

size_t	shuffle = 0

size_t	star = 0

size_t	transposition = 0

size_t	zero = 0

size_t	tuple = 0
	Number of tuple operators. More...

Private Types
template<type_t Type>
using	unary_t = rat::unary< Type, context_t >

template<type_t Type>
using	variadic_t = rat::variadic< Type, context_t >

Private Member Functions
	VCSN_RAT_VISIT (add, v)

	VCSN_RAT_VISIT (atom, v)

	VCSN_RAT_VISIT (complement, v)

	VCSN_RAT_VISIT (compose, v)

	VCSN_RAT_VISIT (conjunction, v)

	VCSN_RAT_VISIT (infiltrate, v)

	VCSN_RAT_VISIT (ldivide, v)

	VCSN_RAT_VISIT (lweight, v)

	VCSN_RAT_VISIT (mul, v)

	VCSN_RAT_VISIT (name, v)

	VCSN_RAT_VISIT (one, v)

	VCSN_RAT_VISIT (rweight, v)

	VCSN_RAT_VISIT (shuffle, v)

	VCSN_RAT_VISIT (star, v)

	VCSN_RAT_VISIT (transposition, v)

	VCSN_RAT_VISIT (zero, v)

template<rat::exp::type_t Type>
void	visit_ (const unary_t< Type > &v)
	Factor the visitation of unary nodes. More...

template<exp::type_t Type>
void	visit_ (const variadic_t< Type > &v)
	Factor the visitation of variadic nodes. More...

void	visit (const tuple_t &v, std::true_type) override

Detailed Description

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

Gather information of the number of the different node types.

Template Parameters

ExpSet the expressionset type.

Definition at line 24 of file fwd.hh.

Member Typedef Documentation

◆ context_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::context_t = context_t_of<expressionset_t>

Definition at line 26 of file info.hh.

◆ expression_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::expression_t = typename node_t::value_t

A shared_ptr to node_t.

Definition at line 31 of file info.hh.

◆ expressionset_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::expressionset_t = ExpSet

Definition at line 22 of file info.hh.

◆ node_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::node_t = typename super_t::node_t

Actual node, without indirection.

Definition at line 29 of file info.hh.

◆ self_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::self_t = info

Definition at line 24 of file info.hh.

◆ super_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 23 of file info.hh.

◆ tuple_t

template<typename ExpSet>

using vcsn::rat::info< ExpSet >::tuple_t = typename super_t::tuple_t

Definition at line 153 of file info.hh.

◆ unary_t

template<typename ExpSet>

template<type_t Type>

using vcsn::rat::info< ExpSet >::unary_t = rat::unary<Type, context_t>

private

Definition at line 120 of file info.hh.

◆ variadic_t

template<typename ExpSet>

template<type_t Type>

using vcsn::rat::info< ExpSet >::variadic_t = rat::variadic<Type, context_t>

private

Definition at line 131 of file info.hh.

Member Function Documentation

◆ clear()

template<typename ExpSet>

void vcsn::rat::info< ExpSet >::clear ( )

inline

Reset the visitor.

Definition at line 41 of file info.hh.

References vcsn::rat::info< ExpSet >::depth.

Referenced by vcsn::rat::info< ExpSet >::operator()().

◆ me()

template<typename ExpSet>

static constexpr const char* vcsn::rat::info< ExpSet >::me ( )

inlinestatic

Name of this algorithm, for error messages.

Definition at line 89 of file info.hh.

◆ operator()()

template<typename ExpSet>

void vcsn::rat::info< ExpSet >::operator() ( const expression_t & v )

inline

Entry point: compute info about v.

Definition at line 34 of file info.hh.

References vcsn::rat::info< ExpSet >::clear().

Here is the call graph for this function:

◆ operator+=()

template<typename ExpSet>

template<typename OtherExpSet >

info& vcsn::rat::info< ExpSet >::operator+= ( const info< OtherExpSet > & other )

inline

Add the result from another info operator.

Definition at line 65 of file info.hh.

References vcsn::rat::info< ExpSet >::depth.

◆ VCSN_RAT_VISIT() [1/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	add	,
		v
	)

inlineprivate

Definition at line 100 of file info.hh.

References vcsn::rat::info< ExpSet >::add, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [2/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	atom	,
		v
	)

inlineprivate

Definition at line 101 of file info.hh.

References vcsn::rat::info< ExpSet >::atom, vcsn::v, and vcsn::detail::void.

◆ VCSN_RAT_VISIT() [3/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	complement	,
		v
	)

inlineprivate

Definition at line 102 of file info.hh.

References vcsn::rat::info< ExpSet >::complement, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [4/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	compose	,
		v
	)

inlineprivate

Definition at line 103 of file info.hh.

References vcsn::rat::info< ExpSet >::compose, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [5/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	conjunction	,
		v
	)

inlineprivate

Definition at line 104 of file info.hh.

References vcsn::rat::info< ExpSet >::conjunction, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [6/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	infiltrate	,
		v
	)

inlineprivate

Definition at line 105 of file info.hh.

References vcsn::rat::info< ExpSet >::infiltrate, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [7/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	ldivide	,
		v
	)

inlineprivate

Definition at line 106 of file info.hh.

References vcsn::rat::info< ExpSet >::ldivide, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [8/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	lweight	,
		v
	)

inlineprivate

Definition at line 107 of file info.hh.

References vcsn::rat::info< ExpSet >::depth, vcsn::rat::info< ExpSet >::lweight, and vcsn::v.

◆ VCSN_RAT_VISIT() [9/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	mul	,
		v
	)

inlineprivate

Definition at line 108 of file info.hh.

References vcsn::rat::info< ExpSet >::mul, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [10/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	name	,
		v
	)

inlineprivate

Definition at line 109 of file info.hh.

References vcsn::rat::info< ExpSet >::name, and vcsn::v.

◆ VCSN_RAT_VISIT() [11/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	one	,
		v
	)

inlineprivate

Definition at line 110 of file info.hh.

References vcsn::rat::info< ExpSet >::one, vcsn::v, and vcsn::detail::void.

◆ VCSN_RAT_VISIT() [12/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	rweight	,
		v
	)

inlineprivate

Definition at line 111 of file info.hh.

References vcsn::rat::info< ExpSet >::depth, vcsn::rat::info< ExpSet >::rweight, and vcsn::v.

◆ VCSN_RAT_VISIT() [13/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	shuffle	,
		v
	)

inlineprivate

Definition at line 112 of file info.hh.

References vcsn::rat::info< ExpSet >::shuffle, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [14/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	star	,
		v
	)

inlineprivate

Definition at line 113 of file info.hh.

References vcsn::rat::info< ExpSet >::star, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [15/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	transposition	,
		v
	)

inlineprivate

Definition at line 114 of file info.hh.

References vcsn::rat::info< ExpSet >::transposition, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [16/16]

template<typename ExpSet>

vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT	(	zero	,
		v
	)

inlineprivate

Definition at line 115 of file info.hh.

◆ visit()

template<typename ExpSet>

void vcsn::rat::info< ExpSet >::visit	(	const tuple_t &	v,
		std::true_type
	)

inlineoverrideprivate

Definition at line 189 of file info.hh.

References vcsn::v.

◆ visit_() [1/2]

template<typename ExpSet>

template<rat::exp::type_t Type>

void vcsn::rat::info< ExpSet >::visit_ ( const unary_t< Type > & v )

inlineprivate

Factor the visitation of unary nodes.

Definition at line 124 of file info.hh.

References vcsn::rat::info< ExpSet >::depth, and vcsn::rat::unary< Type, Context >::sub().

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

Here is the call graph for this function:

◆ visit_() [2/2]

template<typename ExpSet>

template<exp::type_t Type>

void vcsn::rat::info< ExpSet >::visit_ ( const variadic_t< Type > & v )

inlineprivate

Factor the visitation of variadic nodes.

Definition at line 135 of file info.hh.

Member Data Documentation

◆ add

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::add = 0

Definition at line 100 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ atom

template<typename ExpSet>

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

Definition at line 101 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ complement

template<typename ExpSet>

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

Definition at line 102 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ compose

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::compose = 0

Definition at line 103 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ conjunction

template<typename ExpSet>

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

Definition at line 104 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ depth

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::depth = 0

Depth of the tree.

Definition at line 92 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::clear(), vcsn::rat::info< ExpSet >::visit_tuple< Dummy >::operator()(), vcsn::rat::info< ExpSet >::operator+=(), vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::info< ExpSet >::visit_().

◆ infiltrate

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::infiltrate = 0

Definition at line 105 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ ldivide

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::ldivide = 0

Definition at line 106 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ lweight

template<typename ExpSet>

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

Definition at line 107 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ mul

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::mul = 0

Definition at line 108 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ name

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::name = 0

Definition at line 109 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ one

template<typename ExpSet>

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

Definition at line 110 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ rweight

template<typename ExpSet>

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

Definition at line 111 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ shuffle

template<typename ExpSet>

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

Definition at line 112 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ star

template<typename ExpSet>

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

Definition at line 113 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ transposition

template<typename ExpSet>

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

Definition at line 114 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().

◆ tuple

template<typename ExpSet>

size_t vcsn::rat::info< ExpSet >::tuple = 0

Number of tuple operators.

Definition at line 152 of file info.hh.

Referenced by vcsn::rat::info< ExpSet >::visit_tuple< Dummy >::operator()().

◆ zero

template<typename ExpSet>

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

Definition at line 115 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

Classes

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Private Types

Private Member Functions

Detailed Description

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

Member Typedef Documentation

◆ context_t

◆ expression_t

◆ expressionset_t

◆ node_t

◆ self_t

◆ super_t

◆ tuple_t

◆ unary_t

◆ variadic_t

Member Function Documentation

◆ clear()

◆ me()

◆ operator()()

◆ operator+=()

◆ VCSN_RAT_VISIT() [1/16]

◆ VCSN_RAT_VISIT() [2/16]

◆ VCSN_RAT_VISIT() [3/16]

◆ VCSN_RAT_VISIT() [4/16]

◆ VCSN_RAT_VISIT() [5/16]

◆ VCSN_RAT_VISIT() [6/16]

◆ VCSN_RAT_VISIT() [7/16]

◆ VCSN_RAT_VISIT() [8/16]

◆ VCSN_RAT_VISIT() [9/16]

◆ VCSN_RAT_VISIT() [10/16]

◆ VCSN_RAT_VISIT() [11/16]

◆ VCSN_RAT_VISIT() [12/16]

◆ VCSN_RAT_VISIT() [13/16]

◆ VCSN_RAT_VISIT() [14/16]

◆ VCSN_RAT_VISIT() [15/16]

◆ VCSN_RAT_VISIT() [16/16]

◆ visit()

◆ visit_() [1/2]

◆ visit_() [2/2]

Member Data Documentation

◆ add

◆ atom

◆ complement

◆ compose

◆ conjunction

◆ depth

◆ infiltrate

◆ ldivide

◆ lweight

◆ mul

◆ name

◆ one

◆ rweight

◆ shuffle

◆ star

◆ transposition

◆ tuple

◆ zero

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