Esempio n. 1
0
 /// <summary>
 /// Return the minus infinity constant
 /// [ REFS: 'result', DEREFS: 'none' ]
 /// </summary>
 /// <returns></returns>
 public static CUDDNode MinusInfinity()
 {
     return(new CUDDNode(PlatformInvoke.DD_MinusInfinity(manager)));
 }