| Package | Description |
|---|---|
| org.processmining.framework.plugin | |
| org.processmining.framework.plugin.impl | |
| org.processmining.framework.util.search |
| Modifier and Type | Method and Description |
|---|---|
Progress |
PluginContext.getProgress()
Returns the progress object corresponding to this context
|
| Modifier and Type | Class and Description |
|---|---|
class |
ProgressBarImpl |
| Modifier and Type | Field and Description |
|---|---|
protected Progress |
AbstractPluginContext.progress |
| Modifier and Type | Method and Description |
|---|---|
Progress |
AbstractPluginContext.getProgress() |
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<N> |
NodeExpander.expandNode(N toExpand,
Progress progress,
java.util.Collection<N> unmodifiableResultCollection)
This method is called by the searcher when a node in the search tree has
to be considered for expansion.
|
void |
NodeExpander.processLeaf(N leaf,
Progress progress,
java.util.Collection<N> resultCollection)
This method is called by the searcher to which this expander is
registered each time a leaf was encountered.
|
void |
MultiThreadedSearcher.startSearch(java.util.concurrent.Executor executor,
Progress progress,
java.util.Collection<N> resultCollection)
A call to this method initiates the search.
|