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

示例#1

文件： CUDDFunction.cs 项目： vu111293/pat-design

 /// <summary>
 /// And 0-1 ADDs, difficult to know the result if not 0-1 ADDs, refer the C++ code
 /// [ REFS: 'result', DEREFS: dd1, dd2 ]
 /// </summary>
 public static CUDDNode And(CUDDNode dd1, CUDDNode dd2)
 {
     return(new CUDDNode(PlatformInvoke.DD_And(manager, dd1.Ptr, dd2.Ptr)));
 }