mcrl2::bes::boolean_expression

Include file:

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

A boolean expression.

Public member functions

boolean_expression()

Default constructor.

boolean_expression(const atermpp::aterm &term)

Constructor.

Parameters:

  • term A term
boolean_expression(const boolean_expression&) noexcept = default

Move semantics.

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