equal
deleted
inserted
replaced
71 typedef _ItemIntMap ItemIntMap; |
71 typedef _ItemIntMap ItemIntMap; |
72 |
72 |
73 /// \brief Type to represent the items states. |
73 /// \brief Type to represent the items states. |
74 /// |
74 /// |
75 /// Each Item element have a state associated to it. It may be "in heap", |
75 /// Each Item element have a state associated to it. It may be "in heap", |
76 /// "pre heap" or "post heap". The later two are indifferent from the |
76 /// "pre heap" or "post heap". The latter two are indifferent from the |
77 /// heap's point of view, but may be useful to the user. |
77 /// heap's point of view, but may be useful to the user. |
78 /// |
78 /// |
79 /// The ItemIntMap _should_ be initialized in such way, that it maps |
79 /// The ItemIntMap \e should be initialized in such way that it maps |
80 /// PRE_HEAP (-1) to any element to be put in the heap... |
80 /// PRE_HEAP (-1) to any element to be put in the heap... |
81 enum state_enum { |
81 enum state_enum { |
82 IN_HEAP = 0, |
82 IN_HEAP = 0, |
83 PRE_HEAP = -1, |
83 PRE_HEAP = -1, |
84 POST_HEAP = -2 |
84 POST_HEAP = -2 |