counter property

int counter
final

The Lamport counter at creation time (unique per replica).

Implementation

final int counter;