/// returns the size of the Heap
inline int size() const {return m_p.size(); }
/// empties the Heap
- void clear();
+ void clear();
//======================================================================
//======================================================================