uk.ac.ox.cs.fdr
public class PropertyAssertion extends Assertion
Modifier | Constructor and Description |
---|---|
protected |
PropertyAssertion(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(PropertyAssertion obj) |
Machine |
machine() |
SemanticModel |
semanticModel() |
counterexamples, execute, getCPtr, passed, progress, rootTaskId, toString
protected static long getCPtr(PropertyAssertion obj)
public Machine machine()
public SemanticModel semanticModel()