docIds property

Set<String> get docIds

Returns all the unique document ids (document id) in the PostingsMap.

Implementation

Set<String> get docIds {
  final Set<String> retVal = {};
  for (final docPostings in values) {
    retVal.addAll(docPostings.keys);
  }
  return retVal;
}