public class CreateCounterexampleOptions extends GenericModel
Modifier and Type | Class and Description |
---|---|
static class |
CreateCounterexampleOptions.Builder
Builder.
|
Modifier and Type | Method and Description |
---|---|
CreateCounterexampleOptions.Builder |
newBuilder()
New builder.
|
java.lang.String |
text()
Gets the text.
|
java.lang.String |
workspaceId()
Gets the workspaceId.
|
equals, hashCode, toString
public CreateCounterexampleOptions.Builder newBuilder()
public java.lang.String workspaceId()
public java.lang.String text()