public class CreateCounterexample extends GenericModel
| Modifier and Type | Class and Description |
|---|---|
static class |
CreateCounterexample.Builder
Builder.
|
| Modifier and Type | Method and Description |
|---|---|
CreateCounterexample.Builder |
newBuilder()
New builder.
|
java.lang.String |
text()
Gets the text.
|
equals, hashCode, toStringpublic CreateCounterexample.Builder newBuilder()
public java.lang.String text()