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

#include <pbesinst_structure_graph2.h>

Public Member Functions
	stack_element (const reference_aterm_stack_element &s)

Public Attributes
pbes_expression	b
pbes_expression	f
pbes_expression	g0
pbes_expression	g1

Detailed Description

Definition at line 151 of file pbesinst_structure_graph2.h.

Constructor & Destructor Documentation

stack_element()

mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::stack_element ( const reference_aterm_stack_element &  s )

inline

Definition at line 158 of file pbesinst_structure_graph2.h.

Member Data Documentation

b

pbes_expression mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::b

Definition at line 153 of file pbesinst_structure_graph2.h.

f

pbes_expression mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::f

Definition at line 154 of file pbesinst_structure_graph2.h.

g0

pbes_expression mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::g0

Definition at line 155 of file pbesinst_structure_graph2.h.

g1

pbes_expression mcrl2::pbes_system::pbesinst_structure_graph_algorithm2::Rplus_traverser::stack_element::g1

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