59       /// \param _iim should be given to the constructor, since it is used  | 
    59       /// \param _iim should be given to the constructor, since it is used  | 
    60       /// internally to handle the cross references. The value of the map  | 
    60       /// internally to handle the cross references. The value of the map  | 
    61       /// should be PRE_HEAP (-1) for each element.  | 
    61       /// should be PRE_HEAP (-1) for each element.  | 
    62       explicit Heap(ItemIntMap &_iim) {} | 
    62       explicit Heap(ItemIntMap &_iim) {} | 
    63   | 
    63   | 
    64       /// The number of items stored in the heap.  | 
    64       /// \brief The number of items stored in the heap.  | 
    65       ///  | 
    65       ///  | 
    66       /// \brief Returns the number of items stored in the heap.  | 
    66       /// Returns the number of items stored in the heap.  | 
    67       int size() const { return 0; } | 
    67       int size() const { return 0; } | 
         | 
    68   | 
    68       /// \brief Checks if the heap stores no items.  | 
    69       /// \brief Checks if the heap stores no items.  | 
    69       ///  | 
    70       ///  | 
    70       /// Returns \c true if and only if the heap stores no items.  | 
    71       /// Returns \c true if and only if the heap stores no items.  | 
    71       bool empty() const { return false; } | 
    72       bool empty() const { return false; } | 
         | 
    73   | 
         | 
    74       /// \brief Makes empty this heap.  | 
         | 
    75       ///  | 
         | 
    76       /// Makes this heap empty.  | 
         | 
    77       void clear();  | 
    72   | 
    78   | 
    73       /// \brief Insert an item into the heap with the given heap.  | 
    79       /// \brief Insert an item into the heap with the given heap.  | 
    74       ///      | 
    80       ///      | 
    75       /// Adds \c i to the heap with priority \c p.   | 
    81       /// Adds \c i to the heap with priority \c p.   | 
    76       /// \param i The item to insert.  | 
    82       /// \param i The item to insert.  |