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