C# (CSharp) PAT.Common.Classes.CUDDLib PlatformInvoke.Cudd_RecursiveDeref Examples

Example #1

 /// <summary>
 /// Decreases the reference count of node
 /// [ REFS: 'none', DEREFS: dd ]
 /// </summary>
 public static void Deref(CUDDNode dd)
 {
     PlatformInvoke.Cudd_RecursiveDeref(manager, dd.Ptr);
 }