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