uk.ac.ox.cs.fdr
public class Transition extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
|
Transition() |
protected |
Transition(long cPtr,
boolean cMemoryOwn) |
|
Transition(long event,
Node destination) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
Node |
destination() |
long |
event() |
protected void |
finalize() |
protected static long |
getCPtr(Transition obj) |
protected Transition(long cPtr, boolean cMemoryOwn)
public Transition()
public Transition(long event, Node destination)
protected static long getCPtr(Transition obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public long event()
public Node destination()