-
Lasse Hinrichsen-Bischoff authored
This lets contains() checks if the index for a given entity is stored in the index map. Since checking this for elements (i.e. codim-0 entities) will be the most common use case, all elements are added while setup(), i.e. at construction. One could also think of implementing a lazy caching via contains() just like in subIndex(), though.
e76b5660