Package | Description |
---|---|
org.processmining.plugins.interactivevisualization | |
org.processmining.plugins.log.ui.logoverview | |
org.processmining.plugins.log.ui.logoverview.filter |
Modifier and Type | Method and Description |
---|---|
java.util.SortedSet<EID> |
InteractivityManager.getAllTaggedEvents()
Get a set of all tagged events.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractiveVisualization.getSelectedElements()
Get the elements that are selected in this visualization.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractivityManager.getTag(java.lang.String name)
Get a tag.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractivityManagerContext.getTag(java.lang.String name) |
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractivityManager.getVisible()
Retrieve the stored visible elements.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractivityManagerContext.getVisible() |
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
InteractiveVisualization.getVisibleElements()
Get the elements that are visible in this visualization.
|
Modifier and Type | Method and Description |
---|---|
int |
EID.compareTo(EID other)
Method providing the natural ordering for comparing one EID with another.
|
Modifier and Type | Method and Description |
---|---|
void |
InteractivityManager.setTag(java.lang.String name,
java.util.Map<java.lang.String,java.util.SortedSet<EID>> collection)
Set a new tag or overwrite an existing tag.
|
void |
InteractivityManagerContext.setTag(java.lang.String name,
java.util.Map<java.lang.String,java.util.SortedSet<EID>> collection)
Set the tag with the provided set of events.
|
void |
InteractivityManager.setVisible(java.util.Map<java.lang.String,java.util.SortedSet<EID>> collection)
Stores a collection that defines which elements are currently visible in
the active visualization to a tag 'Visible'.
|
void |
InteractivityManagerContext.setVisible(java.util.Map<java.lang.String,java.util.SortedSet<EID>> visibleElements) |
Constructor and Description |
---|
InteractivityManagerContext(java.util.Map<java.lang.String,java.util.Map<java.lang.String,java.util.SortedSet<EID>>> tags) |
Modifier and Type | Method and Description |
---|---|
java.util.SortedSet<EID> |
LogOverviewVisualizer.getAllTaggedEvents() |
java.util.SortedSet<EID> |
FilterListModel.getInitialDataSet()
Get the initial data set that is to be used as the starting data for the filtering process.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
LogOverviewVisualizer.getTag(java.lang.String name) |
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
LogOverviewVisualizer.getTagOriginals(java.lang.String name)
Additional method used to retrieve the original Event IDs.
|
java.util.Map<java.lang.String,java.util.SortedSet<EID>> |
LogOverviewVisualizer.getVisible() |
Modifier and Type | Method and Description |
---|---|
void |
FilterListModel.setInitialDataSet(java.util.SortedSet<EID> events)
Set the initial data set to use when starting the filtering process.
|
void |
LogOverviewVisualizer.setTag(java.lang.String name,
java.util.Map<java.lang.String,java.util.SortedSet<EID>> collection) |
void |
TagsListModel.setTag(java.lang.String text,
java.util.Map<java.lang.String,java.util.SortedSet<EID>> selectedElements) |
void |
LogOverviewVisualizer.setVisible(java.util.Map<java.lang.String,java.util.SortedSet<EID>> visibleElements) |
void |
TagsListModel.setVisible(java.util.Map<java.lang.String,java.util.SortedSet<EID>> visibleElements) |
Modifier and Type | Method and Description |
---|---|
java.util.SortedSet<EID> |
FilterLog.convertToFiltered(java.util.SortedSet<EID> events)
Convert set of Event IDs (from the original log) to a set that corresponds
to the filtered log in its current state.
|
java.util.SortedSet<EID> |
FilterLog.convertToOriginal(java.util.SortedSet<EID> events)
Convert set of Event IDs (from the filtered log in its current state) to a set
that corresponds to the original log.
|
java.util.SortedSet<EID> |
FilterLog.getRemainingEvents() |
Modifier and Type | Method and Description |
---|---|
java.util.SortedSet<EID> |
FilterLog.convertToFiltered(java.util.SortedSet<EID> events)
Convert set of Event IDs (from the original log) to a set that corresponds
to the filtered log in its current state.
|
java.util.SortedSet<EID> |
FilterLog.convertToOriginal(java.util.SortedSet<EID> events)
Convert set of Event IDs (from the filtered log in its current state) to a set
that corresponds to the original log.
|
void |
FilterLog.setRemainingEvents(java.util.SortedSet<EID> remainingEvents)
Specify a new SortedSet of Event IDs as the set of remaining events.
|