Uses of Interface
cz.cuni.amis.pogamut.sposh.engine.timer.ITimer

Packages that use ITimer

Package	Description
cz.cuni.amis.pogamut.sposh.engine
cz.cuni.amis.pogamut.sposh.engine.timer

Uses of ITimer in cz.cuni.amis.pogamut.sposh.engine

Fields in cz.cuni.amis.pogamut.sposh.engine declared as ITimer

Modifier and Type	Field and Description
protected ITimer	PoshEngine.timer

Constructors in cz.cuni.amis.pogamut.sposh.engine with parameters of type ITimer

Constructor and Description
PoshEngine(PoshPlan plan, ITimer timer)
PoshEngine(PoshPlan plan, ITimer timer, Logger log)

Uses of ITimer in cz.cuni.amis.pogamut.sposh.engine.timer

Classes in cz.cuni.amis.pogamut.sposh.engine.timer that implement ITimer

Modifier and Type	Class and Description
class	DebugTimer Timer what allows me to skip forward in time or suspend time for a while.
class	SystemClockTimer Simple timer that has same time as Calendar.