ReachableNets::Reset

[[requires_capability(0x7f2e3b6cb688), requires_capability(0x7f2e2a4e7348), requires_capability(0x7f2e283bb058), requires_capability(0x7f2e2226cdd8), requires_capability(0x7f2e26119458), requires_capability(0x7f2e426902a8), requires_capability(0x7f2e20fbe7b8), requires_capability(0x7f2e291377f8), requires_capability(0x7f2e41714288), requires_capability(0x7f2e409b7fb8), requires_capability(0x7f2e18117108), requires_capability(0x7f2e3674fc58), requires_capability(0x7f2e33b879b8), requires_capability(0x7f2e12856448), requires_capability(0x7f2e29e25828)]]
void
Reset();