public class EscapingEdgesPrecisionAutomaton
extends java.lang.Object
Constructor and Description |
---|
EscapingEdgesPrecisionAutomaton() |
EscapingEdgesPrecisionAutomaton(java.util.List<EscapingEdgesPrecisionState> states) |
Modifier and Type | Method and Description |
---|---|
boolean |
addEdge(EscapingEdgesPrecisionState source,
EscapingEdgesPrecisionState destination,
java.lang.String action) |
boolean |
addState(EscapingEdgesPrecisionState state,
boolean overwritingExisting) |
boolean |
containsEdge(EscapingEdgesPrecisionEdge edge) |
boolean |
containsState(EscapingEdgesPrecisionState state) |
java.util.Set<EscapingEdgesPrecisionEdge> |
getEdges() |
EscapingEdgesPrecisionState |
getRoot() |
EscapingEdgesPrecisionState |
getState(java.lang.String prefixString) |
java.util.Set<java.lang.String> |
getStateKeys() |
java.util.Set<EscapingEdgesPrecisionState> |
getStates() |
EscapingEdgesPrecisionEdge |
removeEdge(EscapingEdgesPrecisionEdge edge) |
EscapingEdgesPrecisionState |
removeState(java.lang.String prefixString) |
void |
setRoot(EscapingEdgesPrecisionState state) |
public EscapingEdgesPrecisionAutomaton(java.util.List<EscapingEdgesPrecisionState> states)
public EscapingEdgesPrecisionAutomaton()
public void setRoot(EscapingEdgesPrecisionState state)
public EscapingEdgesPrecisionState getRoot()
public boolean addEdge(EscapingEdgesPrecisionState source, EscapingEdgesPrecisionState destination, java.lang.String action)
public boolean containsEdge(EscapingEdgesPrecisionEdge edge)
public EscapingEdgesPrecisionEdge removeEdge(EscapingEdgesPrecisionEdge edge)
public boolean containsState(EscapingEdgesPrecisionState state)
public EscapingEdgesPrecisionState getState(java.lang.String prefixString)
public boolean addState(EscapingEdgesPrecisionState state, boolean overwritingExisting)
public EscapingEdgesPrecisionState removeState(java.lang.String prefixString)
public java.util.Set<java.lang.String> getStateKeys()
public java.util.Set<EscapingEdgesPrecisionState> getStates()
public java.util.Set<EscapingEdgesPrecisionEdge> getEdges()