Pretty-printer for rational expressions. More...

#include <dot.hh>

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

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

Classes
struct	visit_tuple

Public Types
using	expressionset_t = ExpSet

using	super_t = typename expressionset_t::const_visitor

using	self_t = dot_printer

using	context_t = context_t_of< expressionset_t >

using	identities_t = typename expressionset_t::identities_t

using	labelset_t = labelset_t_of< context_t >

using	label_t = label_t_of< context_t >

using	weight_t = weight_t_of< context_t >

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

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

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

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 >

Public Member Functions
	dot_printer (const expressionset_t &rs, std::ostream &out, bool physical=false)
	A printer. More...

template<typename OtherExpSet >
	dot_printer (const expressionset_t &rs, dot_printer< OtherExpSet > &other)
	Construct from another dot_printer. More...

void	format (format fmt)
	Set output format. More...

std::ostream &	operator() (const value_t &v)
	Entry point: print v as a complete Dot graph. More...

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

Private Types
using	id_t = unsigned
	A type to label the node. More...

using	tuple_t = typename super_t::tuple_t

using	names_t = std::unordered_map< const void *, id_t >
	If physical_ is enabled, register the identifiers of the nodes. More...

Private Member Functions
id_t	print_ (const value_t &v)
	Easy recursion: print an expression and return its ID. More...

id_t	print_ (const node_t &v)
	Easy recursion: print an expression and return its ID. More...

	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)

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

template<typename Node >
std::pair< id_t, bool >	name_ (const Node &n)
	The identifier for this node, and a Boolean stating whether we should traverse (again) this node. More...

void	print_ (const name_t &n)
	Print a name node. More...

template<rat::exp::type_t Type>
void	print_ (const constant_t< Type > &n, const char *op)
	Print a nullary node. More...

template<rat::exp::type_t Type>
void	print_ (const unary_t< Type > &n, const char *op)
	Print a unary node. More...

template<rat::exp::type_t Type>
void	print_ (const variadic_t< Type > &n, const char *op)
	Print a variadic node. More...

id_t	print_ (const weight_t &w)
	Print a weight. More...

void	print_ (const lweight_t &n)
	Print a left-weight. More...

void	print_ (const rweight_t &n)
	Print a right-weight. More...

void	print_ (const atom_t &n)
	Print a label. More...

Private Attributes
std::ostream &	out_
	Output stream. More...

class format	fmt_
	Output format. More...

const expressionset_t &	rs_
	The expressionset. More...

bool	physical_ = false
	Whether to display the physical DAG rather than the logical tree. More...

std::shared_ptr< names_t >	names_ = std::make_shared<names_t>()
	A shared_ptr, to support tuples. More...

std::shared_ptr< unsigned >	count_ = std::make_shared<unsigned>(0)
	The node counter, used to name the nodes. More...

id_t	last_name_
	The name of the last visited node. More...

const char *	lweight_ = nullptr
	External product. More...

const char *	rweight_ = nullptr

const char *	ldivide_ = nullptr
	Quotient. More...

const char *	add_ = nullptr
	The expression operators. More...

const char *	complement_ = nullptr

const char *	compose_ = nullptr

const char *	conjunction_ = nullptr

const char *	infiltrate_ = nullptr

const char *	mul_ = nullptr

const char *	shuffle_ = nullptr

const char *	star_ = nullptr

const char *	transposition_ = nullptr

const char *	tuple_ = nullptr
	Tuple tape separator. More...

const char *	zero_ = nullptr
	The constants. More...

const char *	one_ = nullptr

Friends
template<typename OtherExpSet >
class	dot_printer
	Make it possible to view members from dot_printer's with a different template parameter. More...

Detailed Description

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

Pretty-printer for rational expressions.

Definition at line 18 of file dot.hh.

Member Typedef Documentation

◆ constant_t

template<typename ExpSet>

template<type_t Type>

using vcsn::rat::dot_printer< ExpSet >::constant_t = typename super_t::template constant_t<Type>

Definition at line 37 of file dot.hh.

◆ context_t

template<typename ExpSet>

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

Definition at line 26 of file dot.hh.

◆ expressionset_t

template<typename ExpSet>

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

Definition at line 22 of file dot.hh.

◆ id_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::id_t = unsigned

private

A type to label the node.

Definition at line 160 of file dot.hh.

◆ identities_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::identities_t = typename expressionset_t::identities_t

Definition at line 27 of file dot.hh.

◆ label_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::label_t = label_t_of<context_t>

