Package | Description |
---|---|
org.processmining.plugins.inductiveVisualMiner.animation.renderingthread |
Modifier and Type | Method and Description |
---|---|
ExternalSettingsManager |
RenderingThread.getExternalSettingsManager() |
Constructor and Description |
---|
RenderedFrameManager(java.lang.Runnable onFrameComplete,
ExternalSettingsManager settingsManager) |