uk.ac.ox.cs.fdr
public class RefinementCounterexample extends Counterexample
Modifier | Constructor and Description |
---|---|
protected |
RefinementCounterexample(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(RefinementCounterexample obj) |
Behaviour |
implementationBehaviour() |
Behaviour |
specificationBehaviour() |
getCPtr
protected RefinementCounterexample(long cPtr, boolean cMemoryOwn)
protected static long getCPtr(RefinementCounterexample obj)
protected void finalize()
finalize
in class Counterexample
public void delete()
delete
in class Counterexample
public Behaviour implementationBehaviour()
public Behaviour specificationBehaviour()