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