equal
deleted
inserted
replaced
69 /// the user. |
69 /// the user. |
70 /// |
70 /// |
71 /// The item-int map must be initialized in such way that it assigns |
71 /// The item-int map must be initialized in such way that it assigns |
72 /// \c PRE_HEAP (<tt>-1</tt>) to any element to be put in the heap. |
72 /// \c PRE_HEAP (<tt>-1</tt>) to any element to be put in the heap. |
73 enum State { |
73 enum State { |
74 IN_HEAP = 0, ///< The "in heap" state constant. |
74 IN_HEAP = 0, ///< = 0. The "in heap" state constant. |
75 PRE_HEAP = -1, ///< The "pre heap" state constant. |
75 PRE_HEAP = -1, ///< = -1. The "pre heap" state constant. |
76 POST_HEAP = -2 ///< The "post heap" state constant. |
76 POST_HEAP = -2 ///< = -2. The "post heap" state constant. |
77 }; |
77 }; |
78 |
78 |
79 /// \brief The constructor. |
79 /// \brief The constructor. |
80 /// |
80 /// |
81 /// The constructor. |
81 /// The constructor. |