| Package | Description |
|---|---|
| org.processmining.models.pdm |
| Modifier and Type | Class and Description |
|---|---|
class |
PDMDataElement |
class |
PDMOperation |
class |
PDMOperationElement |
class |
PDMState |
| Modifier and Type | Method and Description |
|---|---|
PDMElement |
PDMOperation.getElement() |
| Modifier and Type | Method and Description |
|---|---|
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<PDMElement,PDMEdge> |
PDMModel.getEmptyClone() |
protected org.processmining.models.graphbased.directed.AbstractDirectedGraph<PDMElement,PDMEdge> |
PDMStateSpace.getEmptyClone() |
java.util.Set<PDMElement> |
PDMModel.getNodes() |
java.util.Set<PDMElement> |
PDMStateSpace.getNodes() |
| 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) |
| Constructor and Description |
|---|
PDMEdge(PDMElement source,
PDMElement target,
java.lang.String label,
java.lang.Boolean incoming) |