Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
variable
¶The state formula variable.
arguments
() constname
() constvariable
()Default constructor.
variable
(const atermpp::aterm &term)Constructor.
Parameters:
variable
(const core::identifier_string &name, const data::data_expression_list &arguments)¶Constructor.
variable
(const variable&) noexcept = defaultMove semantics.
variable
(variable&&) noexcept = default