void Seal() override {}; // nothing to do
~AsVivaldi() {};
void getRouteAndLatency(NetCard *src, NetCard *dst, sg_platf_route_cbarg_t into, double *latency) override;
void Seal() override {}; // nothing to do
~AsVivaldi() {};
void getRouteAndLatency(NetCard *src, NetCard *dst, sg_platf_route_cbarg_t into, double *latency) override;