| Package | Description |
|---|---|
| org.processmining.models.pdm |
| Modifier and Type | Method and Description |
|---|---|
java.util.Set<PDMEdge> |
PDMModel.getEdges() |
java.util.Collection<PDMEdge> |
PDMOperation.getEdges() |
java.util.Set<PDMEdge> |
PDMStateSpace.getEdges() |
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<PDMElement,PDMEdge> |
PDMModel.getEmptyClone() |
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<PDMElement,PDMEdge> |
PDMStateSpace.getEmptyClone() |
| Modifier and Type | Method and Description |
|---|---|
protected java.util.Map<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends org.processmining.models.graphbased.directed.DirectedGraphElement> |
PDMModel.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PDMElement,PDMEdge> graph) |
protected java.util.Map<? extends org.processmining.models.graphbased.directed.DirectedGraphElement,? extends org.processmining.models.graphbased.directed.DirectedGraphElement> |
PDMStateSpace.cloneFrom(org.processmining.models.graphbased.directed.DirectedGraph<PDMElement,PDMEdge> graph) |