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

コード例 #1

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

 /// <summary>
 /// return 1 if node1 is 1 and node2 is 0, others return 0.
 ///  belong dd1 but not belong dd2
 /// [ REFS: 'result', DEREFS: dd1, dd2 ]
 /// </summary>
 public static CUDDNode Different(CUDDNode dd1, CUDDNode dd2)
 {
     return(new CUDDNode(PlatformInvoke.DD_Different(manager, dd1.Ptr, dd2.Ptr)));
 }