Skip to content
Snippets Groups Projects
Commit 584da358 authored by Peter Bastian's avatar Peter Bastian
Browse files

add a function to ParallelIndexSet that checks if a global id is already in the index set

parent 433eac4e
Branches
Tags
1 merge request!693Add a method "exists" to ParallelIndexSet that checks if a global id is already in the index set.
Pipeline #19595 passed
Stage: test
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment