Include file:
#include "mcrl2/modal_formula/action_formula.h
mcrl2::action_formulas::
imp
¶brief The implication operator for action formulas
imp
()brief Default constructor.
imp
(const action_formula &left, const action_formula &right)¶brief Constructor.
imp
(const atermpp::aterm &term)brief Constructor. param term A term
imp
(const imp&) noexcept = defaultMove semantics.
imp
(imp&&) noexcept = defaultleft
() constright
() const