12 std::vector<Element*>
const& elements)
14 std::vector<double> element_edge_lengths(elements.size());
15 for (
auto const element : elements)
19 auto const& [min_edge_length, max_edge_length] =
21 (void)min_edge_length;
23 element_edge_lengths[element->getID()] = std::sqrt(max_edge_length);
26 return element_edge_lengths;