/// <summary> /// Finds the variables on which a DD depends. /// Returns a ADD consisting of the product of the variables. /// [ REFS: 'result', DEREFS: 'none' ] /// </summary> public static CUDDNode GetSupport(CUDDNode dd) { return(new CUDDNode(PlatformInvoke.DD_GetSupport(manager, dd.Ptr))); }