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