- viewstamp (unsigned int _vid = 0, unsigned int _seqno = 0) :
- vid(_vid), seqno(_seqno) {}
- unsigned int vid;
- unsigned int seqno;
- inline void operator++(int) { seqno++; }
+ viewstamp (unsigned int _vid = 0, unsigned int _seqno = 0) : vid(_vid), seqno(_seqno) {}
+ unsigned int vid;
+ unsigned int seqno;
+ inline void operator++(int) { seqno++; }