uk.ac.ox.cs.fdr
public class Counterexample extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
Counterexample(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(Counterexample obj) |
protected static long getCPtr(Counterexample obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()