C# (CSharp) PAT.Common.Classes.CUDDLib PlatformInvoke.DD_GetNumMinterms Exemples

Exemple #1

 /// <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));
 }