mcrl2::pbes_system::print_brief_traverser Struct Reference

Visitor for printing the root node of a PBES. More...

#include <pbes_functions.h>

Inheritance diagram for mcrl2::pbes_system::print_brief_traverser:

Public Types
using	super = pbes_expression_traverser< print_brief_traverser >
Public Types inherited from mcrl2::pbes_system::add_traverser_pbes_expressions< Traverser, Derived >
using	super = Traverser< Derived >

Public Member Functions
	print_brief_traverser ()
void	apply (const not_ &)
void	apply (const imp &)
void	apply (const forall &)
void	apply (const exists &)
void	apply (const propositional_variable_instantiation &x)
void	apply (const pbes_equation &x)
Public Member Functions inherited from mcrl2::pbes_system::add_traverser_pbes_expressions< Traverser, Derived >
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)

Public Attributes
std::string	result

Detailed Description

Visitor for printing the root node of a PBES.

Definition at line 23 of file pbes_functions.h.

Member Typedef Documentation

super

using mcrl2::pbes_system::print_brief_traverser::super = pbes_expression_traverser<print_brief_traverser>

Definition at line 25 of file pbes_functions.h.

Constructor & Destructor Documentation

print_brief_traverser()

mcrl2::pbes_system::print_brief_traverser::print_brief_traverser ( )

inline

Definition at line 32 of file pbes_functions.h.

Member Function Documentation

apply() [1/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const exists &  )

inline

Definition at line 51 of file pbes_functions.h.

apply() [2/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const forall &  )

inline

Definition at line 46 of file pbes_functions.h.

apply() [3/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const imp &  )

inline

Definition at line 41 of file pbes_functions.h.

apply() [4/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const not_ &  )

inline

Definition at line 36 of file pbes_functions.h.

apply() [5/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const pbes_equation &  x )

inline

Definition at line 61 of file pbes_functions.h.

apply() [6/6]

void mcrl2::pbes_system::print_brief_traverser::apply ( const propositional_variable_instantiation &  x )

inline

Definition at line 56 of file pbes_functions.h.

Member Data Documentation

result

std::string mcrl2::pbes_system::print_brief_traverser::result

Definition at line 30 of file pbes_functions.h.

---

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

• pbes/include/mcrl2/pbes/pbes_functions.h