Public Attributes | |||
int | ident | ||
int | groupsize | ||
int | phase |
Definition at line 141 of file total_order_channel.h.
00141 { 00142 00143 int ident; 00144 00145 int groupsize; 00146 00147 int phase; 00148 00149 }
int total_order_channel::initheader::groupsize |
Definition at line 145 of file total_order_channel.h.
int total_order_channel::initheader::ident |
Definition at line 143 of file total_order_channel.h.
int total_order_channel::initheader::phase |
Definition at line 147 of file total_order_channel.h.