Fix some problems in adaptivity code
This patch set fixes a number of issues in the adaptivity code:
- The
EntitySet
in theGridFunctionSpace
did not properly get updated after adapting the grid. BothEntitySet::update()
andGridFunctionSpace::update()
now take an optionalbool
parameter to force an update. - The adaptivity code now calls
GridFunctionSpace::update()
with the force flag enabled. - There was a mixup between local and global id sets.
- Removed last occurences of directly using the
GridView
instead of theEntitySet
within the adaptivity code.