Package | Description |
---|---|
org.processmining.precision.models |
Modifier and Type | Method and Description |
---|---|
EscapingEdgesPrecisionEdge |
EscapingEdgesPrecisionState.getEdge(int index) |
EscapingEdgesPrecisionEdge |
EscapingEdgesPrecisionAutomaton.removeEdge(EscapingEdgesPrecisionEdge edge) |
EscapingEdgesPrecisionEdge |
EscapingEdgesPrecisionState.removeEdge(int index) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<EscapingEdgesPrecisionEdge> |
EscapingEdgesPrecisionAutomaton.getEdges() |
java.util.List<EscapingEdgesPrecisionEdge> |
EscapingEdgesPrecisionState.getEdges() |
Modifier and Type | Method and Description |
---|---|
void |
EscapingEdgesPrecisionState.addEdge(EscapingEdgesPrecisionEdge edge) |
boolean |
EscapingEdgesPrecisionAutomaton.containsEdge(EscapingEdgesPrecisionEdge edge) |
boolean |
EscapingEdgesPrecisionState.containsEdge(EscapingEdgesPrecisionEdge edge) |
EscapingEdgesPrecisionEdge |
EscapingEdgesPrecisionAutomaton.removeEdge(EscapingEdgesPrecisionEdge edge) |
void |
EscapingEdgesPrecisionState.removeEdge(EscapingEdgesPrecisionEdge edge) |