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.
|
void |
setCounterexamples(java.util.List<Counterexample> counterexamples)
Sets the counterexamples.
|
void |
setPagination(Pagination pagination)
Sets the pagination.
|
equals, hashCode, toString
public java.util.List<Counterexample> getCounterexamples()
public Pagination getPagination()
public void setCounterexamples(java.util.List<Counterexample> counterexamples)
counterexamples
- the new counterexamplespublic void setPagination(Pagination pagination)
pagination
- the new pagination