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