Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
state_formula
¶A state formula.
has_time
() constReturns true if the formula is timed.
Returns: True if the formula is timed.
operator=
(const state_formula&) noexcept = default¶operator=
(state_formula&&) noexcept = default¶state_formula
()¶Default constructor.
state_formula
(const state_formula&) noexcept = default¶Move semantics.
state_formula
(state_formula&&) noexcept = default¶