Include file:
#include "mcrl2/bes/boolean_expression.h
mcrl2::bes::
boolean_expression
¶A boolean expression.
boolean_expression
()¶Default constructor.
boolean_expression
(const boolean_expression&) noexcept = default¶Move semantics.
boolean_expression
(boolean_expression&&) noexcept = default¶operator=
(const boolean_expression&) noexcept = default¶operator=
(boolean_expression&&) noexcept = default¶