Functor to copy/convert a rational expression. More...

#include <copy.hh>

Inheritance diagram for vcsn::rat::copier< InExpSet, OutExpSet >:

Collaboration diagram for vcsn::rat::copier< InExpSet, OutExpSet >:

Classes
struct	visit_tuple

struct	visit_tuple< false, Dummy >

Public Types
using	in_expressionset_t = InExpSet

using	out_expressionset_t = OutExpSet

using	super_t = typename in_expressionset_t::const_visitor

using	self_t = copier

using	in_context_t = context_t_of< in_expressionset_t >

using	in_value_t = typename in_expressionset_t::value_t

using	out_value_t = typename out_expressionset_t::value_t

using	node_t = typename super_t::node_t

using	inner_t = typename super_t::inner_t

template<type_t Type>
using	unary_t = typename super_t::template unary_t< Type >

template<type_t Type>
using	variadic_t = typename super_t::template variadic_t< Type >

using	leaf_t = typename super_t::leaf_t

Public Member Functions
	copier (const in_expressionset_t &in_rs, const out_expressionset_t &out_rs)

out_value_t	operator() (const in_value_t &v)
	Entry point: print v. More...

Private Types
using	tuple_t = typename super_t::tuple_t

Private Member Functions
out_value_t	copy (const in_value_t &v)
	Easy recursion. More...

template<exp::type_t Type>
void	copy_ (const unary_t< Type > &v)
	Factor the copy of n-ary operations. More...

template<exp::type_t Type>
void	copy_ (const variadic_t< Type > &v)
	Factor the copy of n-ary operations. More...

	VCSN_RAT_VISIT (complement, v)

	VCSN_RAT_VISIT (conjunction, v)

	VCSN_RAT_VISIT (infiltration, v)

	VCSN_RAT_VISIT (ldiv, v)

	VCSN_RAT_VISIT (one,)

	VCSN_RAT_VISIT (prod, v)

	VCSN_RAT_VISIT (shuffle, v)

	VCSN_RAT_VISIT (star, v)

	VCSN_RAT_VISIT (sum, v)

	VCSN_RAT_VISIT (transposition, v)

	VCSN_RAT_VISIT (zero,)

	VCSN_RAT_VISIT (atom, v)

	VCSN_RAT_VISIT (lweight, v)

	VCSN_RAT_VISIT (rweight, v)

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

Private Attributes
const in_expressionset_t &	in_rs_
	expressionset to decode the input value. More...

const out_expressionset_t &	out_rs_
	expressionset to build the output value. More...

out_value_t	res_
	Output value, under construction. More...

Detailed Description

template<typename InExpSet, typename OutExpSet = InExpSet>
class vcsn::rat::copier< InExpSet, OutExpSet >

Functor to copy/convert a rational expression.

Template Parameters

InExpSet	the input expressionset type.
OutExpSet	the output expressionset type.

Definition at line 29 of file copy.hh.

Member Typedef Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::in_context_t = context_t_of<in_expressionset_t>

Definition at line 38 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::in_expressionset_t = InExpSet

Definition at line 33 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::in_value_t = typename in_expressionset_t::value_t

Definition at line 39 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::inner_t = typename super_t::inner_t

Definition at line 42 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::leaf_t = typename super_t::leaf_t

Definition at line 47 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::node_t = typename super_t::node_t

Definition at line 41 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::out_expressionset_t = OutExpSet

Definition at line 34 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::out_value_t = typename out_expressionset_t::value_t

Definition at line 40 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::self_t = copier

Definition at line 36 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::super_t = typename in_expressionset_t::const_visitor

Definition at line 35 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

using vcsn::rat::copier< InExpSet, OutExpSet >::tuple_t = typename super_t::tuple_t

private

Definition at line 128 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

template<type_t Type>

using vcsn::rat::copier< InExpSet, OutExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 44 of file copy.hh.

template<typename InExpSet , typename OutExpSet = InExpSet>

template<type_t Type>

using vcsn::rat::copier< InExpSet, OutExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 46 of file copy.hh.

Constructor & Destructor Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::copier	(	const in_expressionset_t &	in_rs,
		const out_expressionset_t &	out_rs
	)

inline

Definition at line 49 of file copy.hh.

Member Function Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>

