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

コード例 #1

ファイル: CUDDFunction.cs プロジェクト: vu111293/pat-design

 /// <summary>
 /// Create node with root node dd1, its then node is dd2 and its else node is dd3.
 /// This procedure assumes that dd1 is a 0-1 ADD.
 /// [ REFS: 'result', DEREFS: dd1, dd2, dd3 ].
 /// </summary>
 public static CUDDNode ITE(CUDDNode dd1, CUDDNode dd2, CUDDNode dd3)
 {
     return(new CUDDNode(PlatformInvoke.DD_ITE(manager, dd1.Ptr, dd2.Ptr, dd3.Ptr)));
 }