Ejemplo n.º 1
0
 /// <summary>
 /// Return the Else node of the given node
 /// </summary>
 public static CUDDNode GetElse(CUDDNode dd)
 {
     return(new CUDDNode(PlatformInvoke.DDN_GetElse(dd.Ptr)));
 }