mcrl2::data::variable

Include file:

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

A data variable.

Public member functions

const core::identifier_string &name() const
variable &operator=(const variable&) noexcept = default
variable &operator=(variable&&) noexcept = default
const sort_expression &sort() const
variable(const variable&) noexcept = default

Move semantics.

variable(variable&&) noexcept = default
variable()

Default constructor.

variable(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
variable(const core::identifier_string &name, const sort_expression &sort)

Constructor.

variable(const std::string &name, const sort_expression &sort)

Constructor.