mcrl2::bes::boolean_expression =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/bes/boolean_expression.h .. cpp:class:: mcrl2::bes::boolean_expression A boolean expression. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: boolean_expression() Default constructor. .. cpp:function:: boolean_expression(boolean_expression &&) noexcept=default .. cpp:function:: boolean_expression(const atermpp::aterm &term) Constructor. **Parameters:** * **term** A term .. cpp:function:: boolean_expression(const boolean_expression &) noexcept=default Move semantics. .. cpp:function:: boolean_expression& operator=(boolean_expression &&) noexcept=default .. cpp:function:: boolean_expression& operator=(const boolean_expression &) noexcept=default