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