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 |
counterexample(Counterexample counterexample)
Set the counterexample.
|
CreateCounterexampleOptions.Builder |
includeAudit(java.lang.Boolean includeAudit)
Set the includeAudit.
|
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 textpublic CreateCounterexampleOptions.Builder includeAudit(java.lang.Boolean includeAudit)
includeAudit
- the includeAuditpublic CreateCounterexampleOptions.Builder counterexample(Counterexample counterexample)
counterexample
- the counterexample