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