public class CounterexampleCollectionResponse extends GenericModel
| Constructor and Description |
|---|
CounterexampleCollectionResponse() |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<ExampleResponse> |
getCounterexamples()
Gets the counterexamples.
|
PaginationResponse |
getPagination()
Gets the pagination.
|
void |
setCounterexamples(java.util.List<ExampleResponse> counterexamples)
Sets the counterexamples.
|
void |
setPagination(PaginationResponse pagination)
Sets the pagination.
|
equals, hashCode, toStringpublic java.util.List<ExampleResponse> getCounterexamples()
public PaginationResponse getPagination()
public void setCounterexamples(java.util.List<ExampleResponse> counterexamples)
counterexamples - the new counterexamplespublic void setPagination(PaginationResponse pagination)
pagination - the new pagination