Function banyan_utils::tag_index::map_to_index_set [−][src]
Expand description
Lookup all tags in a TagSet tags
in a TagSet table
.
If all lookups are successful, translate into a set of indices into the table
If any lookup is unsuccessful, return None