public class CounterexampleCollection
extends com.ibm.cloud.sdk.core.service.model.GenericModel
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Counterexample> |
counterexamples |
protected Pagination |
pagination |
Constructor and Description |
---|
CounterexampleCollection() |
Modifier and Type | Method and Description |
---|---|
java.util.List<Counterexample> |
getCounterexamples()
Gets the counterexamples.
|
Pagination |
getPagination()
Gets the pagination.
|
protected java.util.List<Counterexample> counterexamples
protected Pagination pagination
public java.util.List<Counterexample> getCounterexamples()
An array of objects describing the examples marked as irrelevant input.
public Pagination getPagination()
The pagination data for the returned objects.