#include <total_order_channel.h>
Public Attributes | |||
int | ident | ||
int | nodeid | ||
int | port |
Definition at line 12 of file total_order_channel.h.
00012 { 00013 00014 int ident; 00015 00016 int nodeid; 00017 00018 int port; 00019 00020 }
int member::ident |
Definition at line 14 of file total_order_channel.h.
int member::nodeid |
Definition at line 16 of file total_order_channel.h.
int member::port |
Definition at line 18 of file total_order_channel.h.