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