Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004865OCamlOCaml generalpublic2009-09-11 11:332011-05-31 16:29
Reporterhugo 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version3.11.1 
Target VersionFixed in Version 
Summary0004865: Making Set.remove_min_elt publicly accessible
DescriptionI would like to have Set.remove_min_elt publicly accessible.
This allows one to process very large sets by repeatedly
removing elements which can be quickly reclaimed by the GC.
Used in an attempt to maintain memory usage lower for
machine learning algorithm that require gigabytes of RAM.
Additional InformationApologies for report: 0004864. Should be removed.
Slip of the hand.
      
TagsNo tags attached.
Attached Files

- Relationships
has duplicate 0004864closed Making let rec remove_min_elt = function 

-  Notes
(0005076)
hugo (reporter)
2009-09-11 11:39

Forgot to mention that the return type must be changed
so that that the minimum element and new altered Set be
returned.

- Issue History
Date Modified Username Field Change
2009-09-11 11:33 hugo New Issue
2009-09-11 11:39 hugo Note Added: 0005076
2009-09-15 13:55 xleroy Relationship added has duplicate 0004864
2011-05-31 16:29 doligez Status new => acknowledged


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker