mcrl2::pbes_system::propositional_variable_instantiation

Include file:

#include "mcrl2/pbes/pbes_expression.h
class mcrl2::pbes_system::propositional_variable_instantiation

A propositional variable instantiation.

Public member functions

const core::identifier_string &name() const
propositional_variable_instantiation &operator=(const propositional_variable_instantiation&) noexcept = default
propositional_variable_instantiation &operator=(propositional_variable_instantiation&&) noexcept = default
const data::data_expression_list &parameters() const
propositional_variable_instantiation(const propositional_variable_instantiation&) noexcept = default

Move semantics.

propositional_variable_instantiation(propositional_variable_instantiation&&) noexcept = default
propositional_variable_instantiation()

Default constructor.

propositional_variable_instantiation(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
propositional_variable_instantiation(const core::identifier_string &name, const data::data_expression_list &parameters)

Constructor.

propositional_variable_instantiation(const std::string &name, const data::data_expression_list &parameters)

Constructor.