mcrl2::pbes_system::srf_equation

Include file:

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

Protected attributes

bool mcrl2::pbes_system::srf_equation::m_conjunctive
fixpoint_symbol mcrl2::pbes_system::srf_equation::m_sigma
std::vector<srf_summand> mcrl2::pbes_system::srf_equation::m_summands
propositional_variable mcrl2::pbes_system::srf_equation::m_variable

Public member functions

bool is_conjunctive() const
srf_equation(const fixpoint_symbol &sigma, const propositional_variable &variable, std::vector<srf_summand> summands, bool conjunctive)
const std::vector<srf_summand> &summands() const
std::vector<srf_summand> &summands()
const fixpoint_symbol &symbol() const
fixpoint_symbol &symbol()
pbes_equation to_pbes() const
const propositional_variable &variable() const
propositional_variable &variable()