WarmUpOrdering

Which runs first when a decision epoch coincides with the element's warm-up (§4.6.4).

It exists because the ordering is a consequence of two settable priorities rather than a property of the design, so the intent has to be declarable in order to be checkable.

Entries

Link copied to clipboard
Link copied to clipboard

Properties

Link copied to clipboard

Returns a representation of an immutable list of all enum entries, in the order they're declared.

Functions

Link copied to clipboard

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.)

Link copied to clipboard

Returns an array containing the constants of this enum type, in the order they're declared.