mcrl2::pbes_system::exists¶
Include file:
#include "mcrl2/pbes/pbes_expression.h
-
class
mcrl2::pbes_system::exists¶ The existential quantification operator for pbes expressions.
Public member functions¶
-
const pbes_expression &
body() const
-
exists() 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 = default Move semantics.
-
exists(exists&&) noexcept = default
-
const data::variable_list &
variables() const
