mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element Struct Reference

#include <pbesinst_structure_graph2.h>

Public Member Functions
	stack_element (pbes_expression b_, pbes_expression f_, pbes_expression g0_, pbes_expression g1_)
void	mark (atermpp::term_mark_stack &todo) const

Public Attributes
atermpp::detail::reference_aterm< pbes_expression >	b
atermpp::detail::reference_aterm< pbes_expression >	f
atermpp::detail::reference_aterm< pbes_expression >	g0
atermpp::detail::reference_aterm< pbes_expression >	g1

Detailed Description

Definition at line 98 of file pbesinst_structure_graph2.h.

Constructor & Destructor Documentation

stack_element()

mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::stack_element ( pbes_expression  b_, pbes_expression  f_, pbes_expression  g0_, pbes_expression  g1_  )

inline

Definition at line 105 of file pbesinst_structure_graph2.h.

Member Function Documentation

mark()

void mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::mark ( atermpp::term_mark_stack &  todo ) const

inline

Definition at line 114 of file pbesinst_structure_graph2.h.

Member Data Documentation

b

atermpp::detail::reference_aterm<pbes_expression> mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::b

Definition at line 100 of file pbesinst_structure_graph2.h.

f

atermpp::detail::reference_aterm<pbes_expression> mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::f

Definition at line 101 of file pbesinst_structure_graph2.h.

g0

atermpp::detail::reference_aterm<pbes_expression> mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::g0

Definition at line 102 of file pbesinst_structure_graph2.h.

g1

atermpp::detail::reference_aterm<pbes_expression> mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::g1

Definition at line 103 of file pbesinst_structure_graph2.h.

---

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

• pbes/include/mcrl2/pbes/pbesinst_structure_graph2.h