java.lang.Object
- org.processmining.plugins.inductiveVisualMiner.animation.renderingthread.TimeManager

public class TimeManager
extends java.lang.Object

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`double`	`getLastRenderedTime()`
`double`	`getMaxTime()`
`double`	`getMinTime()`
`double`	`getTimeToBeRendered(boolean running, double timeScale)`
`void`	`resume()`
`void`	`seek(double timeRequested)`
`void`	`setExtremeTimes(double minTime, double maxTime)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public TimeManager(double minTime,
                   double maxTime)

public void seek(double timeRequested)

public void setExtremeTimes(double minTime,
                            double maxTime)

public double getTimeToBeRendered(boolean running,
                                  double timeScale)

Class TimeManager