mcrl2::pbes_system::untyped_pbes Struct Reference

#include <untyped_pbes.h>

Public Member Functions
pbes	construct_pbes () const

Public Attributes
data::untyped_data_specification	dataspec
data::variable_list	global_variables
std::vector< pbes_equation >	equations
propositional_variable_instantiation	initial_state

Detailed Description

Definition at line 20 of file untyped_pbes.h.

Member Function Documentation

construct_pbes()

pbes mcrl2::pbes_system::untyped_pbes::construct_pbes ( ) const

inline

Definition at line 27 of file untyped_pbes.h.

Member Data Documentation

dataspec

data::untyped_data_specification mcrl2::pbes_system::untyped_pbes::dataspec

Definition at line 22 of file untyped_pbes.h.

equations

std::vector<pbes_equation> mcrl2::pbes_system::untyped_pbes::equations

Definition at line 24 of file untyped_pbes.h.

global_variables

data::variable_list mcrl2::pbes_system::untyped_pbes::global_variables

Definition at line 23 of file untyped_pbes.h.

initial_state

propositional_variable_instantiation mcrl2::pbes_system::untyped_pbes::initial_state

Definition at line 25 of file untyped_pbes.h.

---

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

• pbes/include/mcrl2/pbes/untyped_pbes.h