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