mcrl2::pbes_system::srf_pbes

Include file:

#include "mcrl2/pbes/srf_pbes.h
class mcrl2::pbes_system::srf_pbes

Protected attributes

data::data_specification mcrl2::pbes_system::srf_pbes::m_dataspec
std::vector<srf_equation> mcrl2::pbes_system::srf_pbes::m_equations
propositional_variable_instantiation mcrl2::pbes_system::srf_pbes::m_initial_state

Public member functions

const data::data_specification &data() const
const std::vector<srf_equation> &equations() const
std::vector<srf_equation> &equations()
const propositional_variable_instantiation &initial_state() const
propositional_variable_instantiation &initial_state()
srf_pbes(const data::data_specification &dataspec, std::vector<srf_equation> equations, propositional_variable_instantiation initial_state)
pbes to_pbes() const