public class VectorClockMT extends VectorClock
| Constructor and Description |
|---|
VectorClockMT() |
| Modifier and Type | Method and Description |
|---|---|
void |
addClock(int id,
int clock) |
int |
getClock(int id) |
int |
getMinClock() |
int |
tick(int id) |
int |
tickUntil(int id,
int clock) |
public void addClock(int id,
int clock)
addClock in class VectorClockpublic int tick(int id)
tick in class VectorClockpublic int tickUntil(int id,
int clock)
tickUntil in class VectorClockpublic int getClock(int id)
getClock in class VectorClockpublic int getMinClock()
getMinClock in class VectorClock