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.
|