mcrl2::data::where_clause¶
Include file:
#include "mcrl2/data/where_clause.h
-
class
mcrl2::data::where_clause¶ brief A where expression
Public member functions¶
-
const assignment_list &
assignments() const¶
-
const data_expression &
body() const
-
const assignment_expression_list &
declarations() const¶
-
where_clause &
operator=(const where_clause&) noexcept = default¶
-
where_clause &
operator=(where_clause&&) noexcept = default¶
-
where_clause()¶ brief Default constructor.
-
where_clause(const data_expression &body, const assignment_expression_list &declarations)¶ brief Constructor.
-
where_clause(const data_expression &body, const Container &declarations, typename atermpp::enable_if_container<Container, assignment_expression>::type * = nullptr)¶ brief Constructor.
-
where_clause(const where_clause&) noexcept = default¶ Move semantics.
-
where_clause(where_clause&&) noexcept = default¶
