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()