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()

bool is_conjunctive() const

void make_total(const srf_summand &true_summand, const srf_summand &false_summand)

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

std::vector<srf_summand> &summands()

const std::vector<srf_summand> &summands() const

fixpoint_symbol &symbol()

const fixpoint_symbol &symbol() const

pbes_equation to_pbes() const

propositional_variable &variable()

const propositional_variable &variable() const