mcrl2::action_formulas::not_ =============================================================================== Include file: .. code-block:: c++ #include "mcrl2/modal_formula/action_formula.h .. cpp:class:: mcrl2::action_formulas::not_ The not operator for action formulas. Public member functions ------------------------------------------------------------------------------- .. cpp:function:: not_() Default constructor. .. cpp:function:: not_(const atermpp::aterm &term) Constructor. **Parameters:** * **term** A term .. cpp:function:: not_(const action_formula &operand) Constructor. .. cpp:function:: not_(const not_ &) noexcept=default Move semantics. .. cpp:function:: not_(not_ &&) noexcept=default .. cpp:function:: const action_formula& operand() const .. cpp:function:: not_& operator=(const not_ &) noexcept=default .. cpp:function:: not_& operator=(not_ &&) noexcept=default