mcrl2::pbes_system::exists¶
Include file:
#include "mcrl2/pbes/pbes_expression.h
-
class
mcrl2::pbes_system::exists¶ brief The existential quantification operator for pbes expressions
Public member functions¶
-
const pbes_expression &
body() const
-
exists() brief Default constructor.
-
exists(const atermpp::aterm &term) brief Constructor. param term A term
-
exists(const data::variable_list &variables, const pbes_expression &body)¶ brief Constructor.
-
exists(const exists&) noexcept = default Move semantics.
-
exists(exists&&) noexcept = default
-
const data::variable_list &
variables() const
