mcrl2::pbes_system::srf_summand¶

Include file:

#include "mcrl2/pbes/srf_pbes.h

class mcrl2::pbes_system::srf_summand¶

Protected attributes¶

data::data_expression mcrl2::pbes_system::srf_summand::m_condition¶

data::variable_list mcrl2::pbes_system::srf_summand::m_parameters¶

propositional_variable_instantiation mcrl2::pbes_system::srf_summand::m_X¶

Public member functions¶

void add_condition(const pbes_expression &f)¶

void add_variables(const data::variable_list &variables)

data::data_expression &condition()

const data::data_expression &condition() const

data::variable_list &parameters()¶

const data::variable_list &parameters() const

srf_summand(data::variable_list parameters, const pbes_expression &condition, propositional_variable_instantiation X)¶

pbes_expression to_pbes(bool conjunctive) const¶

propositional_variable_instantiation &variable()

const propositional_variable_instantiation &variable() const