#include <GiaMessageBookkeeping.h>
Public Attributes | |
std::vector< GiaNode > | remainNodes |
contains all nodes, to which this message has NOT ALREADY been forwarded | |
simtime_t | timestamp |
std::vector<GiaNode> GiaMessageBookkeeping::MessageItem::remainNodes |
contains all nodes, to which this message has NOT ALREADY been forwarded