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