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)
const data::data_expression &condition() const
data::data_expression &condition()
const data::variable_list &parameters() const
data::variable_list &parameters()
srf_summand(data::variable_list parameters, const pbes_expression &condition, propositional_variable_instantiation X)
pbes_expression to_pbes(bool conjunctive) const
const propositional_variable_instantiation &variable() const
propositional_variable_instantiation &variable()