Include file:
#include "mcrl2/modal_formula/state_formula.h
mcrl2::state_formulas::
state_formula
¶brief 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
()¶brief Default constructor.
state_formula
(const state_formula&) noexcept = default¶Move semantics.
state_formula
(state_formula&&) noexcept = default¶