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