mcrl2::bes::boolean_expression =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/bes/boolean_expression.h .. cpp:class:: mcrl2::bes::boolean_expression \brief A boolean expression Public member functions ------------------------------------------------------------------------------- .. cpp:function:: boolean_expression() \brief Default constructor. .. cpp:function:: boolean_expression(boolean_expression &&) noexcept=default .. cpp:function:: boolean_expression(const atermpp::aterm &term) \brief Constructor. \param 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