mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::reference_aterm_stack_element Struct Reference

#include <pbesinst_structure_graph2.h>

Public Member Functions
	reference_aterm_stack_element (const pbes_expression &b_, const pbes_expression &f_, const pbes_expression &g0_, const pbes_expression &g1_)
template<class E1 , class E2 >
	reference_aterm_stack_element (const E1 &b_, const E2 &f_, const pbes_expression &g0_, const 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 112 of file pbesinst_structure_graph2.h.

Constructor & Destructor Documentation

reference_aterm_stack_element() [1/2]

mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::reference_aterm_stack_element::reference_aterm_stack_element ( const pbes_expression &  b_, const pbes_expression &  f_, const pbes_expression &  g0_, const pbes_expression &  g1_  )

inline

Definition at line 119 of file pbesinst_structure_graph2.h.

reference_aterm_stack_element() [2/2]

template<class E1 , class E2 >

mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::reference_aterm_stack_element::reference_aterm_stack_element ( const E1 &  b_, const E2 &  f_, const pbes_expression &  g0_, const pbes_expression &  g1_  )

inline

Definition at line 129 of file pbesinst_structure_graph2.h.

Member Function Documentation

mark()

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

inline

Definition at line 141 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::reference_aterm_stack_element::b

Definition at line 114 of file pbesinst_structure_graph2.h.

f

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

Definition at line 115 of file pbesinst_structure_graph2.h.

g0

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

Definition at line 116 of file pbesinst_structure_graph2.h.

g1

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

Definition at line 117 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