mcrl2::pbes_system::propositional_variable

Include file:

#include "mcrl2/pbes/propositional_variable.h

class mcrl2::pbes_system::propositional_variable

A propositional variable declaration.

Public member functions

const core::identifier_string &name() const

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

propositional_variable &operator=(propositional_variable&&) noexcept = default

const data::variable_list &parameters() const

propositional_variable()

Default constructor.

propositional_variable(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

propositional_variable(const core::identifier_string &name, const data::variable_list &parameters)

Constructor.

propositional_variable(const std::string &name, const data::variable_list &parameters)

Constructor.

propositional_variable(const propositional_variable&) noexcept = default

Move semantics.

propositional_variable(propositional_variable&&) noexcept = default