Definition at line 29 of file dot.hh.

◆ labelset_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::labelset_t = labelset_t_of<context_t>

Definition at line 28 of file dot.hh.

◆ names_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::names_t = std::unordered_map<const void*, id_t>

private

If physical_ is enabled, register the identifiers of the nodes.

Definition at line 398 of file dot.hh.

◆ node_t

template<typename ExpSet>

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

Actual node, without indirection.

Definition at line 33 of file dot.hh.

◆ self_t

template<typename ExpSet>

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

Definition at line 24 of file dot.hh.

◆ super_t

template<typename ExpSet>

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

Definition at line 23 of file dot.hh.

◆ tuple_t

template<typename ExpSet>

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

private

Definition at line 192 of file dot.hh.

◆ unary_t

template<typename ExpSet>

template<type_t Type>

using vcsn::rat::dot_printer< ExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 39 of file dot.hh.

◆ value_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::value_t = typename node_t::value_t

A shared_ptr to node_t.

Definition at line 35 of file dot.hh.

◆ variadic_t

template<typename ExpSet>

template<type_t Type>

using vcsn::rat::dot_printer< ExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 41 of file dot.hh.

◆ weight_t

template<typename ExpSet>

using vcsn::rat::dot_printer< ExpSet >::weight_t = weight_t_of<context_t>

Definition at line 30 of file dot.hh.

Constructor & Destructor Documentation

◆ dot_printer() [1/2]

template<typename ExpSet>

vcsn::rat::dot_printer< ExpSet >::dot_printer	(	const expressionset_t &	rs,
		std::ostream &	out,
		bool	physical = `false`
	)

inline

A printer.

Parameters

rs	the expressionset
out	the output stream
physical	whether to display the physical DAG rather than the logical tree.

Definition at line 52 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::format(), vcsn::rat::dot_printer< ExpSet >::physical_, and vcsn::rat::dot_printer< ExpSet >::rs_.

Here is the call graph for this function:

◆ dot_printer() [2/2]

template<typename ExpSet>

template<typename OtherExpSet >

vcsn::rat::dot_printer< ExpSet >::dot_printer	(	const expressionset_t &	rs,
		dot_printer< OtherExpSet > &	other
	)

inline

Construct from another dot_printer.

Used to "fork" new printers in the case of tuples, with sharing of the state.

Definition at line 66 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::count_, vcsn::rat::dot_printer< ExpSet >::format(), vcsn::rat::dot_printer< ExpSet >::names_, vcsn::rat::dot_printer< ExpSet >::out_, vcsn::rat::dot_printer< ExpSet >::physical_, and vcsn::rat::dot_printer< ExpSet >::rs_.

Here is the call graph for this function:

Member Function Documentation

◆ format()

template<typename ExpSet>

void vcsn::rat::dot_printer< ExpSet >::format ( format fmt )

inline

Set output format.

Definition at line 83 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer().

◆ me()

template<typename ExpSet>

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

inlinestatic

Name of this algorithm, for error messages.

Definition at line 44 of file dot.hh.

◆ name_()

template<typename ExpSet>

template<typename Node >

std::pair<id_t, bool> vcsn::rat::dot_printer< ExpSet >::name_ ( const Node & n )

inlineprivate

The identifier for this node, and a Boolean stating whether we should traverse (again) this node.

Definition at line 250 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::names_, and vcsn::rat::dot_printer< ExpSet >::physical_.

Referenced by vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::operator()().

◆ operator()()

template<typename ExpSet>

std::ostream& vcsn::rat::dot_printer< ExpSet >::operator() ( const value_t & v )

inline

Entry point: print v as a complete Dot graph.

Definition at line 146 of file dot.hh.

References vcsn::decendl(), vcsn::iendl(), vcsn::incendl(), vcsn::rat::dot_printer< ExpSet >::out_, and vcsn::rat::dot_printer< ExpSet >::print_().

Here is the call graph for this function:

◆ print_() [1/10]

template<typename ExpSet>

id_t vcsn::rat::dot_printer< ExpSet >::print_ ( const value_t & v )

inlineprivate

Easy recursion: print an expression and return its ID.

