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