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