Package | Description |
---|---|
org.processmining.precision.algorithms | |
org.processmining.precision.models |
Modifier and Type | Method and Description |
---|---|
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionAlgorithm.addPrefix(EscapingEdgesPrecisionAutomaton automaton,
EscapingEdgesPrecisionState curState,
java.lang.String action)
Adding prefix of state to automaton
|
Modifier and Type | Method and Description |
---|---|
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionAlgorithm.addPrefix(EscapingEdgesPrecisionAutomaton automaton,
EscapingEdgesPrecisionState curState,
java.lang.String action)
Adding prefix of state to automaton
|
Modifier and Type | Method and Description |
---|---|
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionEdge.getDestination() |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionEdge.getNeighbor(EscapingEdgesPrecisionState v) |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionAutomaton.getRoot() |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionEdge.getSource() |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionAutomaton.getState(java.lang.String prefixString) |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionAutomaton.removeState(java.lang.String prefixString) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<EscapingEdgesPrecisionState> |
EscapingEdgesPrecisionAutomaton.getStates() |
Modifier and Type | Method and Description |
---|---|
boolean |
EscapingEdgesPrecisionAutomaton.addEdge(EscapingEdgesPrecisionState source,
EscapingEdgesPrecisionState destination,
java.lang.String action) |
boolean |
EscapingEdgesPrecisionAutomaton.addState(EscapingEdgesPrecisionState state,
boolean overwritingExisting) |
boolean |
EscapingEdgesPrecisionAutomaton.containsState(EscapingEdgesPrecisionState state) |
EscapingEdgesPrecisionState |
EscapingEdgesPrecisionEdge.getNeighbor(EscapingEdgesPrecisionState v) |
void |
EscapingEdgesPrecisionAutomaton.setRoot(EscapingEdgesPrecisionState state) |
Constructor and Description |
---|
EscapingEdgesPrecisionEdge(EscapingEdgesPrecisionState source,
EscapingEdgesPrecisionState destination,
java.lang.String action) |
Constructor and Description |
---|
EscapingEdgesPrecisionAutomaton(java.util.List<EscapingEdgesPrecisionState> states) |