예제 #1
0
 /// <summary>
 /// Return min of ADD but must be not less than a threshold
 /// [ REFS: 'none', DEREFS: 'none' ]
 /// </summary>
 public static double FindMinThreshold(CUDDNode dd, int threshold)
 {
     return(PlatformInvoke.DD_FindMinThreshold(manager, dd.Ptr, threshold));
 }