Package | Description |
---|---|
org.processmining.plugins.inductiveVisualMiner |
Modifier and Type | Method and Description |
---|---|
AnimationTimeChangedListener |
InductiveVisualMinerAnimationPanel.getAnimationTimeChangedListener() |
Modifier and Type | Method and Description |
---|---|
void |
InductiveVisualMinerAnimationPanel.setAnimationTimeChangedListener(AnimationTimeChangedListener listener)
Sets a callback that is called whenever the time is updated.
|