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

data::data_specification &data()

const data::data_specification &data() const

std::vector<srf_equation> &equations()

const std::vector<srf_equation> &equations() const

propositional_variable_instantiation &initial_state()

const propositional_variable_instantiation &initial_state() const

void make_total()

srf_pbes() = default

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

pbes to_pbes() const