mcrl2::state_formulas::forall¶
Include file:
#include "mcrl2/modal_formula/state_formula.h
-
class
mcrl2::state_formulas::forall¶ brief The universal quantification operator for state formulas
Public member functions¶
-
const state_formula &
body() const
-
forall() brief Default constructor.
-
forall(const atermpp::aterm &term) brief Constructor. param term A term
-
forall(const data::variable_list &variables, const state_formula &body)¶ brief Constructor.
-
forall(const forall&) noexcept = default Move semantics.
-
forall(forall&&) noexcept = default
-
const data::variable_list &
variables() const
