Parent Directory
| 
Revision Log
| 
Patch
| revision 235 by abate, Tue Jul 10 17:17:37 2007 UTC | revision 236 by abate, Tue Jul 10 17:17:48 2007 UTC | |
|---|---|---|
| # | Line 2 | Line 2 |
| 2 | open Printf | open Printf |
| 3 | open Ident | open Ident |
| 4 | ||
| 5 | (* IDEAS for optimizations: | |
| 6 | ||
| 7 | * optimize lines of dnf for products and record; | |
| 8 | instead of | |
| 9 | (t1,s1) & ... & (tn,sn) \ .... | |
| 10 | use: | |
| 11 | (t1 & ... & tn, s1 & ... & sn) \ .... | |
| 12 | ||
| 13 | ---> more compact representation, more sharing, ... | |
| 14 | ||
| 15 | * re-consider using BDD-like representation instead of dnf | |
| 16 | *) | |
| 17 | ||
| 18 | ||
| 19 | let map_sort f l = | let map_sort f l = |
| 20 | SortedList.from_list (List.map f l) | SortedList.from_list (List.map f l) |
| 21 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |