mcrl2::action_formulas::imp¶
Include file:
#include "mcrl2/modal_formula/action_formula.h
-
class
mcrl2::action_formulas::imp¶ The implication operator for action formulas.
Public member functions¶
-
imp() Default constructor.
-
imp(const atermpp::aterm &term) Constructor.
Parameters:
term A term
-
imp(const action_formula &left, const action_formula &right)¶ Constructor.
-
imp(const imp&) noexcept = default Move semantics.
-
imp(imp&&) noexcept = default
-
const action_formula &
left() const
-
const action_formula &
right() const
