Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
::
delay
The delay operator for state formulas.
Default constructor.
Constructor.
Parameters:
term A term
Move semantics.
operator=
mcrl2::state_formulas::and_
mcrl2::state_formulas::delay_timed