surf
surf copied to clipboard
Term mapping
Term mapping is currently implemented using an unordered set and an array. We can do it more space-efficient using a compressed dictionary, which is build via a CSA over the concatenation of all terms.