Results to use for an LTL proposition that has been evaluated for a finite segment of observations.
Essentially a ternary logic with indeterminate truth value for propositions that require more evaluations in order to verify.
Returns a representation of an immutable list of all enum entries, in the order they're declared.
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
Returns an array containing the constants of this enum type, in the order they're declared.