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

Packages that use ITimer

cz.cuni.amis.pogamut.sposh.engine	Yaposh engine and its executors used to evaluate yaposh plan.
cz.cuni.amis.pogamut.sposh.engine.timer

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

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

PoshEngine(int engineId, PoshPlan plan, ITimer timer, Logger log)
Create new engine of Yaposh plan and PoshEngine.reset() it.

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

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.