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