mcrl2::pbes_system::detail::quantified_variable

Include file:

#include "mcrl2/pbes/constelm.h

class mcrl2::pbes_system::detail::quantified_variable

Protected attributes

bool mcrl2::pbes_system::detail::quantified_variable::m_is_forall

data::variable mcrl2::pbes_system::detail::quantified_variable::m_var

Public member functions

bool is_forall() const

pbes_expression make_expr(const pbes_expression &expr) const

bool operator!=(const quantified_variable &other) const

bool operator<(const quantified_variable &other) const

bool operator==(const quantified_variable &other) const

quantified_variable(bool is_forall, const data::variable &var)

std::string to_string() const

const data::variable &variable() const