Represents the feedback-selection of a ModelChecking request.
Jan Müller
Indicates that redundant checks are evaluated.
Indicates that only required checks are evaluated.
Indicates that only required checks are evaluated and only the result is returned.
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.