/// <summary> /// Return number of minterm which made the ADD != 0 /// [ REFS: 'none', DEREFS: 'none' ] /// </summary> public static double GetNumMinterms(CUDDNode dd, int numVars) { return(PlatformInvoke.DD_GetNumMinterms(manager, dd.Ptr, numVars)); }