tree 53772bfc5ffcab9a31e3b97d7440790b9a45201d
parent fe25280963e053dd4659f5029255590b2e5380d5
author margaretha <margaretha@ids-mannheim.de> 1532960579 +0200
committer margaretha <margaretha@ids-mannheim.de> 1532960579 +0200

Implemented serializable doc bits vector for caching on disk.

Change-Id: I5ffdbe429b68b71d165c3ecf5b7504ac01a9a1ec