uk.ac.ox.cs.fdr
public class MachineEvaluatorResult extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
protected |
MachineEvaluatorResult(long cPtr,
boolean cMemoryOwn) |
|
MachineEvaluatorResult(MachineEvaluatorResult arg0) |
|
MachineEvaluatorResult(StringList warnings,
Machine result) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(MachineEvaluatorResult obj) |
Machine |
result() |
StringList |
warnings() |
protected MachineEvaluatorResult(long cPtr, boolean cMemoryOwn)
public MachineEvaluatorResult(StringList warnings, Machine result)
public MachineEvaluatorResult(MachineEvaluatorResult arg0)
protected static long getCPtr(MachineEvaluatorResult obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public Machine result()
public StringList warnings()