mcrl2::state_formulas::exists¶

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::exists¶: brief The existential quantification operator for state formulas

Public member functions¶

const state_formula &body() const

exists(): brief Default constructor.

exists(const atermpp::aterm &term): brief Constructor. param term A term

exists(const data::variable_list &variables, const state_formula &body)¶: brief Constructor.

exists(const exists&) noexcept = default: Move semantics.

exists(exists&&) noexcept = default

exists &operator=(const exists&) noexcept = default

exists &operator=(exists&&) noexcept = default

const data::variable_list &variables() const