sources/core/VSLamport.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package core;

public class VSLamport {
    private long time;
    private long lamportTime;

    public VSLamport(long time, long lamportTime) {
        this.time = time;
        this.lamportTime = lamportTime;
    }

    public long getTime() {
        return time;
    }

    public long getLamportTime() {
        return lamportTime;
    }
}