mcrl2::bes::boolean_variable

Include file:

#include "mcrl2/bes/boolean_expression.h

class mcrl2::bes::boolean_variable

brief A boolean variable

Public member functions

boolean_variable()

Default constructor.

boolean_variable(boolean_variable&&) noexcept = default

boolean_variable(const atermpp::aterm &term)

Constructor.

Parameters:

• term A term

boolean_variable(const boolean_variable&) noexcept = default

Move semantics.

boolean_variable(const core::identifier_string &name)

Constructor.

boolean_variable(const std::string &name)

Constructor.

const core::identifier_string &name() const

boolean_variable &operator=(boolean_variable&&) noexcept = default

boolean_variable &operator=(const boolean_variable&) noexcept = default