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