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