Interface ListCounterexamplesOptions.Sort
- Enclosing class:
- ListCounterexamplesOptions
public static interface ListCounterexamplesOptions.Sort
The attribute by which returned counterexamples will be sorted. To reverse the sort order,
prefix the value with a minus sign (`-`).
-
Field Summary
-
Field Details
-
TEXT
text.- See Also:
- Constant Field Values
-
UPDATED
updated.- See Also:
- Constant Field Values
-