Include file:
#include "mcrl2/pbes/propositional_variable.h
mcrl2::pbes_system::
propositional_variable
¶brief A propositional variable declaration
name
() constoperator=
(const propositional_variable&) noexcept = default¶operator=
(propositional_variable&&) noexcept = default¶parameters
() constpropositional_variable
()¶brief Default constructor.
propositional_variable
(const core::identifier_string &name, const data::variable_list ¶meters)¶brief Constructor.
propositional_variable
(const propositional_variable&) noexcept = default¶Move semantics.
propositional_variable
(const std::string &name, const data::variable_list ¶meters)¶brief Constructor.
propositional_variable
(propositional_variable&&) noexcept = default¶