mcrl2::action_formulas::not_¶
Include file:
#include "mcrl2/modal_formula/action_formula.h
-
class
mcrl2::action_formulas::not_¶ brief The not operator for action formulas
Public member functions¶
-
not_() brief Default constructor.
-
not_(const action_formula &operand)¶ brief Constructor.
-
not_(const atermpp::aterm &term) brief Constructor. param term A term
-
not_(const not_&) noexcept = default Move semantics.
-
not_(not_&&) noexcept = default
-
const action_formula &
operand() const
