Example #1
0
 /// <summary>
 /// Return the ratio ADD of dd1, dd2
 /// [ REFS: 'result', DEREFS: dd1, dd2 ]
 /// </summary>
 public static CUDDNode BitwiseAnd(CUDDNode dd1, CUDDNode dd2)
 {
     return(new CUDDNode(PlatformInvoke.DD_BitwiseAnd(manager, dd1.Ptr, dd2.Ptr)));
 }