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