public Flash_R_Tree(CacheManager cache, Int32 reservationBufferSize)
: base(cache)
{
BufferSize = reservationBufferSize;
Buffer = new ReservationBuffer(BufferSize);
NodeTranslationTable = new NodeTranslationTable(cache);
Cache = NodeTranslationTable;
}
public Flash_R_Tree(String savedFileLocation, CacheManager cache)
: base(savedFileLocation, cache)
{
StreamReader reader = new StreamReader(savedFileLocation);
reader.ReadLine();
reader.ReadLine();
reader.ReadLine();
BufferSize = Int32.Parse(reader.ReadLine());
reader.Close();
Buffer = new ReservationBuffer(BufferSize);
NodeTranslationTable = new NodeTranslationTable(savedFileLocation + ".ntt", cache);
Cache = NodeTranslationTable;
}
