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