mcrl2::pbes_system::detail::quantifier¶

Include file:

#include "mcrl2/pbes/quantifier_propagate.h

class mcrl2::pbes_system::detail::quantifier¶

Protected attributes¶

bool mcrl2::pbes_system::detail::quantifier::m_is_forall¶

std::set<data::variable> mcrl2::pbes_system::detail::quantifier::m_vars¶

Protected member functions¶

pbes_expression make_expr(const std::set<data::variable> &vars, const pbes_expression &expr) const¶

Public member functions¶

void add_variables(const data::variable_list &vars)¶

bool is_forall() const

pbes_expression make_expr_exclude(const std::set<data::variable> &exclude, const pbes_expression &expr) const¶

pbes_expression make_expr_include_only(const std::set<data::variable> &include, const pbes_expression &expr) const¶

bool operator<(const quantifier &other) const¶

bool operator==(const quantifier &other) const¶

quantifier(bool is_forall, const data::variable_list &vars)¶

std::string to_string() const

const std::set<data::variable> &variables() const