Definition at line 163 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::operator()(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ print_() [2/10]

template<typename ExpSet>

id_t vcsn::rat::dot_printer< ExpSet >::print_ ( const node_t & v )

inlineprivate

Easy recursion: print an expression and return its ID.

Definition at line 169 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::last_name_.

◆ print_() [3/10]

template<typename ExpSet>

void vcsn::rat::dot_printer< ExpSet >::print_ ( const name_t & n )

inlineprivate

Print a name node.

Definition at line 264 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::name< Context >::name_get(), vcsn::rat::dot_printer< ExpSet >::out_, and vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_().

Here is the call graph for this function:

◆ print_() [4/10]

template<typename ExpSet>

template<rat::exp::type_t Type>

void vcsn::rat::dot_printer< ExpSet >::print_	(	const constant_t< Type > &	n,
		const char *	op
	)

inlineprivate

Print a nullary node.

Definition at line 280 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, and vcsn::rat::dot_printer< ExpSet >::out_.

Here is the call graph for this function:

◆ print_() [5/10]

template<typename ExpSet>

template<rat::exp::type_t Type>

void vcsn::rat::dot_printer< ExpSet >::print_	(	const unary_t< Type > &	n,
		const char *	op
	)

inlineprivate

Print a unary node.

Definition at line 291 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, and vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_().

Here is the call graph for this function:

◆ print_() [6/10]

template<typename ExpSet>

template<rat::exp::type_t Type>

void vcsn::rat::dot_printer< ExpSet >::print_	(	const variadic_t< Type > &	n,
		const char *	op
	)

inlineprivate

Print a variadic node.

Definition at line 307 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_(), and vcsn::detail::transform().

Here is the call graph for this function:

◆ print_() [7/10]

template<typename ExpSet>

id_t vcsn::rat::dot_printer< ExpSet >::print_ ( const weight_t & w )

inlineprivate

Print a weight.

Definition at line 328 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::fmt_, vcsn::format::for_weights(), vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, vcsn::res, and vcsn::rat::dot_printer< ExpSet >::rs_.

Here is the call graph for this function:

◆ print_() [8/10]

template<typename ExpSet>

void vcsn::rat::dot_printer< ExpSet >::print_ ( const lweight_t & n )

inlineprivate

Print a left-weight.

Definition at line 339 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::lweight_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, and vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_().

Here is the call graph for this function:

◆ print_() [9/10]

template<typename ExpSet>

void vcsn::rat::dot_printer< ExpSet >::print_ ( const rweight_t & n )

inlineprivate

Print a right-weight.

Definition at line 356 of file dot.hh.

References vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_(), and vcsn::rat::dot_printer< ExpSet >::rweight_.

Here is the call graph for this function:

◆ print_() [10/10]

template<typename ExpSet>

void vcsn::rat::dot_printer< ExpSet >::print_ ( const atom_t & n )

inlineprivate

Print a label.

Definition at line 373 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::fmt_, vcsn::format::for_labels(), vcsn::iendl(), vcsn::rat::dot_printer< ExpSet >::last_name_, vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::name_, vcsn::rat::dot_printer< ExpSet >::out_, and vcsn::rat::dot_printer< ExpSet >::rs_.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [1/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 175 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::add_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [2/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 176 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [3/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 177 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::complement_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [4/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 178 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::compose_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [5/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 179 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::conjunction_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [6/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 180 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::infiltrate_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [7/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 181 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::ldivide_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [8/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 182 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [9/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 183 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::mul_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [10/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 184 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [11/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 185 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::one_, vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [12/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 186 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [13/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 187 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), vcsn::rat::dot_printer< ExpSet >::shuffle_, and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [14/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 188 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), vcsn::rat::dot_printer< ExpSet >::star_, and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [15/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 189 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), vcsn::rat::dot_printer< ExpSet >::transposition_, and vcsn::v.

Here is the call graph for this function:

◆ VCSN_RAT_VISIT() [16/16]

template<typename ExpSet>

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

inlineprivate

Definition at line 190 of file dot.hh.

References vcsn::rat::dot_printer< ExpSet >::print_(), vcsn::v, and vcsn::rat::dot_printer< ExpSet >::zero_.

Here is the call graph for this function:

◆ visit()

template<typename ExpSet>

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

inlineoverrideprivate

Definition at line 240 of file dot.hh.

References vcsn::v.

Friends And Related Function Documentation

◆ dot_printer

template<typename ExpSet>

template<typename OtherExpSet >

friend class dot_printer

friend

Make it possible to view members from dot_printer's with a different template parameter.

Definition at line 80 of file dot.hh.

Member Data Documentation

◆ add_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::add_ = nullptr

private

The expression operators.

Definition at line 414 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ complement_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::complement_ = nullptr

private

Definition at line 415 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ compose_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::compose_ = nullptr

private

Definition at line 416 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ conjunction_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::conjunction_ = nullptr

private

Definition at line 417 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ count_

template<typename ExpSet>

std::shared_ptr<unsigned> vcsn::rat::dot_printer< ExpSet >::count_ = std::make_shared<unsigned>(0)

private

The node counter, used to name the nodes.

A shared_ptr, to support tuples.

Definition at line 404 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer().

◆ fmt_

template<typename ExpSet>

class format vcsn::rat::dot_printer< ExpSet >::fmt_

private

Output format.

Definition at line 389 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ infiltrate_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::infiltrate_ = nullptr

private

Definition at line 418 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ last_name_

template<typename ExpSet>

id_t vcsn::rat::dot_printer< ExpSet >::last_name_

private

The name of the last visited node.

Definition at line 406 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::operator()(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ ldivide_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::ldivide_ = nullptr

private

Quotient.

Definition at line 412 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ lweight_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::lweight_ = nullptr

private

External product.

Definition at line 409 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ mul_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::mul_ = nullptr

private

Definition at line 419 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ names_

template<typename ExpSet>

std::shared_ptr<names_t> vcsn::rat::dot_printer< ExpSet >::names_ = std::make_shared<names_t>()

private

A shared_ptr, to support tuples.

Definition at line 400 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer(), and vcsn::rat::dot_printer< ExpSet >::name_().

◆ one_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::one_ = nullptr

private

Definition at line 429 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ out_

template<typename ExpSet>

std::ostream& vcsn::rat::dot_printer< ExpSet >::out_

private

Output stream.

Definition at line 387 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer(), vcsn::rat::dot_printer< ExpSet >::operator()(), vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::operator()(), vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ physical_

template<typename ExpSet>

bool vcsn::rat::dot_printer< ExpSet >::physical_ = false

private

Whether to display the physical DAG rather than the logical tree.

Definition at line 395 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer(), and vcsn::rat::dot_printer< ExpSet >::name_().

◆ rs_

template<typename ExpSet>

const expressionset_t& vcsn::rat::dot_printer< ExpSet >::rs_

private

The expressionset.

Definition at line 391 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::dot_printer(), vcsn::rat::dot_printer< ExpSet >::format(), vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::print_(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ rweight_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::rweight_ = nullptr

private

Definition at line 410 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::print_().

◆ shuffle_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::shuffle_ = nullptr

private

Definition at line 420 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ star_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::star_ = nullptr

private

Definition at line 421 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ transposition_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::transposition_ = nullptr

private

Definition at line 422 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

◆ tuple_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::tuple_ = nullptr

private

Tuple tape separator.

Definition at line 425 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::visit_tuple< typename >::operator()().

◆ zero_

template<typename ExpSet>

const char* vcsn::rat::dot_printer< ExpSet >::zero_ = nullptr

private

The constants.

Definition at line 428 of file dot.hh.

Referenced by vcsn::rat::dot_printer< ExpSet >::format(), and vcsn::rat::dot_printer< ExpSet >::VCSN_RAT_VISIT().

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

vcsn/core/rat/dot.hh

Classes

Public Types

Public Member Functions

Static Public Member Functions

Private Types

Private Member Functions

Private Attributes

Friends

Detailed Description

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

Member Typedef Documentation

◆ constant_t

◆ context_t

◆ expressionset_t

◆ id_t

◆ identities_t

◆ label_t

◆ labelset_t

◆ names_t

◆ node_t

◆ self_t

◆ super_t

◆ tuple_t

◆ unary_t

◆ value_t

◆ variadic_t

◆ weight_t

Constructor & Destructor Documentation

◆ dot_printer() [1/2]

◆ dot_printer() [2/2]

Member Function Documentation

◆ format()

◆ me()

◆ name_()

◆ operator()()

◆ print_() [1/10]

◆ print_() [2/10]

◆ print_() [3/10]

◆ print_() [4/10]

◆ print_() [5/10]

◆ print_() [6/10]

◆ print_() [7/10]

◆ print_() [8/10]

◆ print_() [9/10]

◆ print_() [10/10]

◆ 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()

Friends And Related Function Documentation

◆ dot_printer

Member Data Documentation

◆ add_

◆ complement_

◆ compose_

◆ conjunction_

◆ count_

◆ fmt_

◆ infiltrate_

◆ last_name_

◆ ldivide_

◆ lweight_

◆ mul_

◆ names_

◆ one_

◆ out_

◆ physical_

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