equal
deleted
inserted
replaced
71 /// heap's point of view, but may be useful to the user. |
71 /// heap's point of view, but may be useful to the user. |
72 /// |
72 /// |
73 /// The item-int map must be initialized in such way that it assigns |
73 /// The item-int map must be initialized in such way that it assigns |
74 /// \c PRE_HEAP (<tt>-1</tt>) to any element to be put in the heap. |
74 /// \c PRE_HEAP (<tt>-1</tt>) to any element to be put in the heap. |
75 enum State { |
75 enum State { |
76 IN_HEAP = 0, ///< \e |
76 IN_HEAP = 0, ///< = 0. |
77 PRE_HEAP = -1, ///< \e |
77 PRE_HEAP = -1, ///< = -1. |
78 POST_HEAP = -2 ///< \e |
78 POST_HEAP = -2 ///< = -2. |
79 }; |
79 }; |
80 |
80 |
81 private: |
81 private: |
82 std::vector<Pair> _data; |
82 std::vector<Pair> _data; |
83 Compare _comp; |
83 Compare _comp; |