mcrl2::bes::boolean_variable

Include file:

#include "mcrl2/bes/boolean_expression.h
class mcrl2::bes::boolean_variable

A boolean variable.

Public member functions

boolean_variable(const boolean_variable&) noexcept = default

Move semantics.

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

Default constructor.

boolean_variable(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
boolean_variable(const core::identifier_string &name)

Constructor.

boolean_variable(const std::string &name)

Constructor.

const core::identifier_string &name() const
boolean_variable &operator=(const boolean_variable&) noexcept = default
boolean_variable &operator=(boolean_variable&&) noexcept = default