Open barthanssens opened 8 years ago
Section 4 Dictionary specifies a property
elements. Total number of different strings in the dictionary.
The HDT tools / hdt cpp seem to use a different property ("sizeStrings"). Which one is correct / are they the same ?
Section 4 Dictionary specifies a property
The HDT tools / hdt cpp seem to use a different property ("sizeStrings"). Which one is correct / are they the same ?