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