|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExtendedPlace | |
---|---|
org.processmining.analysis.performance |
Uses of ExtendedPlace in org.processmining.analysis.performance |
---|
Methods in org.processmining.analysis.performance that return ExtendedPlace | |
---|---|
ExtendedPlace |
PerformanceConfiguration.getSelectedPlace()
returns the selected place |
Methods in org.processmining.analysis.performance with parameters of type ExtendedPlace | |
---|---|
void |
PerformanceConfiguration.changeDisplay(ExtendedPlace selected)
Hides the radioPanel and displays the settingsPanel. |
Constructors in org.processmining.analysis.performance with parameters of type ExtendedPlace | |
---|---|
ExtendedPNEdge(ExtendedPlace place,
ExtendedTransition trans,
java.util.ArrayList caseIDs)
Constructor creates an edge from the given place to the given transition. |
|
ExtendedPNEdge(ExtendedTransition trans,
ExtendedPlace place,
java.util.ArrayList caseIDs)
Constructor creates an edge from the given transition to the given place. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |