C# (CSharp) PAT.Common.Classes.CUDDLib PlatformInvoke.DD_Createの例

コード例 #1

 /// <summary>
 /// Create a new dd, initial value is Zero
 /// Careful to use with the default value 0
 /// Working with vector, should not use, should set vector default value is -infinity
 /// [ REFS: 'result', DEREFS: 'none' ]
 /// </summary>
 /// <returns></returns>
 public static CUDDNode Create()
 {
     return(new CUDDNode(PlatformInvoke.DD_Create(manager)));
 }