public static class CreateCounterexample.Builder
extends java.lang.Object
Constructor and Description |
---|
CreateCounterexample.Builder()
Instantiates a new builder.
|
CreateCounterexample.Builder(java.lang.String text)
Instantiates a new builder with required properties.
|
Modifier and Type | Method and Description |
---|---|
CreateCounterexample |
build()
Builds a CreateCounterexample.
|
CreateCounterexample.Builder |
text(java.lang.String text)
Set the text.
|
public CreateCounterexample.Builder()
public CreateCounterexample.Builder(java.lang.String text)
text
- the textpublic CreateCounterexample build()
public CreateCounterexample.Builder text(java.lang.String text)
text
- the text