mcrl2::pbes_system::propositional_variable_instantiation¶
Include file:
#include "mcrl2/pbes/pbes_expression.h
-
class
mcrl2::pbes_system::propositional_variable_instantiation¶ brief 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
