Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Avoid the O(n^2) incremental construction of sorted arrays of variables
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 21 Jul 2015 12:07:20 +0000 (14:07 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 21 Jul 2015 12:18:31 +0000 (14:18 +0200)
commita63448829151bb5a1815542f34b5233778ba52a4
tree41be6079fbb27f0cdcaff389ebfb18793024be1b
parentc97f1a13223584e3b45abe570a840c30df38c6e9
[mc] Avoid the O(n^2) incremental construction of sorted arrays of variables

This is espacially slow now that the array contains the Variable
instead of the Variable*. Create it without order and sort if in O(n
log n) afterwards.
src/mc/mc_dwarf.cpp