mcrl2::state_formulas::variable

Include file:

#include "mcrl2/modal_formula/state_formula.h

class mcrl2::state_formulas::variable

brief The state formula variable

Public member functions

const data::data_expression_list &arguments() const

const core::identifier_string &name() const

variable &operator=(const variable&) noexcept = default

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

variable()

brief Default constructor.

variable(const atermpp::aterm &term)

brief Constructor. param term A term

variable(const core::identifier_string &name, const data::data_expression_list &arguments)

brief Constructor.

variable(const std::string &name, const data::data_expression_list &arguments)

brief Constructor.

variable(const variable&) noexcept = default

Move semantics.

variable(variable&&) noexcept = default