Exemple #1
0
 /// <summary>
 /// Return the complement of node
 /// [ REFS: 'result', DEREFS: 'dd' ]
 /// </summary>
 public static CUDDNode Not(CUDDNode dd)
 {
     return(new CUDDNode(PlatformInvoke.DD_Not(manager, dd.Ptr)));
 }