struct viewstamp {
- viewstamp (unsigned int _vid = 0, unsigned int _seqno = 0) {
- vid = _vid;
- seqno = _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++;
- };
+ inline void operator++(int) { seqno++; }
};
class rsm_protocol {