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