Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[xbt/surf] Change the costly heapremove+heapinsert used in share resource lazy algorithm.
authorAugustin Degomme <augustin.degomme@imag.fr>
Fri, 19 Sep 2014 14:29:15 +0000 (16:29 +0200)
committerAugustin Degomme <augustin.degomme@imag.fr>
Fri, 19 Sep 2014 14:29:50 +0000 (16:29 +0200)
commit965056e4f95159e78816eca6edc8982928097b73
tree1e2cfa059f3916168b0aab16c736eb672768c3bd
parent0ac5b9da8918916f09bbbe3103bcd5f58e856e55
[xbt/surf] Change the costly heapremove+heapinsert used in share resource lazy algorithm.
Add a xbt_heap_update function, to set a new value for a element in the heap
include/xbt/heap.h
src/surf/surf_interface.cpp
src/surf/surf_interface.hpp
src/xbt/heap.c