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