uk.ac.ox.cs.fdr
public class Machine extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
Machine(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
NodePath |
afters(Node node,
long event) |
CompiledEventList |
alphabet(boolean include_tau) |
void |
delete() |
protected void |
finalize() |
protected static long |
getCPtr(Machine obj) |
boolean |
hasDivergenceLabellings() |
boolean |
hasMinimalAcceptanceLabellings() |
CompiledEventList |
initials(Node node) |
boolean |
isDivergent(Node node,
Canceller canceller) |
boolean |
isExplicitlyDivergent(Node node) |
AcceptanceList |
minimalAcceptances(Node node) |
Node |
rootNode() |
TransitionList |
transitions(Node node) |
protected static long getCPtr(Machine obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public Node rootNode()
public CompiledEventList initials(Node node)
public AcceptanceList minimalAcceptances(Node node)
public TransitionList transitions(Node node)
public CompiledEventList alphabet(boolean include_tau)
public boolean isExplicitlyDivergent(Node node)
public boolean hasDivergenceLabellings()
public boolean hasMinimalAcceptanceLabellings()