Public Attributes | |||
int | sender | ||
int | num_phase | ||
int | type | ||
int | size |
Definition at line 114 of file total_order_channel.h.
00114 { 00115 00116 int sender; //ident of the sender 00117 00118 int num_phase; //phase number 00119 00120 int type; // 00121 00122 int size; // 00123 00124 }
int total_order_channel::header::num_phase |
Definition at line 118 of file total_order_channel.h.
int total_order_channel::header::sender |
Definition at line 116 of file total_order_channel.h.
int total_order_channel::header::size |
Definition at line 122 of file total_order_channel.h.
int total_order_channel::header::type |
Definition at line 120 of file total_order_channel.h.