class FSET{T} < $COPY |
---|
$COPY | AREF{_} |
attr use_map : BOOL ; |
---|
**** | True if using space as a map |
create : SAME |
---|
ind!:CARD |
---|
const Max_Gap : CARD := (Over_Run / 3).next_exp2 * 2 + 1 ; |
---|
const Min_Elements : CARD := (Over_Run / 3).next_exp2 + 1 ; |
---|
const Over_Run : CARD := 50 ; |
---|
const default_initial_size : CARD := 5 ; |
---|
**** |
attr hsize : CARD ; |
---|
**** | Number of stored entries |
attr hsize : CARD ; |
---|
**** | Number of stored entries |
const load_ratio : CARD := 4; |
---|
**** | Allow at most 1/load_ratio full |
const switch_structures : BOOL := true ; |
---|
attr use_map : BOOL ; |
---|
**** | True if using space as a map |
const use_map_initially : BOOL := false ; |
---|