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;
}