public class Counterexample extends GenericModel
| Constructor and Description | 
|---|
Counterexample()  | 
| Modifier and Type | Method and Description | 
|---|---|
java.util.Date | 
getCreated()
Gets the created. 
 | 
java.lang.String | 
getText()
Gets the text. 
 | 
java.util.Date | 
getUpdated()
Gets the updated. 
 | 
equals, hashCode, toStringpublic java.lang.String getText()
public java.util.Date getCreated()
public java.util.Date getUpdated()