#include <ckcausalmlog.h>
Public Member Functions | |
Ticket () | |
Ticket (int x) | |
Data Fields | |
MCount | TN |
int | state |
Definition at line 73 of file ckcausalmlog.h.
Ticket::Ticket | ( | ) | [inline] |
Ticket::Ticket | ( | int | x | ) | [inline] |
MCount Ticket::TN |
Definition at line 75 of file ckcausalmlog.h.
Referenced by _getTicket(), fillTicketForChare(), ChareMlogData::next_ticket(), populateDeterminantTable(), removeProcessedLogs(), sendCommonMsg(), Ticket(), and ChareMlogData::verifyTicket().
Definition at line 76 of file ckcausalmlog.h.
Referenced by _getTicket(), ChareMlogData::next_ticket(), and Ticket().