void setLoadByDemand(std::string theID, const int theDocID);
//! Returns true if specified document must be loaded by demand
bool isLoadByDemand(std::string theID, const int theDocIndex);
void setLoadByDemand(std::string theID, const int theDocID);
//! Returns true if specified document must be loaded by demand
bool isLoadByDemand(std::string theID, const int theDocIndex);