#include <print.h>

Inheritance diagram for mcrl2::lps::detail::printer< Derived >:

Public Types
typedef lps::add_traverser_sort_expressions< process::detail::printer, Derived >	super

Public Types inherited from mcrl2::lps::add_traverser_sort_expressions< process::detail::printer, Derived >
typedef process::detail::printer< Derived >	super

Public Member Functions
	printer ()

bool &	print_summand_numbers ()

template<typename Container >
void	print_numbered_list (const Container &container, const std::string &separator=", ", const std::string &number_separator="", std::size_t index=0, bool print_start_separator=false, bool print_empty_container=false)

void	apply (const lps::deadlock &x)

void	apply (const lps::multi_action &x)

void	apply (const lps::deadlock_summand &x)

void	apply (const lps::stochastic_distribution &x)

void	print_distribution (const lps::action_summand &)

void	print_distribution (const lps::stochastic_action_summand &x)

template<typename ActionSummand >
void	print_action_summand (const ActionSummand &x)

void	apply (const lps::action_summand &x)

void	apply (const lps::stochastic_action_summand &x)

void	apply (const lps::process_initializer &x)

void	apply (const lps::stochastic_process_initializer &x)

template<typename LinearProcess >
void	print_linear_process (const LinearProcess &x)

void	apply (const linear_process &x)

void	apply (const stochastic_linear_process &x)

template<typename Specification >
void	print_specification (const Specification &x)

void	apply (const specification &x)

void	apply (const stochastic_specification &x)

Public Member Functions inherited from mcrl2::lps::add_traverser_sort_expressions< process::detail::printer, Derived >
void	apply (const lps::deadlock &x)

void	apply (const lps::multi_action &x)

void	apply (const lps::deadlock_summand &x)

void	apply (const lps::action_summand &x)

void	apply (const lps::process_initializer &x)

void	apply (const lps::linear_process &x)

void	apply (const lps::specification &x)

void	apply (const lps::stochastic_distribution &x)

void	apply (const lps::stochastic_action_summand &x)

void	apply (const lps::stochastic_linear_process &x)

void	apply (const lps::stochastic_specification &x)

void	apply (const lps::stochastic_process_initializer &x)

Public Attributes
bool	m_print_summand_numbers

Detailed Description

template<typename Derived>
struct mcrl2::lps::detail::printer< Derived >

Definition at line 29 of file print.h.

Member Typedef Documentation

◆ super

template<typename Derived >

typedef lps::add_traverser_sort_expressions<process::detail::printer, Derived> mcrl2::lps::detail::printer< Derived >::super

Definition at line 31 of file print.h.

Constructor & Destructor Documentation

◆ printer()

template<typename Derived >

mcrl2::lps::detail::printer< Derived >::printer ( )

inline

Definition at line 46 of file print.h.

Member Function Documentation

◆ apply() [1/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const linear_process & x )

inline

Definition at line 263 of file print.h.

◆ apply() [2/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::action_summand & x )

inline

Definition at line 170 of file print.h.

◆ apply() [3/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::deadlock & x )

inline

Definition at line 88 of file print.h.

◆ apply() [4/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::deadlock_summand & x )

inline

Definition at line 119 of file print.h.

◆ apply() [5/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::multi_action & x )

inline

Definition at line 100 of file print.h.

◆ apply() [6/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::process_initializer & x )

inline

Definition at line 180 of file print.h.

◆ apply() [7/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::stochastic_action_summand & x )

inline

Definition at line 175 of file print.h.

◆ apply() [8/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::stochastic_distribution & x )

inline

Definition at line 128 of file print.h.

◆ apply() [9/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const lps::stochastic_process_initializer & x )

inline

Definition at line 189 of file print.h.

◆ apply() [10/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const specification & x )

inline

Definition at line 287 of file print.h.

◆ apply() [11/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const stochastic_linear_process & x )

inline

Definition at line 268 of file print.h.

◆ apply() [12/12]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::apply ( const stochastic_specification & x )

inline

Definition at line 292 of file print.h.

◆ print_action_summand()

template<typename Derived >

template<typename ActionSummand >

void mcrl2::lps::detail::printer< Derived >::print_action_summand ( const ActionSummand & x )

inline

Definition at line 156 of file print.h.

◆ print_distribution() [1/2]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::print_distribution ( const lps::action_summand & )

inline

Definition at line 143 of file print.h.

◆ print_distribution() [2/2]

template<typename Derived >

void mcrl2::lps::detail::printer< Derived >::print_distribution ( const lps::stochastic_action_summand & x )

inline

Definition at line 146 of file print.h.

◆ print_linear_process()

template<typename Derived >

template<typename LinearProcess >

void mcrl2::lps::detail::printer< Derived >::print_linear_process ( const LinearProcess & x )

inline

Definition at line 206 of file print.h.

◆ print_numbered_list()

template<typename Derived >

template<typename Container >

void mcrl2::lps::detail::printer< Derived >::print_numbered_list	(	const Container &	container,
		const std::string &	separator = `", "`,
		const std::string &	number_separator = `""`,
		std::size_t	index = `0`,
		bool	print_start_separator = `false`,
		bool	print_empty_container = `false`
	)

inline

Definition at line 56 of file print.h.

◆ print_specification()

template<typename Derived >

template<typename Specification >

void mcrl2::lps::detail::printer< Derived >::print_specification ( const Specification & x )

inline

Definition at line 274 of file print.h.

◆ print_summand_numbers()

template<typename Derived >

bool & mcrl2::lps::detail::printer< Derived >::print_summand_numbers ( )

inline

Definition at line 50 of file print.h.

Member Data Documentation

◆ m_print_summand_numbers

template<typename Derived >

bool mcrl2::lps::detail::printer< Derived >::m_print_summand_numbers

Definition at line 44 of file print.h.

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

lps/include/mcrl2/lps/print.h

Public Types

Public Member Functions

Public Attributes

Detailed Description

Member Typedef Documentation

◆ super

Constructor & Destructor Documentation

◆ printer()

Member Function Documentation

◆ apply() [1/12]

◆ apply() [2/12]

◆ apply() [3/12]

◆ apply() [4/12]

◆ apply() [5/12]

◆ apply() [6/12]

◆ apply() [7/12]

◆ apply() [8/12]

◆ apply() [9/12]

◆ apply() [10/12]

◆ apply() [11/12]

◆ apply() [12/12]

◆ print_action_summand()

◆ print_distribution() [1/2]

◆ print_distribution() [2/2]

◆ print_linear_process()

◆ print_numbered_list()

◆ print_specification()

◆ print_summand_numbers()

Member Data Documentation

◆ m_print_summand_numbers