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