src/include/bin_heap.h
changeset 525 ddc405f1d48f
parent 430 60e4627e8c74
equal deleted inserted replaced
2:9a9e35e51cb2 3:515ec88778de
    59 
    59 
    60 
    60 
    61 #ifndef BIN_HEAP_HH
    61 #ifndef BIN_HEAP_HH
    62 #define BIN_HEAP_HH
    62 #define BIN_HEAP_HH
    63 
    63 
    64 ///ingroup auxdat
    64 ///\ingroup auxdat
    65 ///\file
    65 ///\file
    66 ///\brief Binary Heap implementation.
    66 ///\brief Binary Heap implementation.
    67 
    67 
    68 #include <vector>
    68 #include <vector>
    69 #include <utility>
    69 #include <utility>