diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-03-23 11:29:00 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-03-24 10:38:44 +0100 |
commit | 8131e35caaacf86cd52262329ab1b0aaa1b8c5b3 (patch) | |
tree | 369c59d0b5340871ac19695f20c6ae57542f9bbf /Makefile.common | |
parent | 0df06c3778951402c994756a6c20b043bbf2d25f (diff) |
Better algorithm for Evarconv.max_undefined_with_candidates.
Instead of crawling the whole undefined evar map, we use the fold_right
function to process evars in decreasing order.
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions