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