C# (CSharp) BddSharp.Kernel ReferenceCount Examples

Example #1

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

Example #2

 public static void AddRef(int u)
 {
     ReferenceCount.Ref(u);
     ReferenceCount.Visitor.Clear();
 }