Include file:
#include "mcrl2/pbes/pbes_expression.h
mcrl2::pbes_system::
exists
¶The existential quantification operator for pbes expressions.
body
() constexists
()Default constructor.
exists
(const atermpp::aterm &term)Constructor.
Parameters:
term A term
exists
(const data::variable_list &variables, const pbes_expression &body)¶Constructor.
exists
(const exists&) noexcept = defaultMove semantics.
exists
(exists&&) noexcept = defaultvariables
() const