/// <summary> /// returns number of paths in dd /// [ REFS: 'none', DEREFS: 'none' ] /// </summary> public static double GetNumPaths(CUDDNode dd) { return(PlatformInvoke.DD_GetNumPaths(manager, dd.Ptr)); }