return latentIndex.rankDocumentsByQuery(query);
}
public synchronized void updateDocument(String doc, String contents) {
Terms document = scanner.fromString(contents);
if (ignoreCase) document = document.toLowerCase();
latentIndex.updateDocument(doc, document);
}
public synchronized void removeDocument(String doc) {
latentIndex.removeDocument(doc);