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