class GBN_HEAP_PLACE [ G->COMPARABLE ]
	-- storage unit in a heap.  More complicated
	-- than that to allow heap elements to be accessed
	-- directly using the heap place.  The index is
	-- stored with the place.  The index is where the
	-- data is currently stored, and heap adjustments
	-- can change it.

creation { GBN_HEAP }
  make

feature { GBN_HEAP }

key: G
index : INTEGER

set_index ( i : INTEGER ) is
  -- no requirement for index, because on
  -- deletion should be made negative.
  do
    index := i
  end

feature { NONE }

make ( k : G ) is
  do
    key := k
  end

end -- class GBN_HEAP_PLACE