![]() |
deal.II version GIT relicensing-6834-g5b78e6bcdf 2026-10-01 11:20:01+00:00
|
Scratch data used for updating Lines.
Definition at line 681 of file dynamic_sparsity_pattern.h.
Public Attributes | |
| std::vector< size_type > | indices |
| std::vector<size_type> DynamicSparsityPattern::ScratchData::indices |
Scratch array of indices. Used to merge the current indices in a Line and new indices in Line::add_entries().
Definition at line 687 of file dynamic_sparsity_pattern.h.