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¶