out_value_t vcsn::rat::copier< InExpSet, OutExpSet >::copy ( const in_value_t & v )

inlineprivate

Easy recursion.

Definition at line 63 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::res_.

Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), vcsn::rat::copier< InExpSet, OutExpSet >::operator()(), and vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT().

template<typename InExpSet , typename OutExpSet = InExpSet>

template<exp::type_t Type>

void vcsn::rat::copier< InExpSet, OutExpSet >::copy_ ( const unary_t< Type > & v )

inlineprivate

Factor the copy of n-ary operations.

Definition at line 72 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), and vcsn::rat::copier< InExpSet, OutExpSet >::res_.

Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT().

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

template<exp::type_t Type>

void vcsn::rat::copier< InExpSet, OutExpSet >::copy_ ( const variadic_t< Type > & v )

inlineprivate

Factor the copy of n-ary operations.

Definition at line 82 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), and vcsn::rat::copier< InExpSet, OutExpSet >::res_.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

out_value_t vcsn::rat::copier< InExpSet, OutExpSet >::operator() ( const in_value_t & v )

inline

Entry point: print v.

Definition at line 56 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy().

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	complement	,
		v
	)

inlineprivate

Definition at line 92 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	conjunction	,
		v
	)

inlineprivate

Definition at line 93 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	infiltration	,
		v
	)

inlineprivate

Definition at line 94 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	ldiv	,
		v
	)

inlineprivate

Definition at line 95 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( one )

inlineprivate

Definition at line 96 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, and vcsn::rat::copier< InExpSet, OutExpSet >::res_.

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	prod	,
		v
	)

inlineprivate

Definition at line 97 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	shuffle	,
		v
	)

inlineprivate

Definition at line 98 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	star	,
		v
	)

inlineprivate

Definition at line 99 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	sum	,
		v
	)

inlineprivate

Definition at line 100 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	transposition	,
		v
	)

inlineprivate

Definition at line 101 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT ( zero )

inlineprivate

Definition at line 102 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, and vcsn::rat::copier< InExpSet, OutExpSet >::res_.

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	atom	,
		v
	)

inlineprivate

Definition at line 104 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::detail::v.

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	lweight	,
		v
	)

inlineprivate

Definition at line 110 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT	(	rweight	,
		v
	)

inlineprivate

Definition at line 117 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_, vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::detail::v.

Here is the call graph for this function:

template<typename InExpSet , typename OutExpSet = InExpSet>

void vcsn::rat::copier< InExpSet, OutExpSet >::visit	(	const tuple_t &	v,
		std::true_type
	)

inlineoverrideprivate

Definition at line 168 of file copy.hh.

References vcsn::rat::copier< InExpSet, OutExpSet >::res_, and vcsn::detail::v.

Member Data Documentation

template<typename InExpSet , typename OutExpSet = InExpSet>

const in_expressionset_t& vcsn::rat::copier< InExpSet, OutExpSet >::in_rs_

private

expressionset to decode the input value.

Definition at line 174 of file copy.hh.

Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< bool, Dummy >::work_().

template<typename InExpSet , typename OutExpSet = InExpSet>

const out_expressionset_t& vcsn::rat::copier< InExpSet, OutExpSet >::out_rs_

private

expressionset to build the output value.

Definition at line 176 of file copy.hh.

Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit_tuple< bool, Dummy >::work_().

template<typename InExpSet , typename OutExpSet = InExpSet>

out_value_t vcsn::rat::copier< InExpSet, OutExpSet >::res_

private

Output value, under construction.

Definition at line 178 of file copy.hh.

Referenced by vcsn::rat::copier< InExpSet, OutExpSet >::copy(), vcsn::rat::copier< InExpSet, OutExpSet >::copy_(), vcsn::rat::copier< InExpSet, OutExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::copier< InExpSet, OutExpSet >::visit().

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

vcsn/core/rat/copy.hh

Classes

Public Types

Public Member Functions

Private Types

Private Member Functions

Private Attributes

Detailed Description

template<typename InExpSet, typename OutExpSet = InExpSet> class vcsn::rat::copier< InExpSet, OutExpSet >

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

template<typename InExpSet, typename OutExpSet = InExpSet>
class vcsn::rat::copier< InExpSet, OutExpSet >