ReachableNets::Reset

[[requires_capability(0x7f9508970008), requires_capability(0x7f950e39c7f8), requires_capability(0x7f950e923038), requires_capability(0x7f950a22b428), requires_capability(0x7f950226e2e8), requires_capability(0x7f95268452c8), requires_capability(0x7f95213a4898), requires_capability(0x7f95259f2c48), requires_capability(0x7f950f0fe478), requires_capability(0x7f952311ea98), requires_capability(0x7f951ec04548), requires_capability(0x7f94f9723ea8), requires_capability(0x7f951c5a1ab8), requires_capability(0x7f9521097d98), requires_capability(0x7f9510d408e8)]]
void
Reset();