mcrl2::pbes_system::detail::printer< Derived > Struct Template Reference

#include <print.h>

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

Public Types
using	super = pbes_system::add_traverser_sort_expressions< data::detail::printer, Derived >
Public Types inherited from mcrl2::pbes_system::add_traverser_sort_expressions< data::detail::printer, Derived >
using	super = data::detail::printer< Derived >

Public Member Functions
template<typename T >
void	print_pbes_expression (const T &x, bool needs_parentheses=false)
void	print_pbes_unary_operand (const pbes_expression &x, const pbes_expression &operand)
template<typename T >
void	print_pbes_unary_left_operation (const T &x, const std::string &op)
template<typename T >
void	print_pbes_binary_operation (const T &x, const std::string &op)
template<typename Abstraction >
void	print_pbes_abstraction (const Abstraction &x, const std::string &op)
void	apply (const pbes_system::propositional_variable &x)
void	apply (const pbes_system::fixpoint_symbol &x)
void	apply (const pbes_system::pbes_equation &x)
void	apply (const pbes_system::pbes &x)
void	apply (const pbes_system::propositional_variable_instantiation &x)
void	apply (const pbes_system::not_ &x)
void	apply (const pbes_system::and_ &x)
void	apply (const pbes_system::or_ &x)
void	apply (const pbes_system::imp &x)
void	apply (const pbes_system::forall &x)
void	apply (const pbes_system::exists &x)
Public Member Functions inherited from mcrl2::pbes_system::add_traverser_sort_expressions< data::detail::printer, Derived >
void	apply (const pbes_system::propositional_variable &x)
void	apply (const pbes_system::pbes_equation &x)
void	apply (const pbes_system::pbes &x)
void	apply (const pbes_system::propositional_variable_instantiation &x)
void	apply (const pbes_system::not_ &x)
void	apply (const pbes_system::and_ &x)
void	apply (const pbes_system::or_ &x)
void	apply (const pbes_system::imp &x)
void	apply (const pbes_system::forall &x)
void	apply (const pbes_system::exists &x)
void	apply (const pbes_system::pbes_expression &x)

Detailed Description

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

Definition at line 63 of file print.h.

Member Typedef Documentation

super

template<typename Derived >

using mcrl2::pbes_system::detail::printer< Derived >::super = pbes_system::add_traverser_sort_expressions<data::detail::printer, Derived>

Definition at line 65 of file print.h.

Member Function Documentation

apply() [1/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::and_ &  x )

inline

Definition at line 202 of file print.h.

apply() [2/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::exists &  x )

inline

Definition at line 230 of file print.h.

apply() [3/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::fixpoint_symbol &  x )

inline

Definition at line 146 of file print.h.

apply() [4/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::forall &  x )

inline

Definition at line 223 of file print.h.

apply() [5/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::imp &  x )

inline

Definition at line 216 of file print.h.

apply() [6/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::not_ &  x )

inline

Definition at line 195 of file print.h.

apply() [7/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::or_ &  x )

inline

Definition at line 209 of file print.h.

apply() [8/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::pbes &  x )

inline

Definition at line 175 of file print.h.

apply() [9/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::pbes_equation &  x )

inline

Definition at line 153 of file print.h.

apply() [10/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::propositional_variable &  x )

inline

Definition at line 138 of file print.h.

apply() [11/11]

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::apply ( const pbes_system::propositional_variable_instantiation &  x )

inline

Definition at line 187 of file print.h.

print_pbes_abstraction()

template<typename Derived >

template<typename Abstraction >

void mcrl2::pbes_system::detail::printer< Derived >::print_pbes_abstraction ( const Abstraction &  x, const std::string &  op  )

inline

Definition at line 128 of file print.h.

print_pbes_binary_operation()

template<typename Derived >

template<typename T >

void mcrl2::pbes_system::detail::printer< Derived >::print_pbes_binary_operation ( const T &  x, const std::string &  op  )

inline

Definition at line 113 of file print.h.

print_pbes_expression()

template<typename Derived >

template<typename T >

void mcrl2::pbes_system::detail::printer< Derived >::print_pbes_expression ( const T &  x, bool  needs_parentheses = false  )

inline

Definition at line 78 of file print.h.

print_pbes_unary_left_operation()

template<typename Derived >

template<typename T >

void mcrl2::pbes_system::detail::printer< Derived >::print_pbes_unary_left_operation ( const T &  x, const std::string &  op  )

inline

Definition at line 104 of file print.h.

print_pbes_unary_operand()

template<typename Derived >

void mcrl2::pbes_system::detail::printer< Derived >::print_pbes_unary_operand ( const pbes_expression &  x, const pbes_expression &  operand  )

inline

Definition at line 96 of file print.h.

---

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

• pbes/include/mcrl2/pbes/print.h