public interface TimeServer
Modifier and Type | Method and Description |
---|---|
void |
addObserver(java.util.Observer o) |
double |
currentTime() |
void |
deleteObserver(java.util.Observer o) |
void |
enqueue(double waketime,
Agent thing) |
void |
run(double duration) |
double currentTime()
void run(double duration)
void addObserver(java.util.Observer o)
void deleteObserver(java.util.Observer o)