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