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, toString
public CreateCounterexample.Builder newBuilder()
public java.lang.String text()