uk.ac.ox.cs.fdr
public class Assertion extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
Assertion(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
CounterexampleList |
counterexamples() |
void |
delete() |
void |
execute(Canceller canceller) |
protected void |
finalize() |
protected static long |
getCPtr(Assertion obj) |
boolean |
passed() |
Progress |
progress() |
long |
rootTaskId() |
java.lang.String |
toString() |
protected static long getCPtr(Assertion obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public void execute(Canceller canceller)
public CounterexampleList counterexamples()
public boolean passed()
public Progress progress()
public java.lang.String toString()
toString
in class java.lang.Object
public long rootTaskId()