public Flash_R_Tree_Extended(String savedFileLocation, CacheManager cache)
     : base(savedFileLocation, cache)
 {
     NodeTranslationTable = new NodeTranslationTableExtended(savedFileLocation + ".ntt", cache);
     Cache = NodeTranslationTable;
 }
 public Flash_R_Tree_Extended(CacheManager cache, Int32 reservationBufferSize)
     : base(cache, reservationBufferSize)
 {
     NodeTranslationTable = new NodeTranslationTableExtended(cache);
     Cache = NodeTranslationTable;
 }