org.petuum.jbosen.common.util

Class VectorClock

java.lang.Object

org.petuum.jbosen.common.util.VectorClock

Direct Known Subclasses:

VectorClockMT

public class VectorClock
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
VectorClock()
VectorClock(java.util.Vector<java.lang.Integer> ids)

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VectorClock

public VectorClock()

VectorClock

public VectorClock(java.util.Vector<java.lang.Integer> ids)

Method Detail

addClock

public void addClock(int id,
                     int clock)

tick

public int tick(int id)

tickUntil

public int tickUntil(int id,
                     int clock)

getClock

public int getClock(int id)

getMinClock

public int getMinClock()