Skip to content

Add a method "exists" to ParallelIndexSet that checks if a global id is already in the index set.

Peter Bastian requested to merge addexistsonparallelindexset into master

Merge request reports