Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
may
¶The may operator for state formulas.
formula
() constmay
()¶Default constructor.
may
(const regular_formulas::regular_formula &formula, const state_formula &operand)¶Constructor.
operand
() const