C# (CSharp) PAT.Common.Classes.CUDDLib PlatformInvoke.DD_MinusInfinity示例

示例#1

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