public class CounterexampleCollection extends GenericModel
| Constructor and Description | 
|---|
| CounterexampleCollection() | 
| Modifier and Type | Method and Description | 
|---|---|
| java.util.List<Counterexample> | getCounterexamples()Gets the counterexamples. | 
| Pagination | getPagination()Gets the pagination. | 
equals, hashCode, toStringpublic java.util.List<Counterexample> getCounterexamples()
public Pagination getPagination()