Andreas Huber 0487c30582 use List instead of TreeMap for intToString mapping ...

UniqueStringIntegerPairs stores mappings of integers
0-n to strings and vice versa. Mapping integers to
strings does not need a TreeMap, it can be done with
a List.
Makes insertions 3 times (when using the in-memory
variant that does not write to disk) and 7 times faster
for int to string mapping.

2018-12-22 10:07:19 +01:00

..

src

use List instead of TreeMap for intToString mapping

2018-12-22 10:07:19 +01:00

.gitignore

different tags could be written to the same file

2018-07-28 08:37:30 +02:00

build.gradle

update 3rd party libs and gradle

2018-12-07 14:06:59 +01:00