const static usint INDEX_RATE = 5;
BitVector(std::ifstream& file);
+ BitVector(std::FILE* file);
BitVector(VectorEncoder& encoder, usint universe_size);
~BitVector();
void writeTo(std::ofstream& file);
+ void writeTo(std::FILE* file);
//--------------------------------------------------------------------------