public static void DelRef(int u) { lock (padlock) { ReferenceCount.UnRef(u); ReferenceCount.Visitor2.Clear(); } }
public static void AddRef(int u) { ReferenceCount.Ref(u); ReferenceCount.Visitor.Clear(); }