Ejemplos de PAT.Common.Classes.CUDDLib PlatformInvoke.Cudd_Ref en C# (CSharp)

Ejemplo n.º 1

 /// <summary>
 /// Increases the reference count of a node, if it is not saturated
 /// [ REFS: dd, DEREFS: 'none' ]
 /// </summary>
 public static void Ref(CUDDNode dd)
 {
     PlatformInvoke.Cudd_Ref(dd.Ptr);
 }