mcrl2::data::where_clause

Include file:

#include "mcrl2/data/where_clause.h
class mcrl2::data::where_clause

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()

Default constructor.

where_clause(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
where_clause(const data_expression &body, const assignment_expression_list &declarations)

Constructor.

where_clause(const data_expression &body, const Container &declarations, typename atermpp::enable_if_container<Container, assignment_expression>::type * = nullptr)

Constructor.

where_clause(const where_clause&) noexcept = default

Move semantics.

where_clause(where_clause&&) noexcept = default