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