| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | // -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- | ||
| 2 | // vi: set et ts=4 sw=4 sts=4: | ||
| 3 | // | ||
| 4 | // SPDX-FileCopyrightText: Copyright © DuMux Project contributors, see AUTHORS.md in root folder | ||
| 5 | // SPDX-License-Identifier: GPL-3.0-or-later | ||
| 6 | // | ||
| 7 | /*! | ||
| 8 | * \file | ||
| 9 | * \ingroup Discretization | ||
| 10 | * \brief A basic implementation of a grid geometry with some common interfaces | ||
| 11 | */ | ||
| 12 | #ifndef DUMUX_DISCRETIZATION_BASIC_GRID_GEOMETRY_HH | ||
| 13 | #define DUMUX_DISCRETIZATION_BASIC_GRID_GEOMETRY_HH | ||
| 14 | |||
| 15 | #include <memory> | ||
| 16 | #include <utility> | ||
| 17 | #include <type_traits> | ||
| 18 | |||
| 19 | #include <dune/grid/common/mcmgmapper.hh> | ||
| 20 | |||
| 21 | #include <dumux/common/entitymap.hh> | ||
| 22 | #include <dumux/common/indextraits.hh> | ||
| 23 | #include <dumux/geometry/boundingboxtree.hh> | ||
| 24 | #include <dumux/geometry/geometricentityset.hh> | ||
| 25 | |||
| 26 | namespace Dumux { | ||
| 27 | |||
| 28 | /*! | ||
| 29 | * \ingroup Discretization | ||
| 30 | * \brief An implementation of a grid geometry with some basic features | ||
| 31 | * \tparam GV the grid view type | ||
| 32 | * \tparam EM the type of the element mapper | ||
| 33 | * \tparam VM the type of the vertex mapper | ||
| 34 | */ | ||
| 35 | template<class GV, class EM, class VM> | ||
| 36 | class BasicGridGeometry | ||
| 37 | { | ||
| 38 | using ElementMap = EntityMap<GV, 0>; | ||
| 39 | using ElementSet = GridViewGeometricEntitySet<GV, 0, EM>; | ||
| 40 | using BoundingBoxTree = Dumux::BoundingBoxTree<ElementSet>; | ||
| 41 | |||
| 42 | static constexpr int dim = GV::dimension; | ||
| 43 | static constexpr int dimWorld = GV::dimensionworld; | ||
| 44 | |||
| 45 | using GridIndexType = typename IndexTraits<GV>::GridIndex; | ||
| 46 | using Element = typename GV::template Codim<0>::Entity; | ||
| 47 | |||
| 48 | public: | ||
| 49 | //! export the grid type | ||
| 50 | using Grid = typename GV::Grid; | ||
| 51 | //! export the grid view type | ||
| 52 | using GridView = GV; | ||
| 53 | //! export the global coordinate type | ||
| 54 | using GlobalCoordinate = typename Element::Geometry::GlobalCoordinate; | ||
| 55 | //! export the element mapper type | ||
| 56 | using ElementMapper = EM; | ||
| 57 | //! export the vertex mapper type | ||
| 58 | using VertexMapper = VM; | ||
| 59 | |||
| 60 | /*! | ||
| 61 | * \ingroup Discretization | ||
| 62 | * \brief Constructor computes the bounding box of the entire domain, for e.g. setting boundary conditions | ||
| 63 | * \param gridView the grid view on which to construct the grid geometry | ||
| 64 | */ | ||
| 65 | 1188 | BasicGridGeometry(const GridView& gridView) | |
| 66 | 1188 | : gridView_(gridView) | |
| 67 |
1/2✓ Branch 1 taken 10 times.
✗ Branch 2 not taken.
|
1188 | , elementMapper_(makeElementMapper_(gridView)) |
| 68 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
1188 | , vertexMapper_(makeVertexMapper_(gridView)) |
| 69 |
1/2✓ Branch 1 taken 33 times.
✗ Branch 2 not taken.
|
1188 | , bBoxMin_(std::numeric_limits<double>::max()) |
| 70 |
1/2✓ Branch 1 taken 33 times.
✗ Branch 2 not taken.
|
2341 | , bBoxMax_(-std::numeric_limits<double>::max()) |
| 71 | { | ||
| 72 |
1/2✓ Branch 1 taken 870 times.
✗ Branch 2 not taken.
|
1188 | computeGlobalBoundingBox_(); |
| 73 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
1188 | update_(); |
| 74 | 1188 | } | |
| 75 | |||
| 76 | /*! | ||
| 77 | * \brief Update internal state after grid changed | ||
| 78 | */ | ||
| 79 | 7 | void update(const GridView& gridView) | |
| 80 | { | ||
| 81 |
2/4✓ Branch 1 taken 2 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
7 | gridView_ = gridView; |
| 82 |
2/4✓ Branch 1 taken 2 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
7 | update_(); |
| 83 | } | ||
| 84 | |||
| 85 | /*! | ||
| 86 | * \brief Update internal state after grid changed | ||
| 87 | */ | ||
| 88 | 23 | void update(GridView&& gridView) | |
| 89 | { | ||
| 90 |
1/2✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
|
23 | gridView_ = std::move(gridView); |
| 91 |
1/2✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
|
23 | update_(); |
| 92 | } | ||
| 93 | |||
| 94 | /*! | ||
| 95 | * \brief Return the gridView this grid geometry object lives on | ||
| 96 | */ | ||
| 97 |
1/3✗ Branch 3 not taken.
✓ Branch 4 taken 5 times.
✗ Branch 5 not taken.
|
113839659 | const GridView& gridView() const |
| 98 |
687/1322✓ Branch 1 taken 7367 times.
✓ Branch 2 taken 1277 times.
✓ Branch 4 taken 2665 times.
✓ Branch 5 taken 47894 times.
✓ Branch 6 taken 37811 times.
✓ Branch 7 taken 1342010 times.
✓ Branch 9 taken 20675 times.
✓ Branch 10 taken 79732 times.
✓ Branch 12 taken 3209 times.
✓ Branch 13 taken 20651 times.
✓ Branch 15 taken 3151 times.
✓ Branch 16 taken 1992 times.
✓ Branch 18 taken 1528 times.
✓ Branch 19 taken 78922 times.
✓ Branch 21 taken 5205 times.
✓ Branch 22 taken 1029 times.
✓ Branch 24 taken 74465 times.
✓ Branch 25 taken 2203 times.
✓ Branch 27 taken 1145177 times.
✓ Branch 28 taken 20173 times.
✓ Branch 29 taken 2150850 times.
✓ Branch 30 taken 10309025 times.
✓ Branch 32 taken 32542845 times.
✓ Branch 33 taken 22518858 times.
✓ Branch 35 taken 1523523 times.
✓ Branch 36 taken 677083 times.
✓ Branch 38 taken 5923 times.
✓ Branch 39 taken 213666 times.
✓ Branch 41 taken 1896 times.
✓ Branch 42 taken 74284 times.
✓ Branch 44 taken 55851 times.
✓ Branch 45 taken 3945 times.
✓ Branch 47 taken 208260 times.
✓ Branch 48 taken 962696 times.
✓ Branch 50 taken 646944 times.
✓ Branch 51 taken 1276550 times.
✓ Branch 52 taken 102864 times.
✓ Branch 53 taken 1845 times.
✓ Branch 55 taken 104029 times.
✓ Branch 56 taken 12375 times.
✓ Branch 58 taken 155141 times.
✓ Branch 59 taken 125 times.
✓ Branch 61 taken 690553 times.
✓ Branch 62 taken 736578 times.
✓ Branch 64 taken 1681864 times.
✓ Branch 65 taken 4745923 times.
✓ Branch 67 taken 7064588 times.
✓ Branch 68 taken 6846484 times.
✓ Branch 70 taken 1745085 times.
✓ Branch 71 taken 165454 times.
✓ Branch 73 taken 9493232 times.
✓ Branch 74 taken 2141994 times.
✓ Branch 75 taken 230516 times.
✓ Branch 76 taken 3223838 times.
✓ Branch 78 taken 1258165 times.
✓ Branch 79 taken 1588839 times.
✓ Branch 81 taken 2138900 times.
✓ Branch 82 taken 1715862 times.
✓ Branch 84 taken 615708 times.
✓ Branch 85 taken 1507 times.
✓ Branch 87 taken 2734038 times.
✓ Branch 88 taken 604826 times.
✓ Branch 90 taken 21565 times.
✓ Branch 91 taken 42816 times.
✓ Branch 93 taken 831585 times.
✓ Branch 94 taken 719137 times.
✓ Branch 96 taken 1209750 times.
✓ Branch 97 taken 2460 times.
✓ Branch 98 taken 716 times.
✓ Branch 99 taken 4983 times.
✓ Branch 101 taken 143699 times.
✓ Branch 102 taken 292 times.
✓ Branch 104 taken 1732 times.
✓ Branch 105 taken 351342 times.
✓ Branch 107 taken 5995 times.
✓ Branch 108 taken 218345 times.
✓ Branch 110 taken 8161 times.
✓ Branch 111 taken 210148 times.
✓ Branch 113 taken 48686 times.
✓ Branch 114 taken 8499 times.
✓ Branch 116 taken 76348 times.
✓ Branch 117 taken 10033 times.
✓ Branch 119 taken 111155 times.
✓ Branch 120 taken 731 times.
✓ Branch 121 taken 1406698 times.
✓ Branch 122 taken 279609 times.
✓ Branch 124 taken 992584 times.
✓ Branch 125 taken 160415 times.
✓ Branch 127 taken 5704 times.
✓ Branch 128 taken 3735 times.
✓ Branch 130 taken 2410 times.
✓ Branch 131 taken 359 times.
✓ Branch 133 taken 3524 times.
✓ Branch 134 taken 87 times.
✓ Branch 136 taken 2379 times.
✓ Branch 137 taken 111 times.
✓ Branch 139 taken 11 times.
✓ Branch 140 taken 1756 times.
✓ Branch 142 taken 96 times.
✓ Branch 143 taken 1746 times.
✓ Branch 144 taken 533 times.
✓ Branch 145 taken 300 times.
✓ Branch 147 taken 179068 times.
✓ Branch 148 taken 2022 times.
✓ Branch 150 taken 143 times.
✓ Branch 151 taken 608 times.
✓ Branch 153 taken 4 times.
✓ Branch 154 taken 116 times.
✓ Branch 156 taken 242 times.
✓ Branch 157 taken 7975 times.
✓ Branch 159 taken 24 times.
✓ Branch 160 taken 30 times.
✓ Branch 162 taken 3582 times.
✓ Branch 163 taken 204928 times.
✓ Branch 165 taken 20 times.
✓ Branch 166 taken 1047390 times.
✓ Branch 167 taken 6 times.
✓ Branch 168 taken 62 times.
✓ Branch 170 taken 2075 times.
✓ Branch 171 taken 49 times.
✓ Branch 173 taken 3031079 times.
✓ Branch 174 taken 36 times.
✓ Branch 176 taken 9023633 times.
✓ Branch 177 taken 33 times.
✓ Branch 179 taken 12322248 times.
✓ Branch 180 taken 13 times.
✓ Branch 182 taken 1022137 times.
✓ Branch 183 taken 519 times.
✓ Branch 185 taken 50420 times.
✓ Branch 186 taken 19 times.
✓ Branch 188 taken 1 times.
✓ Branch 189 taken 1 times.
✓ Branch 190 taken 7 times.
✓ Branch 191 taken 1964 times.
✓ Branch 193 taken 4296 times.
✓ Branch 194 taken 7 times.
✓ Branch 196 taken 1287 times.
✓ Branch 197 taken 585 times.
✓ Branch 199 taken 3 times.
✓ Branch 200 taken 6 times.
✓ Branch 202 taken 2 times.
✓ Branch 203 taken 1401 times.
✓ Branch 205 taken 7 times.
✓ Branch 206 taken 12004 times.
✓ Branch 208 taken 18 times.
✓ Branch 209 taken 5 times.
✓ Branch 211 taken 23 times.
✓ Branch 212 taken 4 times.
✓ Branch 213 taken 10 times.
✓ Branch 214 taken 27 times.
✓ Branch 216 taken 16 times.
✓ Branch 217 taken 6 times.
✓ Branch 219 taken 4 times.
✓ Branch 220 taken 5 times.
✓ Branch 222 taken 1 times.
✓ Branch 223 taken 89 times.
✓ Branch 225 taken 3 times.
✓ Branch 226 taken 9 times.
✓ Branch 228 taken 3 times.
✓ Branch 229 taken 11 times.
✓ Branch 231 taken 14 times.
✓ Branch 232 taken 6 times.
✓ Branch 234 taken 16 times.
✓ Branch 235 taken 1 times.
✓ Branch 236 taken 6 times.
✓ Branch 237 taken 43 times.
✓ Branch 239 taken 29 times.
✓ Branch 240 taken 5 times.
✓ Branch 242 taken 178 times.
✓ Branch 243 taken 2 times.
✓ Branch 245 taken 3 times.
✗ Branch 246 not taken.
✓ Branch 248 taken 13 times.
✓ Branch 249 taken 3 times.
✓ Branch 251 taken 13 times.
✗ Branch 252 not taken.
✓ Branch 254 taken 13 times.
✗ Branch 255 not taken.
✓ Branch 257 taken 14 times.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✓ Branch 260 taken 37 times.
✓ Branch 262 taken 20 times.
✓ Branch 263 taken 13 times.
✓ Branch 265 taken 2 times.
✓ Branch 266 taken 13 times.
✗ Branch 268 not taken.
✓ Branch 269 taken 12 times.
✓ Branch 271 taken 1 times.
✓ Branch 272 taken 12 times.
✓ Branch 274 taken 1 times.
✓ Branch 275 taken 12 times.
✓ Branch 277 taken 1 times.
✓ Branch 278 taken 12 times.
✓ Branch 280 taken 1 times.
✗ Branch 281 not taken.
✗ Branch 282 not taken.
✓ Branch 283 taken 25 times.
✓ Branch 285 taken 15 times.
✗ Branch 286 not taken.
✓ Branch 288 taken 2 times.
✗ Branch 289 not taken.
✗ Branch 291 not taken.
✗ Branch 292 not taken.
✓ Branch 294 taken 1 times.
✗ Branch 295 not taken.
✓ Branch 297 taken 1 times.
✗ Branch 298 not taken.
✓ Branch 300 taken 1 times.
✗ Branch 301 not taken.
✓ Branch 303 taken 1 times.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✓ Branch 306 taken 25 times.
✓ Branch 308 taken 18 times.
✗ Branch 309 not taken.
✓ Branch 311 taken 2 times.
✗ Branch 312 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✓ Branch 317 taken 1 times.
✗ Branch 318 not taken.
✓ Branch 320 taken 1 times.
✗ Branch 321 not taken.
✓ Branch 323 taken 1 times.
✗ Branch 324 not taken.
✓ Branch 326 taken 1 times.
✗ Branch 327 not taken.
✗ Branch 328 not taken.
✓ Branch 329 taken 25 times.
✓ Branch 331 taken 22 times.
✗ Branch 332 not taken.
✓ Branch 334 taken 2 times.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✓ Branch 340 taken 1 times.
✗ Branch 341 not taken.
✓ Branch 343 taken 1 times.
✗ Branch 344 not taken.
✓ Branch 346 taken 1 times.
✗ Branch 347 not taken.
✓ Branch 349 taken 1 times.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✓ Branch 352 taken 25 times.
✓ Branch 354 taken 25 times.
✗ Branch 355 not taken.
✓ Branch 357 taken 2 times.
✗ Branch 358 not taken.
✗ Branch 360 not taken.
✗ Branch 361 not taken.
✓ Branch 363 taken 1 times.
✗ Branch 364 not taken.
✓ Branch 366 taken 1 times.
✗ Branch 367 not taken.
✓ Branch 369 taken 1 times.
✗ Branch 370 not taken.
✓ Branch 372 taken 1 times.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✓ Branch 375 taken 25 times.
✓ Branch 377 taken 11 times.
✗ Branch 378 not taken.
✓ Branch 380 taken 2 times.
✗ Branch 381 not taken.
✗ Branch 383 not taken.
✗ Branch 384 not taken.
✓ Branch 386 taken 1 times.
✗ Branch 387 not taken.
✓ Branch 389 taken 1 times.
✗ Branch 390 not taken.
✓ Branch 392 taken 1 times.
✗ Branch 393 not taken.
✓ Branch 395 taken 1 times.
✗ Branch 396 not taken.
✗ Branch 397 not taken.
✓ Branch 398 taken 25 times.
✓ Branch 400 taken 14 times.
✗ Branch 401 not taken.
✓ Branch 403 taken 2 times.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✓ Branch 409 taken 1 times.
✗ Branch 410 not taken.
✓ Branch 412 taken 1 times.
✗ Branch 413 not taken.
✓ Branch 415 taken 1 times.
✗ Branch 416 not taken.
✓ Branch 418 taken 1 times.
✗ Branch 419 not taken.
✗ Branch 420 not taken.
✓ Branch 421 taken 25 times.
✓ Branch 423 taken 18 times.
✗ Branch 424 not taken.
✓ Branch 426 taken 2 times.
✗ Branch 427 not taken.
✗ Branch 429 not taken.
✗ Branch 430 not taken.
✓ Branch 432 taken 1 times.
✗ Branch 433 not taken.
✓ Branch 435 taken 1 times.
✗ Branch 436 not taken.
✓ Branch 438 taken 1 times.
✗ Branch 439 not taken.
✓ Branch 441 taken 1 times.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✓ Branch 444 taken 25 times.
✓ Branch 446 taken 21 times.
✗ Branch 447 not taken.
✓ Branch 449 taken 2 times.
✗ Branch 450 not taken.
✗ Branch 452 not taken.
✗ Branch 453 not taken.
✓ Branch 455 taken 1 times.
✗ Branch 456 not taken.
✓ Branch 458 taken 1 times.
✗ Branch 459 not taken.
✓ Branch 461 taken 1 times.
✗ Branch 462 not taken.
✓ Branch 464 taken 1 times.
✗ Branch 465 not taken.
✗ Branch 466 not taken.
✓ Branch 467 taken 25 times.
✓ Branch 469 taken 11 times.
✗ Branch 470 not taken.
✓ Branch 472 taken 2 times.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✓ Branch 478 taken 1 times.
✗ Branch 479 not taken.
✓ Branch 481 taken 1 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 1 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 1 times.
✗ Branch 488 not taken.
✗ Branch 489 not taken.
✓ Branch 490 taken 25 times.
✓ Branch 492 taken 14 times.
✗ Branch 493 not taken.
✓ Branch 495 taken 2 times.
✗ Branch 496 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✓ Branch 501 taken 1 times.
✗ Branch 502 not taken.
✓ Branch 504 taken 1 times.
✗ Branch 505 not taken.
✓ Branch 507 taken 1 times.
✗ Branch 508 not taken.
✓ Branch 510 taken 1 times.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✓ Branch 513 taken 25 times.
✓ Branch 515 taken 18 times.
✗ Branch 516 not taken.
✓ Branch 518 taken 2 times.
✗ Branch 519 not taken.
✗ Branch 521 not taken.
✗ Branch 522 not taken.
✓ Branch 524 taken 1 times.
✗ Branch 525 not taken.
✓ Branch 527 taken 1 times.
✗ Branch 528 not taken.
✓ Branch 530 taken 1 times.
✗ Branch 531 not taken.
✓ Branch 533 taken 1 times.
✗ Branch 534 not taken.
✗ Branch 535 not taken.
✓ Branch 536 taken 25 times.
✓ Branch 538 taken 21 times.
✗ Branch 539 not taken.
✓ Branch 541 taken 2 times.
✗ Branch 542 not taken.
✗ Branch 544 not taken.
✗ Branch 545 not taken.
✓ Branch 547 taken 1 times.
✗ Branch 548 not taken.
✓ Branch 550 taken 1 times.
✗ Branch 551 not taken.
✓ Branch 555 taken 1 times.
✗ Branch 556 not taken.
✓ Branch 562 taken 1 times.
✗ Branch 563 not taken.
✗ Branch 564 not taken.
✓ Branch 565 taken 5 times.
✗ Branch 566 not taken.
✓ Branch 567 taken 1 times.
✓ Branch 569 taken 1 times.
✗ Branch 570 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✓ Branch 575 taken 1 times.
✗ Branch 576 not taken.
✗ Branch 577 not taken.
✓ Branch 578 taken 5 times.
✗ Branch 579 not taken.
✓ Branch 580 taken 1 times.
✓ Branch 582 taken 1 times.
✗ Branch 583 not taken.
✗ Branch 584 not taken.
✗ Branch 585 not taken.
✓ Branch 588 taken 1 times.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✓ Branch 591 taken 5 times.
✗ Branch 592 not taken.
✓ Branch 593 taken 1 times.
✓ Branch 595 taken 1 times.
✗ Branch 596 not taken.
✗ Branch 597 not taken.
✗ Branch 598 not taken.
✓ Branch 601 taken 1 times.
✗ Branch 602 not taken.
✗ Branch 603 not taken.
✓ Branch 604 taken 5 times.
✗ Branch 605 not taken.
✓ Branch 606 taken 1 times.
✓ Branch 608 taken 1 times.
✗ Branch 609 not taken.
✗ Branch 610 not taken.
✗ Branch 611 not taken.
✓ Branch 614 taken 1 times.
✗ Branch 615 not taken.
✗ Branch 616 not taken.
✓ Branch 617 taken 5 times.
✗ Branch 618 not taken.
✓ Branch 619 taken 1 times.
✓ Branch 621 taken 1 times.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✗ Branch 624 not taken.
✓ Branch 627 taken 1 times.
✗ Branch 628 not taken.
✗ Branch 629 not taken.
✓ Branch 630 taken 5 times.
✗ Branch 631 not taken.
✓ Branch 632 taken 1 times.
✓ Branch 634 taken 1 times.
✗ Branch 635 not taken.
✗ Branch 636 not taken.
✗ Branch 637 not taken.
✓ Branch 640 taken 1 times.
✗ Branch 641 not taken.
✗ Branch 642 not taken.
✓ Branch 643 taken 5 times.
✗ Branch 644 not taken.
✓ Branch 645 taken 1 times.
✓ Branch 647 taken 1 times.
✗ Branch 648 not taken.
✗ Branch 649 not taken.
✗ Branch 650 not taken.
✓ Branch 653 taken 1 times.
✗ Branch 654 not taken.
✗ Branch 655 not taken.
✓ Branch 656 taken 5 times.
✗ Branch 657 not taken.
✓ Branch 658 taken 1 times.
✓ Branch 660 taken 1 times.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 663 not taken.
✓ Branch 666 taken 1 times.
✗ Branch 667 not taken.
✗ Branch 668 not taken.
✓ Branch 669 taken 5 times.
✗ Branch 670 not taken.
✓ Branch 671 taken 1 times.
✓ Branch 673 taken 1 times.
✗ Branch 674 not taken.
✗ Branch 675 not taken.
✗ Branch 676 not taken.
✓ Branch 679 taken 1 times.
✗ Branch 680 not taken.
✗ Branch 681 not taken.
✓ Branch 682 taken 5 times.
✗ Branch 683 not taken.
✓ Branch 684 taken 1 times.
✓ Branch 686 taken 1 times.
✗ Branch 687 not taken.
✗ Branch 688 not taken.
✗ Branch 689 not taken.
✓ Branch 692 taken 1 times.
✗ Branch 693 not taken.
✗ Branch 694 not taken.
✓ Branch 695 taken 5 times.
✗ Branch 696 not taken.
✓ Branch 697 taken 1 times.
✓ Branch 699 taken 1 times.
✗ Branch 700 not taken.
✗ Branch 701 not taken.
✗ Branch 702 not taken.
✓ Branch 705 taken 1 times.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✓ Branch 708 taken 5 times.
✗ Branch 709 not taken.
✓ Branch 710 taken 1 times.
✓ Branch 712 taken 1 times.
✗ Branch 713 not taken.
✗ Branch 714 not taken.
✗ Branch 715 not taken.
✓ Branch 718 taken 1 times.
✗ Branch 719 not taken.
✗ Branch 720 not taken.
✓ Branch 721 taken 5 times.
✗ Branch 722 not taken.
✓ Branch 723 taken 1 times.
✓ Branch 725 taken 1 times.
✗ Branch 726 not taken.
✗ Branch 727 not taken.
✗ Branch 728 not taken.
✓ Branch 731 taken 1 times.
✗ Branch 732 not taken.
✗ Branch 733 not taken.
✓ Branch 734 taken 5 times.
✗ Branch 735 not taken.
✓ Branch 736 taken 1 times.
✓ Branch 738 taken 1 times.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 741 not taken.
✓ Branch 744 taken 1 times.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✓ Branch 747 taken 5 times.
✗ Branch 748 not taken.
✓ Branch 749 taken 1 times.
✓ Branch 751 taken 1 times.
✗ Branch 752 not taken.
✗ Branch 753 not taken.
✗ Branch 754 not taken.
✓ Branch 757 taken 1 times.
✗ Branch 758 not taken.
✗ Branch 759 not taken.
✓ Branch 760 taken 5 times.
✗ Branch 761 not taken.
✓ Branch 762 taken 1 times.
✓ Branch 764 taken 1 times.
✗ Branch 765 not taken.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✓ Branch 770 taken 1 times.
✗ Branch 771 not taken.
✗ Branch 772 not taken.
✓ Branch 773 taken 5 times.
✗ Branch 774 not taken.
✓ Branch 775 taken 1 times.
✓ Branch 777 taken 1 times.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✗ Branch 780 not taken.
✓ Branch 783 taken 1 times.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✓ Branch 786 taken 5 times.
✗ Branch 787 not taken.
✓ Branch 788 taken 1 times.
✓ Branch 790 taken 1 times.
✗ Branch 791 not taken.
✗ Branch 792 not taken.
✗ Branch 793 not taken.
✓ Branch 796 taken 1 times.
✗ Branch 797 not taken.
✗ Branch 798 not taken.
✓ Branch 799 taken 5 times.
✗ Branch 800 not taken.
✓ Branch 801 taken 1 times.
✓ Branch 803 taken 1 times.
✗ Branch 804 not taken.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✓ Branch 809 taken 1 times.
✗ Branch 810 not taken.
✗ Branch 811 not taken.
✓ Branch 812 taken 5 times.
✗ Branch 813 not taken.
✓ Branch 814 taken 1 times.
✓ Branch 816 taken 1 times.
✗ Branch 817 not taken.
✗ Branch 818 not taken.
✗ Branch 819 not taken.
✗ Branch 821 not taken.
✗ Branch 822 not taken.
✗ Branch 824 not taken.
✗ Branch 825 not taken.
✗ Branch 827 not taken.
✗ Branch 828 not taken.
✗ Branch 830 not taken.
✗ Branch 831 not taken.
✗ Branch 833 not taken.
✗ Branch 834 not taken.
✗ Branch 836 not taken.
✗ Branch 837 not taken.
✗ Branch 839 not taken.
✗ Branch 840 not taken.
✗ Branch 842 not taken.
✗ Branch 843 not taken.
✗ Branch 845 not taken.
✗ Branch 846 not taken.
✗ Branch 848 not taken.
✗ Branch 849 not taken.
✗ Branch 851 not taken.
✗ Branch 852 not taken.
✗ Branch 854 not taken.
✗ Branch 855 not taken.
✓ Branch 879 taken 1 times.
✗ Branch 880 not taken.
✓ Branch 886 taken 1 times.
✗ Branch 887 not taken.
✓ Branch 889 taken 1 times.
✗ Branch 890 not taken.
✓ Branch 895 taken 1 times.
✗ Branch 896 not taken.
✓ Branch 902 taken 1 times.
✗ Branch 903 not taken.
✓ Branch 905 taken 1 times.
✗ Branch 906 not taken.
✓ Branch 911 taken 1 times.
✗ Branch 912 not taken.
✓ Branch 918 taken 1 times.
✗ Branch 919 not taken.
✓ Branch 921 taken 1 times.
✗ Branch 922 not taken.
✓ Branch 927 taken 1 times.
✗ Branch 928 not taken.
✓ Branch 934 taken 1 times.
✗ Branch 935 not taken.
✓ Branch 937 taken 1 times.
✗ Branch 938 not taken.
✓ Branch 943 taken 1 times.
✗ Branch 944 not taken.
✓ Branch 950 taken 1 times.
✗ Branch 951 not taken.
✓ Branch 953 taken 1 times.
✗ Branch 954 not taken.
✓ Branch 959 taken 1 times.
✗ Branch 960 not taken.
✓ Branch 966 taken 1 times.
✗ Branch 967 not taken.
✓ Branch 969 taken 1 times.
✗ Branch 970 not taken.
✓ Branch 975 taken 1 times.
✗ Branch 976 not taken.
✓ Branch 982 taken 1 times.
✗ Branch 983 not taken.
✓ Branch 985 taken 1 times.
✗ Branch 986 not taken.
✓ Branch 991 taken 1 times.
✗ Branch 992 not taken.
✓ Branch 998 taken 1 times.
✗ Branch 999 not taken.
✓ Branch 1001 taken 1 times.
✗ Branch 1002 not taken.
✓ Branch 1007 taken 1 times.
✗ Branch 1008 not taken.
✓ Branch 1014 taken 1 times.
✗ Branch 1015 not taken.
✓ Branch 1017 taken 1 times.
✗ Branch 1018 not taken.
✗ Branch 1023 not taken.
✗ Branch 1024 not taken.
✓ Branch 1026 taken 1 times.
✗ Branch 1027 not taken.
✓ Branch 1033 taken 1 times.
✗ Branch 1034 not taken.
✓ Branch 1036 taken 1 times.
✗ Branch 1037 not taken.
✗ Branch 1042 not taken.
✗ Branch 1043 not taken.
✓ Branch 1045 taken 1 times.
✗ Branch 1046 not taken.
✓ Branch 1052 taken 1 times.
✗ Branch 1053 not taken.
✓ Branch 1055 taken 1 times.
✗ Branch 1056 not taken.
✗ Branch 1061 not taken.
✗ Branch 1062 not taken.
✓ Branch 1064 taken 1 times.
✗ Branch 1065 not taken.
✓ Branch 1071 taken 1 times.
✗ Branch 1072 not taken.
✓ Branch 1074 taken 1 times.
✗ Branch 1075 not taken.
✗ Branch 1080 not taken.
✗ Branch 1081 not taken.
✓ Branch 1083 taken 1 times.
✗ Branch 1084 not taken.
✓ Branch 1090 taken 1 times.
✗ Branch 1091 not taken.
✓ Branch 1093 taken 1 times.
✗ Branch 1094 not taken.
✓ Branch 1099 taken 1 times.
✗ Branch 1100 not taken.
✓ Branch 1106 taken 1 times.
✗ Branch 1107 not taken.
✓ Branch 1109 taken 1 times.
✗ Branch 1110 not taken.
✓ Branch 1115 taken 1 times.
✗ Branch 1116 not taken.
✓ Branch 1122 taken 1 times.
✗ Branch 1123 not taken.
✓ Branch 1125 taken 1 times.
✗ Branch 1126 not taken.
✓ Branch 1131 taken 1 times.
✗ Branch 1132 not taken.
✓ Branch 1138 taken 1 times.
✗ Branch 1139 not taken.
✓ Branch 1141 taken 1 times.
✗ Branch 1142 not taken.
✓ Branch 1147 taken 1 times.
✗ Branch 1148 not taken.
✓ Branch 1154 taken 1 times.
✗ Branch 1155 not taken.
✓ Branch 1157 taken 1 times.
✗ Branch 1158 not taken.
✗ Branch 1163 not taken.
✗ Branch 1164 not taken.
✓ Branch 1166 taken 1 times.
✗ Branch 1167 not taken.
✓ Branch 1173 taken 1 times.
✗ Branch 1174 not taken.
✓ Branch 1176 taken 1 times.
✗ Branch 1177 not taken.
✗ Branch 1182 not taken.
✗ Branch 1183 not taken.
✓ Branch 1185 taken 1 times.
✗ Branch 1186 not taken.
✓ Branch 1192 taken 1 times.
✗ Branch 1193 not taken.
✓ Branch 1195 taken 1 times.
✗ Branch 1196 not taken.
✗ Branch 1201 not taken.
✗ Branch 1202 not taken.
✓ Branch 1204 taken 1 times.
✗ Branch 1205 not taken.
✓ Branch 1211 taken 1 times.
✗ Branch 1212 not taken.
✓ Branch 1214 taken 1 times.
✗ Branch 1215 not taken.
✗ Branch 1220 not taken.
✗ Branch 1221 not taken.
✗ Branch 1258 not taken.
✗ Branch 1259 not taken.
✗ Branch 1261 not taken.
✗ Branch 1262 not taken.
✗ Branch 1264 not taken.
✗ Branch 1265 not taken.
✗ Branch 1267 not taken.
✗ Branch 1268 not taken.
✗ Branch 1270 not taken.
✗ Branch 1271 not taken.
✗ Branch 1275 not taken.
✗ Branch 1276 not taken.
✗ Branch 1278 not taken.
✗ Branch 1279 not taken.
✗ Branch 1281 not taken.
✗ Branch 1282 not taken.
✗ Branch 1284 not taken.
✗ Branch 1285 not taken.
✗ Branch 1287 not taken.
✗ Branch 1288 not taken.
✗ Branch 1292 not taken.
✗ Branch 1293 not taken.
✗ Branch 1295 not taken.
✗ Branch 1296 not taken.
✗ Branch 1298 not taken.
✗ Branch 1299 not taken.
✗ Branch 1301 not taken.
✗ Branch 1302 not taken.
✗ Branch 1304 not taken.
✗ Branch 1305 not taken.
✗ Branch 1309 not taken.
✗ Branch 1310 not taken.
✗ Branch 1312 not taken.
✗ Branch 1313 not taken.
✗ Branch 1315 not taken.
✗ Branch 1316 not taken.
✗ Branch 1318 not taken.
✗ Branch 1319 not taken.
✗ Branch 1321 not taken.
✗ Branch 1322 not taken.
✗ Branch 1332 not taken.
✗ Branch 1333 not taken.
✗ Branch 1335 not taken.
✗ Branch 1336 not taken.
✗ Branch 1337 not taken.
✗ Branch 1338 not taken.
✗ Branch 1340 not taken.
✗ Branch 1341 not taken.
✗ Branch 1342 not taken.
✓ Branch 1343 taken 24 times.
✓ Branch 1345 taken 24 times.
✗ Branch 1346 not taken.
✓ Branch 1349 taken 1 times.
✗ Branch 1350 not taken.
✓ Branch 1352 taken 2 times.
✗ Branch 1353 not taken.
✓ Branch 1355 taken 1 times.
✗ Branch 1356 not taken.
✓ Branch 1358 taken 1 times.
✗ Branch 1359 not taken.
✓ Branch 1362 taken 1 times.
✗ Branch 1363 not taken.
✓ Branch 1365 taken 2 times.
✗ Branch 1366 not taken.
✓ Branch 1368 taken 1 times.
✗ Branch 1369 not taken.
✓ Branch 1371 taken 1 times.
✗ Branch 1372 not taken.
✓ Branch 1375 taken 1 times.
✗ Branch 1376 not taken.
✓ Branch 1378 taken 2 times.
✗ Branch 1379 not taken.
✓ Branch 1381 taken 1 times.
✗ Branch 1382 not taken.
✓ Branch 1384 taken 1 times.
✗ Branch 1385 not taken.
✓ Branch 1388 taken 1 times.
✗ Branch 1389 not taken.
✓ Branch 1391 taken 2 times.
✗ Branch 1392 not taken.
✓ Branch 1394 taken 1 times.
✗ Branch 1395 not taken.
✓ Branch 1397 taken 1 times.
✗ Branch 1398 not taken.
✓ Branch 1401 taken 1 times.
✗ Branch 1402 not taken.
✓ Branch 1404 taken 2 times.
✗ Branch 1405 not taken.
✓ Branch 1407 taken 1 times.
✗ Branch 1408 not taken.
✓ Branch 1411 taken 1 times.
✗ Branch 1412 not taken.
✓ Branch 1414 taken 2 times.
✗ Branch 1415 not taken.
✓ Branch 1417 taken 1 times.
✗ Branch 1418 not taken.
✓ Branch 1421 taken 1 times.
✗ Branch 1422 not taken.
✓ Branch 1424 taken 2 times.
✗ Branch 1425 not taken.
✓ Branch 1427 taken 1 times.
✗ Branch 1428 not taken.
✓ Branch 1431 taken 1 times.
✗ Branch 1432 not taken.
✓ Branch 1434 taken 2 times.
✗ Branch 1435 not taken.
✓ Branch 1437 taken 1 times.
✗ Branch 1438 not taken.
✓ Branch 1440 taken 15 times.
✗ Branch 1441 not taken.
✗ Branch 1443 not taken.
✗ Branch 1444 not taken.
✗ Branch 1446 not taken.
✗ Branch 1447 not taken.
✗ Branch 1449 not taken.
✗ Branch 1450 not taken.
✓ Branch 1453 taken 1 times.
✗ Branch 1454 not taken.
✓ Branch 1456 taken 2 times.
✗ Branch 1457 not taken.
✓ Branch 1459 taken 1 times.
✗ Branch 1460 not taken.
✓ Branch 1462 taken 1 times.
✗ Branch 1463 not taken.
✓ Branch 1465 taken 1 times.
✗ Branch 1466 not taken.
✓ Branch 1468 taken 1 times.
✗ Branch 1469 not taken.
✓ Branch 1471 taken 1 times.
✗ Branch 1472 not taken.
✓ Branch 1475 taken 1 times.
✗ Branch 1476 not taken.
✓ Branch 1478 taken 2 times.
✗ Branch 1479 not taken.
✓ Branch 1481 taken 1 times.
✗ Branch 1482 not taken.
✓ Branch 1484 taken 1 times.
✗ Branch 1485 not taken.
✓ Branch 1487 taken 1 times.
✗ Branch 1488 not taken.
✓ Branch 1490 taken 1 times.
✗ Branch 1491 not taken.
✓ Branch 1493 taken 1 times.
✗ Branch 1494 not taken.
✓ Branch 1497 taken 1 times.
✗ Branch 1498 not taken.
✓ Branch 1500 taken 2 times.
✗ Branch 1501 not taken.
✓ Branch 1503 taken 1 times.
✗ Branch 1504 not taken.
✓ Branch 1506 taken 1 times.
✗ Branch 1507 not taken.
✓ Branch 1509 taken 1 times.
✗ Branch 1510 not taken.
✓ Branch 1512 taken 1 times.
✗ Branch 1513 not taken.
✓ Branch 1515 taken 1 times.
✗ Branch 1516 not taken.
✓ Branch 1519 taken 1 times.
✗ Branch 1520 not taken.
✓ Branch 1522 taken 2 times.
✗ Branch 1523 not taken.
✓ Branch 1525 taken 1 times.
✗ Branch 1526 not taken.
✓ Branch 1528 taken 1 times.
✗ Branch 1529 not taken.
✓ Branch 1531 taken 1 times.
✗ Branch 1532 not taken.
✓ Branch 1534 taken 1 times.
✗ Branch 1535 not taken.
✓ Branch 1537 taken 1 times.
✗ Branch 1538 not taken.
✓ Branch 1540 taken 28 times.
✗ Branch 1541 not taken.
✗ Branch 1543 not taken.
✗ Branch 1544 not taken.
✗ Branch 1546 not taken.
✗ Branch 1547 not taken.
✗ Branch 1549 not taken.
✗ Branch 1550 not taken.
✓ Branch 1553 taken 1 times.
✗ Branch 1554 not taken.
✓ Branch 1556 taken 2 times.
✗ Branch 1557 not taken.
✓ Branch 1559 taken 1 times.
✗ Branch 1560 not taken.
✓ Branch 1562 taken 1 times.
✗ Branch 1563 not taken.
✓ Branch 1566 taken 1 times.
✗ Branch 1567 not taken.
✓ Branch 1569 taken 2 times.
✗ Branch 1570 not taken.
✓ Branch 1572 taken 1 times.
✗ Branch 1573 not taken.
✓ Branch 1575 taken 1 times.
✗ Branch 1576 not taken.
✓ Branch 1579 taken 1 times.
✗ Branch 1580 not taken.
✓ Branch 1582 taken 2 times.
✗ Branch 1583 not taken.
✓ Branch 1585 taken 1 times.
✗ Branch 1586 not taken.
✓ Branch 1588 taken 1 times.
✗ Branch 1589 not taken.
✓ Branch 1592 taken 1 times.
✗ Branch 1593 not taken.
✓ Branch 1595 taken 2 times.
✗ Branch 1596 not taken.
✓ Branch 1598 taken 1 times.
✗ Branch 1599 not taken.
✓ Branch 1601 taken 1 times.
✗ Branch 1602 not taken.
✓ Branch 1605 taken 1 times.
✗ Branch 1606 not taken.
✓ Branch 1608 taken 2 times.
✗ Branch 1609 not taken.
✓ Branch 1612 taken 1 times.
✗ Branch 1613 not taken.
✓ Branch 1615 taken 2 times.
✗ Branch 1616 not taken.
✓ Branch 1619 taken 1 times.
✗ Branch 1620 not taken.
✓ Branch 1622 taken 2 times.
✗ Branch 1623 not taken.
✓ Branch 1626 taken 1 times.
✗ Branch 1627 not taken.
✓ Branch 1629 taken 2 times.
✗ Branch 1630 not taken.
✓ Branch 1632 taken 21 times.
✗ Branch 1633 not taken.
✗ Branch 1635 not taken.
✗ Branch 1636 not taken.
✗ Branch 1638 not taken.
✗ Branch 1639 not taken.
✗ Branch 1641 not taken.
✗ Branch 1642 not taken.
✓ Branch 1645 taken 1 times.
✗ Branch 1646 not taken.
✓ Branch 1648 taken 2 times.
✗ Branch 1649 not taken.
✓ Branch 1652 taken 1 times.
✗ Branch 1653 not taken.
✓ Branch 1655 taken 2 times.
✗ Branch 1656 not taken.
✓ Branch 1658 taken 10 times.
✗ Branch 1659 not taken.
✗ Branch 1661 not taken.
✗ Branch 1662 not taken.
✗ Branch 1664 not taken.
✗ Branch 1665 not taken.
✗ Branch 1667 not taken.
✗ Branch 1668 not taken.
✓ Branch 1671 taken 1 times.
✗ Branch 1672 not taken.
✓ Branch 1674 taken 2 times.
✗ Branch 1675 not taken.
✓ Branch 1677 taken 2 times.
✗ Branch 1678 not taken.
✗ Branch 1680 not taken.
✗ Branch 1681 not taken.
✗ Branch 1683 not taken.
✗ Branch 1684 not taken.
✗ Branch 1686 not taken.
✗ Branch 1687 not taken.
✓ Branch 1690 taken 1 times.
✗ Branch 1691 not taken.
✓ Branch 1693 taken 2 times.
✗ Branch 1694 not taken.
✗ Branch 1695 not taken.
✓ Branch 1696 taken 1 times.
✓ Branch 1698 taken 1 times.
✗ Branch 1699 not taken.
✗ Branch 1700 not taken.
✓ Branch 1701 taken 1 times.
✓ Branch 1703 taken 1 times.
✗ Branch 1704 not taken.
✗ Branch 1705 not taken.
✓ Branch 1706 taken 1 times.
✓ Branch 1708 taken 1 times.
✗ Branch 1709 not taken.
✗ Branch 1710 not taken.
✓ Branch 1711 taken 1 times.
✓ Branch 1713 taken 1 times.
✗ Branch 1714 not taken.
✗ Branch 1715 not taken.
✓ Branch 1716 taken 1 times.
✓ Branch 1718 taken 1 times.
✗ Branch 1719 not taken.
✗ Branch 1720 not taken.
✓ Branch 1721 taken 1 times.
✓ Branch 1723 taken 1 times.
✗ Branch 1724 not taken.
✗ Branch 1725 not taken.
✓ Branch 1726 taken 1 times.
✓ Branch 1728 taken 1 times.
✗ Branch 1729 not taken.
✗ Branch 1730 not taken.
✓ Branch 1731 taken 1 times.
✓ Branch 1733 taken 1 times.
✗ Branch 1734 not taken.
✗ Branch 1735 not taken.
✓ Branch 1736 taken 3 times.
✗ Branch 1738 not taken.
✗ Branch 1739 not taken.
✗ Branch 1741 not taken.
✗ Branch 1742 not taken.
✗ Branch 1743 not taken.
✓ Branch 1744 taken 1 times.
✓ Branch 1746 taken 1 times.
✗ Branch 1747 not taken.
✗ Branch 1748 not taken.
✓ Branch 1749 taken 1 times.
✓ Branch 1751 taken 1 times.
✗ Branch 1752 not taken.
✗ Branch 1753 not taken.
✓ Branch 1754 taken 1 times.
✓ Branch 1756 taken 1 times.
✗ Branch 1757 not taken.
✗ Branch 1758 not taken.
✓ Branch 1759 taken 1 times.
✓ Branch 1761 taken 1 times.
✗ Branch 1762 not taken.
✗ Branch 1763 not taken.
✓ Branch 1764 taken 7 times.
✗ Branch 1766 not taken.
✗ Branch 1767 not taken.
✗ Branch 1769 not taken.
✗ Branch 1770 not taken.
✗ Branch 1771 not taken.
✓ Branch 1772 taken 1 times.
✓ Branch 1774 taken 1 times.
✗ Branch 1775 not taken.
✗ Branch 1776 not taken.
✓ Branch 1777 taken 1 times.
✓ Branch 1779 taken 1 times.
✗ Branch 1780 not taken.
✗ Branch 1781 not taken.
✓ Branch 1782 taken 1 times.
✓ Branch 1784 taken 1 times.
✗ Branch 1785 not taken.
✗ Branch 1786 not taken.
✓ Branch 1787 taken 1 times.
✓ Branch 1789 taken 1 times.
✗ Branch 1790 not taken.
✗ Branch 1791 not taken.
✓ Branch 1792 taken 1 times.
✓ Branch 1794 taken 1 times.
✗ Branch 1795 not taken.
✗ Branch 1796 not taken.
✓ Branch 1797 taken 1 times.
✓ Branch 1799 taken 1 times.
✗ Branch 1800 not taken.
✗ Branch 1801 not taken.
✓ Branch 1802 taken 1 times.
✓ Branch 1804 taken 1 times.
✗ Branch 1805 not taken.
✗ Branch 1806 not taken.
✓ Branch 1807 taken 1 times.
✓ Branch 1809 taken 1 times.
✗ Branch 1810 not taken.
✗ Branch 1811 not taken.
✓ Branch 1812 taken 7 times.
✗ Branch 1814 not taken.
✗ Branch 1815 not taken.
✗ Branch 1817 not taken.
✗ Branch 1818 not taken.
✗ Branch 1819 not taken.
✓ Branch 1820 taken 1 times.
✓ Branch 1822 taken 1 times.
✗ Branch 1823 not taken.
✗ Branch 1824 not taken.
✓ Branch 1825 taken 1 times.
✓ Branch 1827 taken 1 times.
✗ Branch 1828 not taken.
✗ Branch 1829 not taken.
✓ Branch 1830 taken 5 times.
✗ Branch 1832 not taken.
✗ Branch 1833 not taken.
✗ Branch 1835 not taken.
✗ Branch 1836 not taken.
✗ Branch 1837 not taken.
✓ Branch 1838 taken 1 times.
✓ Branch 1840 taken 1 times.
✗ Branch 1841 not taken.
✗ Branch 1842 not taken.
✓ Branch 1843 taken 26 times.
✗ Branch 1845 not taken.
✗ Branch 1846 not taken.
✗ Branch 1848 not taken.
✗ Branch 1849 not taken.
✗ Branch 1850 not taken.
✓ Branch 1851 taken 1 times.
✓ Branch 1853 taken 1 times.
✗ Branch 1854 not taken.
✓ Branch 1856 taken 1 times.
✗ Branch 1857 not taken.
✓ Branch 1859 taken 1 times.
✗ Branch 1860 not taken.
✓ Branch 1862 taken 1 times.
✗ Branch 1863 not taken.
✓ Branch 1865 taken 1 times.
✗ Branch 1866 not taken.
✓ Branch 1868 taken 1 times.
✗ Branch 1869 not taken.
✓ Branch 1871 taken 1 times.
✗ Branch 1872 not taken.
✓ Branch 1874 taken 1 times.
✗ Branch 1875 not taken.
✓ Branch 1877 taken 1 times.
✗ Branch 1878 not taken.
✓ Branch 1880 taken 1 times.
✗ Branch 1881 not taken.
✓ Branch 1883 taken 1 times.
✗ Branch 1884 not taken.
✓ Branch 1886 taken 1 times.
✗ Branch 1887 not taken.
✓ Branch 1889 taken 1 times.
✗ Branch 1890 not taken.
✓ Branch 1892 taken 1 times.
✗ Branch 1893 not taken.
✓ Branch 1895 taken 1 times.
✗ Branch 1896 not taken.
✓ Branch 1898 taken 1 times.
✗ Branch 1899 not taken.
✓ Branch 1901 taken 1 times.
✗ Branch 1902 not taken.
✓ Branch 1904 taken 1 times.
✗ Branch 1905 not taken.
✓ Branch 1907 taken 1 times.
✗ Branch 1908 not taken.
✓ Branch 1910 taken 1 times.
✗ Branch 1911 not taken.
✓ Branch 1913 taken 1 times.
✗ Branch 1914 not taken.
✓ Branch 1916 taken 1 times.
✗ Branch 1917 not taken.
✓ Branch 1919 taken 1 times.
✗ Branch 1920 not taken.
✓ Branch 1922 taken 1 times.
✗ Branch 1923 not taken.
✓ Branch 1925 taken 1 times.
✗ Branch 1926 not taken.
✓ Branch 1928 taken 1 times.
✗ Branch 1929 not taken.
✓ Branch 1931 taken 1 times.
✗ Branch 1932 not taken.
✓ Branch 1934 taken 1 times.
✗ Branch 1935 not taken.
✓ Branch 1937 taken 1 times.
✗ Branch 1938 not taken.
✓ Branch 1940 taken 1 times.
✗ Branch 1941 not taken.
✓ Branch 1943 taken 1 times.
✗ Branch 1944 not taken.
✓ Branch 1946 taken 1 times.
✗ Branch 1947 not taken.
✓ Branch 1949 taken 1 times.
✗ Branch 1950 not taken.
✓ Branch 1952 taken 1 times.
✗ Branch 1953 not taken.
✓ Branch 1955 taken 1 times.
✗ Branch 1956 not taken.
✓ Branch 1958 taken 1 times.
✗ Branch 1959 not taken.
✓ Branch 1961 taken 1 times.
✗ Branch 1962 not taken.
✓ Branch 1964 taken 1 times.
✗ Branch 1965 not taken.
✓ Branch 1967 taken 1 times.
✗ Branch 1968 not taken.
✓ Branch 1970 taken 1 times.
✗ Branch 1971 not taken.
✓ Branch 1973 taken 1 times.
✗ Branch 1974 not taken.
✓ Branch 1976 taken 1 times.
✗ Branch 1977 not taken.
✓ Branch 1979 taken 1 times.
✗ Branch 1980 not taken.
✓ Branch 1982 taken 1 times.
✗ Branch 1983 not taken.
✓ Branch 1985 taken 1 times.
✗ Branch 1986 not taken.
✓ Branch 1988 taken 1 times.
✗ Branch 1989 not taken.
✓ Branch 1991 taken 1 times.
✗ Branch 1992 not taken.
✓ Branch 1994 taken 1 times.
✗ Branch 1995 not taken.
✓ Branch 1997 taken 1 times.
✗ Branch 1998 not taken.
✓ Branch 8 taken 1053307 times.
✓ Branch 11 taken 6804 times.
✓ Branch 14 taken 16677 times.
✓ Branch 17 taken 5170 times.
✓ Branch 20 taken 1825 times.
✓ Branch 23 taken 17393 times.
✓ Branch 26 taken 1119396 times.
✓ Branch 31 taken 3742214 times.
✓ Branch 34 taken 7319766 times.
✓ Branch 37 taken 767143 times.
✓ Branch 40 taken 402734 times.
✓ Branch 43 taken 644946 times.
✓ Branch 54 taken 386847 times.
✓ Branch 57 taken 2694636 times.
✓ Branch 60 taken 967899 times.
✓ Branch 63 taken 1313608 times.
✓ Branch 80 taken 1095254 times.
✓ Branch 83 taken 1651856 times.
✓ Branch 103 taken 7219067 times.
✓ Branch 106 taken 3005289 times.
✓ Branch 115 taken 23254 times.
✓ Branch 123 taken 2821 times.
✓ Branch 126 taken 963 times.
✓ Branch 141 taken 10233 times.
✓ Branch 146 taken 14 times.
✓ Branch 149 taken 17 times.
✓ Branch 152 taken 115 times.
✓ Branch 155 taken 523 times.
✓ Branch 158 taken 31 times.
✓ Branch 161 taken 522 times.
✓ Branch 164 taken 18 times.
✓ Branch 169 taken 1156255 times.
✓ Branch 172 taken 734124 times.
✓ Branch 175 taken 108873 times.
✓ Branch 178 taken 7 times.
✓ Branch 181 taken 4 times.
✓ Branch 184 taken 107 times.
✓ Branch 187 taken 8 times.
✓ Branch 192 taken 2072 times.
✓ Branch 198 taken 18 times.
✓ Branch 201 taken 508 times.
✓ Branch 204 taken 2 times.
✓ Branch 215 taken 206 times.
✓ Branch 218 taken 9 times.
✓ Branch 221 taken 11 times.
✓ Branch 224 taken 10 times.
✓ Branch 233 taken 9 times.
✓ Branch 238 taken 23 times.
✓ Branch 241 taken 9 times.
✓ Branch 253 taken 108 times.
✓ Branch 3 taken 20506 times.
✓ Branch 49 taken 22844811 times.
✓ Branch 66 taken 2927930 times.
✓ Branch 72 taken 504310 times.
✓ Branch 77 taken 2567051 times.
✓ Branch 86 taken 35229 times.
✓ Branch 92 taken 77538 times.
✓ Branch 95 taken 2751300 times.
✓ Branch 100 taken 309730 times.
✓ Branch 109 taken 26856 times.
✓ Branch 112 taken 7966 times.
✓ Branch 46 taken 1257131 times.
✓ Branch 69 taken 287666 times.
✓ Branch 89 taken 800243 times.
✓ Branch 118 taken 173858 times.
✓ Branch 129 taken 283 times.
✓ Branch 132 taken 231 times.
✓ Branch 135 taken 237 times.
✓ Branch 230 taken 6 times.
✓ Branch 250 taken 8 times.
✓ Branch 138 taken 1966 times.
✓ Branch 0 taken 9 times.
✓ Branch 195 taken 19227 times.
✓ Branch 227 taken 6 times.
✓ Branch 207 taken 1251823 times.
✓ Branch 210 taken 18 times.
✓ Branch 244 taken 8 times.
✓ Branch 247 taken 8 times.
✗ Branch 261 not taken.
✗ Branch 264 not taken.
✗ Branch 267 not taken.
✗ Branch 270 not taken.
✗ Branch 273 not taken.
✗ Branch 276 not taken.
✗ Branch 279 not taken.
✓ Branch 256 taken 7 times.
|
330466849 | { return gridView_; } |
| 99 | |||
| 100 | /*! | ||
| 101 | * \brief Returns the mapper for vertices to indices for constant grids. | ||
| 102 | */ | ||
| 103 | const VertexMapper &vertexMapper() const | ||
| 104 | { return vertexMapper_; } | ||
| 105 | |||
| 106 | /*! | ||
| 107 | * \brief Returns the mapper for elements to indices for constant grids. | ||
| 108 | */ | ||
| 109 | const ElementMapper &elementMapper() const | ||
| 110 | { return elementMapper_; } | ||
| 111 | |||
| 112 | /*! | ||
| 113 | * \brief Returns the mapper for vertices to indices for possibly adaptive grids. | ||
| 114 | */ | ||
| 115 | 446194685 | VertexMapper &vertexMapper() | |
| 116 |
111/138✓ Branch 1 taken 1365 times.
✓ Branch 2 taken 5001 times.
✓ Branch 4 taken 1297817 times.
✓ Branch 5 taken 15091 times.
✓ Branch 7 taken 1671177 times.
✓ Branch 8 taken 64390 times.
✓ Branch 10 taken 1403122 times.
✓ Branch 11 taken 59685 times.
✓ Branch 13 taken 8229144 times.
✓ Branch 14 taken 612 times.
✓ Branch 16 taken 20126826 times.
✓ Branch 17 taken 40162 times.
✓ Branch 19 taken 6359536 times.
✓ Branch 20 taken 9651 times.
✓ Branch 22 taken 73652603 times.
✓ Branch 23 taken 1887 times.
✓ Branch 25 taken 23132 times.
✓ Branch 26 taken 14 times.
✓ Branch 28 taken 5149 times.
✓ Branch 29 taken 19217 times.
✓ Branch 31 taken 4288381 times.
✓ Branch 32 taken 922427 times.
✓ Branch 34 taken 8693 times.
✓ Branch 35 taken 32914 times.
✓ Branch 37 taken 3475 times.
✓ Branch 38 taken 12013059 times.
✓ Branch 40 taken 39 times.
✓ Branch 41 taken 583 times.
✓ Branch 43 taken 32899 times.
✓ Branch 44 taken 3204 times.
✓ Branch 46 taken 17 times.
✓ Branch 47 taken 152 times.
✓ Branch 49 taken 39231 times.
✓ Branch 50 taken 58 times.
✓ Branch 52 taken 4552 times.
✓ Branch 53 taken 7 times.
✓ Branch 55 taken 308006 times.
✓ Branch 56 taken 6 times.
✓ Branch 58 taken 6617 times.
✓ Branch 59 taken 2 times.
✓ Branch 61 taken 642400 times.
✓ Branch 62 taken 2 times.
✓ Branch 64 taken 1 times.
✓ Branch 65 taken 1 times.
✓ Branch 67 taken 2 times.
✓ Branch 68 taken 19265 times.
✓ Branch 70 taken 1 times.
✓ Branch 71 taken 1 times.
✓ Branch 74 taken 1 times.
✓ Branch 75 taken 2672 times.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✗ Branch 82 not taken.
✓ Branch 83 taken 2 times.
✗ Branch 86 not taken.
✓ Branch 87 taken 1027 times.
✓ Branch 90 taken 154010 times.
✓ Branch 91 taken 1 times.
✓ Branch 93 taken 10 times.
✓ Branch 94 taken 23125 times.
✓ Branch 96 taken 11 times.
✓ Branch 97 taken 2760 times.
✓ Branch 99 taken 3755462 times.
✗ Branch 100 not taken.
✓ Branch 102 taken 1 times.
✓ Branch 103 taken 600 times.
✓ Branch 105 taken 1 times.
✓ Branch 106 taken 400 times.
✓ Branch 0 taken 37 times.
✓ Branch 3 taken 212 times.
✓ Branch 6 taken 105 times.
✓ Branch 9 taken 37 times.
✓ Branch 12 taken 807702 times.
✓ Branch 15 taken 11343 times.
✓ Branch 18 taken 994 times.
✓ Branch 21 taken 23492 times.
✓ Branch 24 taken 45732 times.
✓ Branch 27 taken 23649 times.
✓ Branch 30 taken 4999 times.
✓ Branch 42 taken 356 times.
✓ Branch 51 taken 19 times.
✓ Branch 57 taken 76396 times.
✓ Branch 63 taken 934878 times.
✓ Branch 66 taken 5249 times.
✓ Branch 69 taken 2672 times.
✓ Branch 72 taken 4258 times.
✓ Branch 33 taken 7726 times.
✓ Branch 36 taken 29 times.
✓ Branch 39 taken 34 times.
✓ Branch 45 taken 3237 times.
✓ Branch 48 taken 41 times.
✓ Branch 60 taken 30982 times.
✓ Branch 54 taken 39323 times.
✗ Branch 80 not taken.
✓ Branch 88 taken 528 times.
✓ Branch 108 taken 33 times.
✓ Branch 109 taken 794 times.
✓ Branch 111 taken 705 times.
✓ Branch 112 taken 400 times.
✓ Branch 77 taken 1 times.
✓ Branch 92 taken 536 times.
✗ Branch 95 not taken.
✓ Branch 73 taken 1 times.
✓ Branch 76 taken 8 times.
✗ Branch 81 not taken.
✗ Branch 85 not taken.
✓ Branch 84 taken 28192 times.
✓ Branch 89 taken 11568 times.
✗ Branch 98 not taken.
✓ Branch 104 taken 76860 times.
✗ Branch 116 not taken.
✗ Branch 117 not taken.
✓ Branch 124 taken 7708 times.
✗ Branch 125 not taken.
✗ Branch 127 not taken.
✗ Branch 128 not taken.
✗ Branch 129 not taken.
✓ Branch 130 taken 40 times.
✓ Branch 132 taken 32 times.
✓ Branch 133 taken 5784 times.
✓ Branch 135 taken 912 times.
✗ Branch 136 not taken.
✓ Branch 138 taken 528 times.
✓ Branch 139 taken 1 times.
✗ Branch 107 not taken.
✗ Branch 110 not taken.
✗ Branch 113 not taken.
✓ Branch 121 taken 5784 times.
✗ Branch 122 not taken.
✗ Branch 134 not taken.
✗ Branch 137 not taken.
✗ Branch 140 not taken.
✓ Branch 142 taken 1 times.
✗ Branch 143 not taken.
✓ Branch 145 taken 1 times.
✗ Branch 146 not taken.
✓ Branch 148 taken 1 times.
✗ Branch 149 not taken.
|
446719465 | { return vertexMapper_; } |
| 117 | |||
| 118 | /*! | ||
| 119 | * \brief Returns the mapper for elements to indices for possibly adaptive grids. | ||
| 120 | */ | ||
| 121 | 1858613274 | ElementMapper &elementMapper() | |
| 122 |
411/746✓ Branch 48 taken 4862343 times.
✓ Branch 49 taken 10290 times.
✓ Branch 52 taken 1301991 times.
✓ Branch 53 taken 27693 times.
✓ Branch 55 taken 21845 times.
✓ Branch 56 taken 2745004 times.
✓ Branch 58 taken 858253 times.
✓ Branch 59 taken 2949523 times.
✓ Branch 61 taken 2307927 times.
✓ Branch 62 taken 64421 times.
✓ Branch 63 taken 3 times.
✓ Branch 64 taken 1292719 times.
✓ Branch 67 taken 5322 times.
✓ Branch 68 taken 9405 times.
✓ Branch 70 taken 3237351 times.
✓ Branch 71 taken 7379 times.
✓ Branch 73 taken 7535 times.
✓ Branch 74 taken 5230 times.
✓ Branch 76 taken 590589 times.
✓ Branch 77 taken 587871 times.
✓ Branch 78 taken 25955 times.
✓ Branch 79 taken 14295 times.
✓ Branch 82 taken 18454 times.
✓ Branch 83 taken 19300 times.
✓ Branch 85 taken 9396 times.
✓ Branch 86 taken 394 times.
✓ Branch 88 taken 17624 times.
✓ Branch 89 taken 48778 times.
✓ Branch 91 taken 24451 times.
✓ Branch 92 taken 141536 times.
✓ Branch 93 taken 86681 times.
✓ Branch 94 taken 13972 times.
✓ Branch 97 taken 16036 times.
✓ Branch 98 taken 120668 times.
✓ Branch 100 taken 1266909 times.
✓ Branch 101 taken 64 times.
✓ Branch 103 taken 2557468 times.
✗ Branch 104 not taken.
✓ Branch 106 taken 2015 times.
✓ Branch 107 taken 18647 times.
✓ Branch 108 taken 1 times.
✓ Branch 109 taken 14008 times.
✓ Branch 112 taken 9581 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 2 times.
✓ Branch 116 taken 25318 times.
✓ Branch 118 taken 1 times.
✗ Branch 119 not taken.
✓ Branch 121 taken 1 times.
✓ Branch 122 taken 24932 times.
✓ Branch 123 taken 41374 times.
✓ Branch 124 taken 30558 times.
✓ Branch 127 taken 60460 times.
✗ Branch 128 not taken.
✓ Branch 130 taken 3007002 times.
✓ Branch 131 taken 1928 times.
✓ Branch 133 taken 1929 times.
✓ Branch 134 taken 1927 times.
✓ Branch 136 taken 1 times.
✓ Branch 137 taken 6964 times.
✓ Branch 138 taken 1 times.
✗ Branch 139 not taken.
✓ Branch 142 taken 16 times.
✗ Branch 143 not taken.
✓ Branch 145 taken 1737 times.
✗ Branch 146 not taken.
✓ Branch 148 taken 6284257 times.
✗ Branch 149 not taken.
✓ Branch 151 taken 1 times.
✗ Branch 152 not taken.
✓ Branch 153 taken 1 times.
✓ Branch 154 taken 30606968 times.
✓ Branch 157 taken 1947 times.
✓ Branch 158 taken 3031056 times.
✓ Branch 160 taken 2 times.
✓ Branch 161 taken 1928 times.
✓ Branch 163 taken 1 times.
✗ Branch 164 not taken.
✓ Branch 166 taken 1 times.
✓ Branch 167 taken 97376 times.
✓ Branch 168 taken 1 times.
✗ Branch 169 not taken.
✓ Branch 172 taken 10 times.
✓ Branch 173 taken 1928 times.
✓ Branch 175 taken 1929 times.
✗ Branch 176 not taken.
✓ Branch 178 taken 1 times.
✓ Branch 179 taken 1927 times.
✓ Branch 181 taken 1 times.
✓ Branch 182 taken 1928 times.
✓ Branch 183 taken 1 times.
✗ Branch 184 not taken.
✓ Branch 187 taken 1941 times.
✗ Branch 188 not taken.
✓ Branch 190 taken 2 times.
✓ Branch 191 taken 1928 times.
✓ Branch 193 taken 1 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 1 times.
✗ Branch 197 not taken.
✓ Branch 198 taken 1 times.
✗ Branch 199 not taken.
✓ Branch 202 taken 17 times.
✗ Branch 203 not taken.
✓ Branch 205 taken 2 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 1 times.
✗ Branch 209 not taken.
✓ Branch 211 taken 1 times.
✗ Branch 212 not taken.
✓ Branch 213 taken 1 times.
✗ Branch 214 not taken.
✓ Branch 217 taken 20 times.
✗ Branch 218 not taken.
✓ Branch 220 taken 2 times.
✗ Branch 221 not taken.
✓ Branch 223 taken 1 times.
✗ Branch 224 not taken.
✓ Branch 226 taken 1 times.
✗ Branch 227 not taken.
✓ Branch 228 taken 1 times.
✗ Branch 229 not taken.
✓ Branch 232 taken 15 times.
✗ Branch 233 not taken.
✓ Branch 235 taken 2 times.
✗ Branch 236 not taken.
✓ Branch 238 taken 1 times.
✗ Branch 239 not taken.
✓ Branch 241 taken 1 times.
✗ Branch 242 not taken.
✓ Branch 243 taken 1 times.
✗ Branch 244 not taken.
✓ Branch 247 taken 18 times.
✗ Branch 248 not taken.
✓ Branch 250 taken 2 times.
✗ Branch 251 not taken.
✓ Branch 253 taken 1 times.
✗ Branch 254 not taken.
✓ Branch 256 taken 1 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 1 times.
✗ Branch 259 not taken.
✓ Branch 262 taken 22 times.
✗ Branch 263 not taken.
✓ Branch 265 taken 2 times.
✗ Branch 266 not taken.
✓ Branch 268 taken 1 times.
✗ Branch 269 not taken.
✓ Branch 271 taken 1 times.
✗ Branch 272 not taken.
✓ Branch 273 taken 1 times.
✗ Branch 274 not taken.
✓ Branch 277 taken 25 times.
✗ Branch 278 not taken.
✓ Branch 280 taken 2 times.
✗ Branch 281 not taken.
✓ Branch 283 taken 1 times.
✗ Branch 284 not taken.
✓ Branch 286 taken 1 times.
✗ Branch 287 not taken.
✓ Branch 288 taken 1 times.
✗ Branch 289 not taken.
✓ Branch 292 taken 11 times.
✗ Branch 293 not taken.
✓ Branch 295 taken 2 times.
✗ Branch 296 not taken.
✓ Branch 298 taken 1 times.
✗ Branch 299 not taken.
✓ Branch 301 taken 1 times.
✗ Branch 302 not taken.
✓ Branch 303 taken 1 times.
✗ Branch 304 not taken.
✓ Branch 307 taken 14 times.
✗ Branch 308 not taken.
✓ Branch 310 taken 2 times.
✗ Branch 311 not taken.
✓ Branch 313 taken 1 times.
✗ Branch 314 not taken.
✓ Branch 316 taken 1 times.
✗ Branch 317 not taken.
✓ Branch 318 taken 1 times.
✗ Branch 319 not taken.
✓ Branch 322 taken 18 times.
✗ Branch 323 not taken.
✓ Branch 325 taken 2 times.
✗ Branch 326 not taken.
✓ Branch 328 taken 1 times.
✗ Branch 329 not taken.
✓ Branch 331 taken 1 times.
✗ Branch 332 not taken.
✓ Branch 333 taken 1 times.
✗ Branch 334 not taken.
✓ Branch 337 taken 21 times.
✗ Branch 338 not taken.
✓ Branch 340 taken 2 times.
✗ Branch 341 not taken.
✓ Branch 343 taken 1 times.
✗ Branch 344 not taken.
✓ Branch 346 taken 1 times.
✗ Branch 347 not taken.
✓ Branch 348 taken 1 times.
✗ Branch 349 not taken.
✓ Branch 352 taken 11 times.
✗ Branch 353 not taken.
✓ Branch 355 taken 2 times.
✗ Branch 356 not taken.
✓ Branch 358 taken 1 times.
✗ Branch 359 not taken.
✓ Branch 361 taken 1 times.
✗ Branch 362 not taken.
✓ Branch 363 taken 1 times.
✗ Branch 364 not taken.
✓ Branch 367 taken 14 times.
✗ Branch 368 not taken.
✓ Branch 370 taken 2 times.
✗ Branch 371 not taken.
✓ Branch 373 taken 1 times.
✗ Branch 374 not taken.
✓ Branch 376 taken 1 times.
✗ Branch 377 not taken.
✓ Branch 378 taken 1 times.
✗ Branch 379 not taken.
✓ Branch 382 taken 18 times.
✗ Branch 383 not taken.
✓ Branch 385 taken 2 times.
✗ Branch 386 not taken.
✓ Branch 388 taken 1 times.
✗ Branch 389 not taken.
✓ Branch 391 taken 1 times.
✗ Branch 392 not taken.
✓ Branch 393 taken 1 times.
✗ Branch 394 not taken.
✓ Branch 397 taken 21 times.
✗ Branch 398 not taken.
✓ Branch 400 taken 2 times.
✗ Branch 401 not taken.
✓ Branch 403 taken 1 times.
✗ Branch 404 not taken.
✓ Branch 406 taken 1 times.
✗ Branch 407 not taken.
✓ Branch 409 taken 1 times.
✗ Branch 410 not taken.
✓ Branch 412 taken 1 times.
✗ Branch 413 not taken.
✓ Branch 415 taken 1 times.
✗ Branch 416 not taken.
✓ Branch 418 taken 1 times.
✗ Branch 419 not taken.
✓ Branch 421 taken 1 times.
✗ Branch 422 not taken.
✓ Branch 424 taken 1 times.
✗ Branch 425 not taken.
✓ Branch 427 taken 1 times.
✗ Branch 428 not taken.
✓ Branch 430 taken 1 times.
✗ Branch 431 not taken.
✓ Branch 433 taken 1 times.
✗ Branch 434 not taken.
✓ Branch 436 taken 1 times.
✗ Branch 437 not taken.
✓ Branch 439 taken 1 times.
✗ Branch 440 not taken.
✓ Branch 442 taken 1 times.
✗ Branch 443 not taken.
✓ Branch 445 taken 1 times.
✗ Branch 446 not taken.
✓ Branch 448 taken 1 times.
✗ Branch 449 not taken.
✓ Branch 451 taken 1 times.
✗ Branch 452 not taken.
✓ Branch 454 taken 1 times.
✗ Branch 455 not taken.
✓ Branch 457 taken 1 times.
✗ Branch 458 not taken.
✓ Branch 460 taken 1 times.
✗ Branch 461 not taken.
✓ Branch 463 taken 1 times.
✗ Branch 464 not taken.
✓ Branch 466 taken 1 times.
✗ Branch 467 not taken.
✓ Branch 469 taken 1 times.
✗ Branch 470 not taken.
✓ Branch 472 taken 1 times.
✗ Branch 473 not taken.
✓ Branch 475 taken 1 times.
✗ Branch 476 not taken.
✓ Branch 478 taken 1 times.
✗ Branch 479 not taken.
✓ Branch 481 taken 1 times.
✗ Branch 482 not taken.
✓ Branch 484 taken 1 times.
✗ Branch 485 not taken.
✓ Branch 487 taken 1 times.
✗ Branch 488 not taken.
✓ Branch 490 taken 1 times.
✗ Branch 491 not taken.
✓ Branch 493 taken 1 times.
✗ Branch 494 not taken.
✓ Branch 496 taken 1 times.
✗ Branch 497 not taken.
✓ Branch 499 taken 1 times.
✗ Branch 500 not taken.
✓ Branch 502 taken 1 times.
✗ Branch 503 not taken.
✓ Branch 505 taken 1 times.
✗ Branch 506 not taken.
✓ Branch 508 taken 1 times.
✗ Branch 509 not taken.
✓ Branch 511 taken 1 times.
✗ Branch 512 not taken.
✓ Branch 514 taken 1 times.
✗ Branch 515 not taken.
✓ Branch 517 taken 1 times.
✗ Branch 518 not taken.
✓ Branch 520 taken 1 times.
✗ Branch 521 not taken.
✓ Branch 523 taken 1 times.
✗ Branch 524 not taken.
✓ Branch 526 taken 1 times.
✗ Branch 527 not taken.
✓ Branch 529 taken 1 times.
✗ Branch 530 not taken.
✓ Branch 532 taken 1 times.
✗ Branch 533 not taken.
✓ Branch 535 taken 1 times.
✗ Branch 536 not taken.
✓ Branch 538 taken 1 times.
✗ Branch 539 not taken.
✓ Branch 541 taken 1 times.
✗ Branch 542 not taken.
✓ Branch 544 taken 1 times.
✗ Branch 545 not taken.
✓ Branch 547 taken 1 times.
✗ Branch 548 not taken.
✓ Branch 550 taken 1 times.
✗ Branch 551 not taken.
✓ Branch 553 taken 1 times.
✗ Branch 554 not taken.
✓ Branch 556 taken 1 times.
✗ Branch 557 not taken.
✓ Branch 559 taken 1 times.
✗ Branch 560 not taken.
✓ Branch 562 taken 1 times.
✗ Branch 563 not taken.
✓ Branch 565 taken 1 times.
✗ Branch 566 not taken.
✓ Branch 568 taken 1 times.
✗ Branch 569 not taken.
✓ Branch 571 taken 1 times.
✗ Branch 572 not taken.
✓ Branch 574 taken 1 times.
✗ Branch 575 not taken.
✓ Branch 577 taken 1 times.
✗ Branch 578 not taken.
✓ Branch 580 taken 1 times.
✗ Branch 581 not taken.
✓ Branch 583 taken 1 times.
✗ Branch 584 not taken.
✓ Branch 586 taken 1 times.
✗ Branch 587 not taken.
✓ Branch 589 taken 1 times.
✗ Branch 590 not taken.
✓ Branch 592 taken 1 times.
✗ Branch 593 not taken.
✓ Branch 595 taken 1 times.
✗ Branch 596 not taken.
✓ Branch 598 taken 1 times.
✗ Branch 599 not taken.
✓ Branch 601 taken 1 times.
✗ Branch 602 not taken.
✓ Branch 604 taken 1 times.
✗ Branch 605 not taken.
✓ Branch 607 taken 1 times.
✗ Branch 608 not taken.
✓ Branch 610 taken 1 times.
✗ Branch 611 not taken.
✓ Branch 613 taken 1 times.
✗ Branch 614 not taken.
✓ Branch 616 taken 1 times.
✗ Branch 617 not taken.
✓ Branch 619 taken 1 times.
✗ Branch 620 not taken.
✓ Branch 622 taken 1 times.
✗ Branch 623 not taken.
✓ Branch 625 taken 1 times.
✗ Branch 626 not taken.
✓ Branch 628 taken 1 times.
✗ Branch 629 not taken.
✓ Branch 631 taken 1 times.
✗ Branch 632 not taken.
✓ Branch 634 taken 1 times.
✗ Branch 635 not taken.
✓ Branch 637 taken 1 times.
✗ Branch 638 not taken.
✓ Branch 640 taken 1 times.
✗ Branch 641 not taken.
✓ Branch 643 taken 1 times.
✗ Branch 644 not taken.
✓ Branch 646 taken 1 times.
✗ Branch 647 not taken.
✓ Branch 649 taken 1 times.
✗ Branch 650 not taken.
✓ Branch 652 taken 1 times.
✗ Branch 653 not taken.
✓ Branch 655 taken 1 times.
✗ Branch 656 not taken.
✓ Branch 658 taken 1 times.
✗ Branch 659 not taken.
✓ Branch 661 taken 1 times.
✗ Branch 662 not taken.
✓ Branch 664 taken 1 times.
✗ Branch 665 not taken.
✓ Branch 667 taken 1 times.
✗ Branch 668 not taken.
✓ Branch 670 taken 1 times.
✗ Branch 671 not taken.
✓ Branch 673 taken 1 times.
✗ Branch 674 not taken.
✓ Branch 676 taken 1 times.
✗ Branch 677 not taken.
✓ Branch 679 taken 1 times.
✗ Branch 680 not taken.
✓ Branch 682 taken 1 times.
✗ Branch 683 not taken.
✓ Branch 685 taken 1 times.
✗ Branch 686 not taken.
✓ Branch 688 taken 1 times.
✗ Branch 689 not taken.
✓ Branch 691 taken 1 times.
✗ Branch 692 not taken.
✓ Branch 694 taken 1 times.
✗ Branch 695 not taken.
✓ Branch 697 taken 1 times.
✗ Branch 698 not taken.
✓ Branch 700 taken 1 times.
✗ Branch 701 not taken.
✓ Branch 703 taken 1 times.
✗ Branch 704 not taken.
✓ Branch 706 taken 1 times.
✗ Branch 707 not taken.
✓ Branch 709 taken 1 times.
✗ Branch 710 not taken.
✓ Branch 712 taken 1 times.
✗ Branch 713 not taken.
✓ Branch 715 taken 1 times.
✗ Branch 716 not taken.
✓ Branch 718 taken 1 times.
✗ Branch 719 not taken.
✓ Branch 721 taken 1 times.
✗ Branch 722 not taken.
✓ Branch 724 taken 1 times.
✗ Branch 725 not taken.
✓ Branch 727 taken 1 times.
✗ Branch 728 not taken.
✓ Branch 730 taken 1 times.
✗ Branch 731 not taken.
✓ Branch 733 taken 1 times.
✗ Branch 734 not taken.
✓ Branch 736 taken 1 times.
✗ Branch 737 not taken.
✓ Branch 739 taken 1 times.
✗ Branch 740 not taken.
✓ Branch 742 taken 1 times.
✗ Branch 743 not taken.
✓ Branch 745 taken 1 times.
✗ Branch 746 not taken.
✓ Branch 748 taken 1 times.
✗ Branch 749 not taken.
✓ Branch 751 taken 1 times.
✗ Branch 752 not taken.
✓ Branch 754 taken 1 times.
✗ Branch 755 not taken.
✓ Branch 757 taken 1 times.
✗ Branch 758 not taken.
✓ Branch 760 taken 1 times.
✗ Branch 761 not taken.
✓ Branch 763 taken 1 times.
✗ Branch 764 not taken.
✓ Branch 766 taken 1 times.
✗ Branch 767 not taken.
✓ Branch 769 taken 1 times.
✗ Branch 770 not taken.
✓ Branch 772 taken 1 times.
✗ Branch 773 not taken.
✓ Branch 775 taken 1 times.
✗ Branch 776 not taken.
✓ Branch 778 taken 1 times.
✗ Branch 779 not taken.
✓ Branch 781 taken 1 times.
✗ Branch 782 not taken.
✓ Branch 784 taken 1 times.
✗ Branch 785 not taken.
✓ Branch 787 taken 1 times.
✗ Branch 788 not taken.
✓ Branch 790 taken 1 times.
✗ Branch 791 not taken.
✓ Branch 793 taken 1 times.
✗ Branch 794 not taken.
✓ Branch 796 taken 1 times.
✗ Branch 797 not taken.
✓ Branch 799 taken 1 times.
✗ Branch 800 not taken.
✓ Branch 802 taken 1 times.
✗ Branch 803 not taken.
✓ Branch 805 taken 1 times.
✗ Branch 806 not taken.
✓ Branch 808 taken 1 times.
✗ Branch 809 not taken.
✓ Branch 811 taken 1 times.
✗ Branch 812 not taken.
✓ Branch 814 taken 1 times.
✗ Branch 815 not taken.
✓ Branch 817 taken 1 times.
✗ Branch 818 not taken.
✓ Branch 820 taken 1 times.
✗ Branch 821 not taken.
✓ Branch 823 taken 1 times.
✗ Branch 824 not taken.
✓ Branch 826 taken 1 times.
✗ Branch 827 not taken.
✓ Branch 829 taken 1 times.
✗ Branch 830 not taken.
✓ Branch 832 taken 1 times.
✗ Branch 833 not taken.
✓ Branch 835 taken 1 times.
✗ Branch 836 not taken.
✓ Branch 838 taken 1 times.
✗ Branch 839 not taken.
✓ Branch 841 taken 1 times.
✗ Branch 842 not taken.
✓ Branch 844 taken 1 times.
✗ Branch 845 not taken.
✓ Branch 847 taken 1 times.
✗ Branch 848 not taken.
✓ Branch 850 taken 1 times.
✗ Branch 851 not taken.
✓ Branch 853 taken 1 times.
✗ Branch 854 not taken.
✓ Branch 856 taken 1 times.
✗ Branch 857 not taken.
✓ Branch 859 taken 1 times.
✗ Branch 860 not taken.
✓ Branch 862 taken 1 times.
✗ Branch 863 not taken.
✓ Branch 865 taken 1 times.
✗ Branch 866 not taken.
✓ Branch 868 taken 1 times.
✗ Branch 869 not taken.
✓ Branch 871 taken 1 times.
✗ Branch 872 not taken.
✓ Branch 874 taken 1 times.
✗ Branch 875 not taken.
✓ Branch 877 taken 1 times.
✗ Branch 878 not taken.
✓ Branch 880 taken 1 times.
✗ Branch 881 not taken.
✓ Branch 883 taken 1 times.
✗ Branch 884 not taken.
✓ Branch 886 taken 1 times.
✗ Branch 887 not taken.
✓ Branch 889 taken 1 times.
✗ Branch 890 not taken.
✓ Branch 892 taken 1 times.
✗ Branch 893 not taken.
✓ Branch 895 taken 1 times.
✗ Branch 896 not taken.
✓ Branch 898 taken 1 times.
✗ Branch 899 not taken.
✓ Branch 901 taken 1 times.
✗ Branch 902 not taken.
✓ Branch 904 taken 1 times.
✗ Branch 905 not taken.
✓ Branch 907 taken 1 times.
✗ Branch 908 not taken.
✓ Branch 910 taken 1 times.
✗ Branch 911 not taken.
✓ Branch 913 taken 1 times.
✗ Branch 914 not taken.
✓ Branch 916 taken 1 times.
✗ Branch 917 not taken.
✓ Branch 919 taken 1 times.
✗ Branch 920 not taken.
✓ Branch 922 taken 1 times.
✗ Branch 923 not taken.
✓ Branch 925 taken 1 times.
✗ Branch 926 not taken.
✓ Branch 928 taken 1 times.
✗ Branch 929 not taken.
✓ Branch 931 taken 1 times.
✗ Branch 932 not taken.
✓ Branch 934 taken 1 times.
✗ Branch 935 not taken.
✓ Branch 937 taken 1 times.
✗ Branch 938 not taken.
✓ Branch 940 taken 1 times.
✗ Branch 941 not taken.
✓ Branch 943 taken 1 times.
✗ Branch 944 not taken.
✓ Branch 946 taken 1 times.
✗ Branch 947 not taken.
✗ Branch 1295 not taken.
✗ Branch 1296 not taken.
✗ Branch 1298 not taken.
✗ Branch 1299 not taken.
✗ Branch 1301 not taken.
✗ Branch 1302 not taken.
✗ Branch 1304 not taken.
✗ Branch 1305 not taken.
✗ Branch 1307 not taken.
✗ Branch 1308 not taken.
✗ Branch 1316 not taken.
✗ Branch 1317 not taken.
✗ Branch 1319 not taken.
✗ Branch 1320 not taken.
✗ Branch 1322 not taken.
✗ Branch 1323 not taken.
✗ Branch 1325 not taken.
✗ Branch 1326 not taken.
✗ Branch 1328 not taken.
✗ Branch 1329 not taken.
✗ Branch 1337 not taken.
✗ Branch 1338 not taken.
✗ Branch 1340 not taken.
✗ Branch 1341 not taken.
✗ Branch 1343 not taken.
✗ Branch 1344 not taken.
✗ Branch 1346 not taken.
✗ Branch 1347 not taken.
✗ Branch 1349 not taken.
✗ Branch 1350 not taken.
✗ Branch 1358 not taken.
✗ Branch 1359 not taken.
✗ Branch 1361 not taken.
✗ Branch 1362 not taken.
✗ Branch 1364 not taken.
✗ Branch 1365 not taken.
✗ Branch 1367 not taken.
✗ Branch 1368 not taken.
✗ Branch 1370 not taken.
✗ Branch 1371 not taken.
✗ Branch 1379 not taken.
✗ Branch 1380 not taken.
✗ Branch 1499 not taken.
✗ Branch 1500 not taken.
✗ Branch 1502 not taken.
✗ Branch 1503 not taken.
✗ Branch 1505 not taken.
✗ Branch 1506 not taken.
✗ Branch 1508 not taken.
✗ Branch 1509 not taken.
✗ Branch 1511 not taken.
✗ Branch 1512 not taken.
✓ Branch 1 taken 23257 times.
✓ Branch 2 taken 9510 times.
✓ Branch 3 taken 191613 times.
✓ Branch 5 taken 23374 times.
✓ Branch 6 taken 868281 times.
✓ Branch 8 taken 5833 times.
✓ Branch 9 taken 79700 times.
✓ Branch 11 taken 11091 times.
✓ Branch 12 taken 8851 times.
✓ Branch 14 taken 16154 times.
✓ Branch 15 taken 9914 times.
✓ Branch 17 taken 10247 times.
✓ Branch 18 taken 33257 times.
✓ Branch 20 taken 72085 times.
✓ Branch 21 taken 83707 times.
✓ Branch 22 taken 116333 times.
✓ Branch 23 taken 62872 times.
✓ Branch 26 taken 848476 times.
✓ Branch 27 taken 89644 times.
✓ Branch 29 taken 470996 times.
✓ Branch 30 taken 357394 times.
✓ Branch 32 taken 536530 times.
✓ Branch 33 taken 61834 times.
✓ Branch 35 taken 149292 times.
✓ Branch 36 taken 163449 times.
✓ Branch 37 taken 486138 times.
✓ Branch 38 taken 55282 times.
✓ Branch 39 taken 17505 times.
✓ Branch 41 taken 7552437 times.
✓ Branch 42 taken 373603 times.
✓ Branch 44 taken 13001518 times.
✓ Branch 45 taken 19106 times.
✓ Branch 47 taken 2625894 times.
✓ Branch 50 taken 1865543 times.
✓ Branch 51 taken 20540 times.
✓ Branch 54 taken 28825 times.
✓ Branch 57 taken 580341 times.
✓ Branch 60 taken 77210 times.
✓ Branch 65 taken 15418 times.
✓ Branch 66 taken 13683 times.
✓ Branch 69 taken 1241736 times.
✓ Branch 87 taken 191037 times.
✓ Branch 90 taken 126462 times.
✓ Branch 95 taken 49651 times.
✓ Branch 96 taken 165211 times.
✗ Branch 117 not taken.
✗ Branch 120 not taken.
✓ Branch 126 taken 59303 times.
✗ Branch 132 not taken.
✗ Branch 135 not taken.
✓ Branch 140 taken 3 times.
✗ Branch 141 not taken.
✓ Branch 150 taken 2873 times.
✓ Branch 155 taken 25791 times.
✗ Branch 156 not taken.
✓ Branch 4 taken 163917 times.
✓ Branch 7 taken 62860 times.
✓ Branch 10 taken 3645 times.
✓ Branch 13 taken 380515 times.
✓ Branch 16 taken 7646 times.
✓ Branch 19 taken 219363 times.
✓ Branch 24 taken 428571 times.
✓ Branch 25 taken 19692905 times.
✓ Branch 28 taken 398299 times.
✓ Branch 31 taken 11745 times.
✓ Branch 72 taken 1242380 times.
✓ Branch 81 taken 48821 times.
✓ Branch 84 taken 46889 times.
✓ Branch 34 taken 182179 times.
✓ Branch 43 taken 1176487 times.
✓ Branch 46 taken 74328 times.
✓ Branch 0 taken 1480 times.
✓ Branch 40 taken 223102 times.
✓ Branch 80 taken 92884 times.
✓ Branch 75 taken 1983 times.
✓ Branch 102 taken 1340130 times.
✓ Branch 105 taken 2995992 times.
✓ Branch 99 taken 1 times.
✓ Branch 110 taken 12 times.
✗ Branch 111 not taken.
✗ Branch 114 not taken.
✗ Branch 125 not taken.
✓ Branch 165 taken 1928 times.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✗ Branch 180 not taken.
✓ Branch 129 taken 12172000 times.
✗ Branch 174 not taken.
✗ Branch 185 not taken.
✗ Branch 192 not taken.
✓ Branch 195 taken 1928 times.
✓ Branch 144 taken 9023616 times.
✗ Branch 159 not taken.
✗ Branch 162 not taken.
|
1786687663 | { return elementMapper_; } |
| 123 | |||
| 124 | /*! | ||
| 125 | * \brief Returns the bounding box tree of the grid | ||
| 126 | */ | ||
| 127 | 54596 | const BoundingBoxTree& boundingBoxTree() const | |
| 128 |
7/9✓ Branch 1 taken 7376 times.
✓ Branch 2 taken 11340 times.
✓ Branch 4 taken 51 times.
✓ Branch 5 taken 11340 times.
✓ Branch 7 taken 4724 times.
✓ Branch 8 taken 3056 times.
✓ Branch 3 taken 1 times.
✗ Branch 6 not taken.
✗ Branch 9 not taken.
|
54596 | { return *boundingBoxTree_; } |
| 129 | |||
| 130 | /*! | ||
| 131 | * \brief Returns the element index to element map | ||
| 132 | */ | ||
| 133 | 882807174 | const ElementMap& elementMap() const | |
| 134 | 890837335 | { return *elementMap_; } | |
| 135 | |||
| 136 | /*! | ||
| 137 | * \brief Get an element from a global element index | ||
| 138 | */ | ||
| 139 |
45/55✓ Branch 2 taken 1999735 times.
✓ Branch 3 taken 26519063 times.
✓ Branch 7 taken 32659976 times.
✓ Branch 8 taken 460792 times.
✓ Branch 10 taken 1339862 times.
✓ Branch 11 taken 448873 times.
✓ Branch 13 taken 1881630 times.
✓ Branch 14 taken 1022403 times.
✓ Branch 4 taken 5801562 times.
✓ Branch 9 taken 1312 times.
✓ Branch 5 taken 21392 times.
✓ Branch 1 taken 6515070 times.
✓ Branch 12 taken 306598 times.
✓ Branch 6 taken 4585 times.
✓ Branch 15 taken 631982 times.
✓ Branch 16 taken 2467174 times.
✓ Branch 18 taken 301148 times.
✓ Branch 19 taken 1795680 times.
✓ Branch 17 taken 18760260 times.
✓ Branch 22 taken 1296588 times.
✓ Branch 23 taken 18224707 times.
✓ Branch 25 taken 333828 times.
✓ Branch 26 taken 317152 times.
✓ Branch 30 taken 147538 times.
✓ Branch 31 taken 214032 times.
✓ Branch 20 taken 18333028 times.
✓ Branch 21 taken 3036 times.
✓ Branch 24 taken 72372 times.
✓ Branch 27 taken 105566 times.
✓ Branch 28 taken 460324 times.
✓ Branch 35 taken 517236 times.
✓ Branch 36 taken 28 times.
✓ Branch 32 taken 50000 times.
✗ Branch 29 not taken.
✗ Branch 37 not taken.
✓ Branch 33 taken 28 times.
✓ Branch 34 taken 621952 times.
✓ Branch 39 taken 28 times.
✗ Branch 40 not taken.
✓ Branch 42 taken 146664 times.
✗ Branch 43 not taken.
✓ Branch 45 taken 146664 times.
✗ Branch 46 not taken.
✓ Branch 48 taken 145768 times.
✗ Branch 49 not taken.
✗ Branch 52 not taken.
✓ Branch 53 taken 864 times.
✓ Branch 57 taken 200 times.
✗ Branch 58 not taken.
✓ Branch 60 taken 100 times.
✗ Branch 61 not taken.
✓ Branch 63 taken 1354 times.
✗ Branch 64 not taken.
✓ Branch 38 taken 304 times.
✓ Branch 41 taken 200 times.
|
731500492 | Element element(GridIndexType eIdx) const |
| 140 |
115/132✓ Branch 1 taken 6559249 times.
✓ Branch 2 taken 2889658 times.
✓ Branch 4 taken 5843939 times.
✓ Branch 5 taken 1293403 times.
✓ Branch 7 taken 49245503 times.
✓ Branch 8 taken 3310620 times.
✓ Branch 10 taken 2941237 times.
✓ Branch 11 taken 136986 times.
✓ Branch 13 taken 1847642 times.
✓ Branch 14 taken 1579424 times.
✓ Branch 16 taken 894978 times.
✓ Branch 17 taken 171127 times.
✓ Branch 19 taken 368639 times.
✓ Branch 20 taken 11505 times.
✓ Branch 22 taken 995320 times.
✓ Branch 23 taken 2637756 times.
✓ Branch 25 taken 582083 times.
✓ Branch 26 taken 715014 times.
✓ Branch 28 taken 12335940 times.
✓ Branch 29 taken 1035956 times.
✓ Branch 31 taken 32821 times.
✓ Branch 32 taken 10738 times.
✓ Branch 34 taken 36915 times.
✓ Branch 35 taken 17380 times.
✓ Branch 37 taken 470275 times.
✓ Branch 38 taken 3359735 times.
✓ Branch 40 taken 1478145 times.
✓ Branch 41 taken 831073 times.
✓ Branch 43 taken 3994454 times.
✓ Branch 44 taken 1041182 times.
✓ Branch 46 taken 1255380 times.
✓ Branch 47 taken 1510544 times.
✓ Branch 49 taken 746553 times.
✓ Branch 50 taken 2481668 times.
✓ Branch 52 taken 1250039 times.
✓ Branch 53 taken 1822070 times.
✓ Branch 55 taken 1935923 times.
✓ Branch 56 taken 4516656 times.
✓ Branch 58 taken 1371681 times.
✓ Branch 59 taken 18334796 times.
✓ Branch 61 taken 389820 times.
✓ Branch 62 taken 18358020 times.
✓ Branch 64 taken 18323249 times.
✓ Branch 65 taken 232178 times.
✓ Branch 67 taken 18371355 times.
✓ Branch 68 taken 3172 times.
✓ Branch 70 taken 412049 times.
✓ Branch 71 taken 208604 times.
✓ Branch 3 taken 50793691 times.
✓ Branch 9 taken 9530588 times.
✓ Branch 6 taken 66576311 times.
✓ Branch 12 taken 106 times.
✓ Branch 15 taken 181248 times.
✓ Branch 18 taken 1683096 times.
✓ Branch 21 taken 60182 times.
✓ Branch 24 taken 125464 times.
✓ Branch 30 taken 342696 times.
✓ Branch 33 taken 730050 times.
✓ Branch 27 taken 1429772 times.
✓ Branch 39 taken 1802810 times.
✓ Branch 36 taken 711846 times.
✓ Branch 42 taken 1376110 times.
✓ Branch 45 taken 1238158 times.
✓ Branch 48 taken 457584 times.
✓ Branch 51 taken 484708 times.
✓ Branch 54 taken 18333856 times.
✓ Branch 57 taken 17513804 times.
✓ Branch 60 taken 1293172 times.
✓ Branch 73 taken 7065 times.
✓ Branch 74 taken 7424 times.
✓ Branch 76 taken 12499285 times.
✓ Branch 77 taken 4114 times.
✓ Branch 81 taken 391270 times.
✓ Branch 82 taken 151606 times.
✓ Branch 85 taken 510920 times.
✓ Branch 86 taken 203848 times.
✓ Branch 88 taken 70554 times.
✗ Branch 89 not taken.
✓ Branch 91 taken 208324 times.
✓ Branch 92 taken 28 times.
✓ Branch 63 taken 1293687 times.
✓ Branch 66 taken 2176 times.
✓ Branch 79 taken 1786 times.
✓ Branch 80 taken 209974 times.
✓ Branch 83 taken 3308 times.
✓ Branch 87 taken 151086 times.
✓ Branch 94 taken 136 times.
✓ Branch 95 taken 28 times.
✓ Branch 97 taken 164 times.
✓ Branch 98 taken 634860 times.
✓ Branch 69 taken 17804 times.
✓ Branch 72 taken 187170 times.
✗ Branch 75 not taken.
✓ Branch 78 taken 684608 times.
✓ Branch 90 taken 312980 times.
✓ Branch 93 taken 621952 times.
✗ Branch 96 not taken.
✓ Branch 84 taken 518582 times.
✓ Branch 99 taken 520 times.
✓ Branch 101 taken 28 times.
✓ Branch 102 taken 146664 times.
✓ Branch 100 taken 1972 times.
✗ Branch 103 not taken.
✓ Branch 105 taken 140060 times.
✗ Branch 106 not taken.
✓ Branch 108 taken 28 times.
✗ Branch 109 not taken.
✓ Branch 104 taken 6632 times.
✓ Branch 107 taken 146664 times.
✓ Branch 110 taken 146664 times.
✓ Branch 112 taken 145768 times.
✗ Branch 113 not taken.
✓ Branch 115 taken 145768 times.
✗ Branch 116 not taken.
✓ Branch 119 taken 6 times.
✗ Branch 120 not taken.
✗ Branch 122 not taken.
✓ Branch 123 taken 864 times.
✗ Branch 125 not taken.
✓ Branch 126 taken 97376 times.
✓ Branch 129 taken 12271831 times.
✗ Branch 130 not taken.
✓ Branch 132 taken 200 times.
✗ Branch 133 not taken.
✓ Branch 135 taken 200 times.
✗ Branch 136 not taken.
✓ Branch 138 taken 100 times.
✗ Branch 139 not taken.
✓ Branch 141 taken 100 times.
✗ Branch 142 not taken.
✓ Branch 144 taken 1354 times.
✗ Branch 145 not taken.
|
1120879149 | { return elementMap()[eIdx]; } |
| 141 | |||
| 142 | /*! | ||
| 143 | * \brief The coordinate of the corner of the GridView's bounding | ||
| 144 | * box with the smallest values. | ||
| 145 | */ | ||
| 146 | 12 | const GlobalCoordinate &bBoxMin() const | |
| 147 |
18/18✓ Branch 1 taken 22691544 times.
✓ Branch 2 taken 1409237 times.
✓ Branch 4 taken 10005916 times.
✓ Branch 5 taken 161880471 times.
✓ Branch 7 taken 97558474 times.
✓ Branch 8 taken 4006305 times.
✓ Branch 10 taken 1541878 times.
✓ Branch 11 taken 36973262 times.
✓ Branch 13 taken 1191 times.
✓ Branch 14 taken 1834 times.
✓ Branch 16 taken 1279 times.
✓ Branch 17 taken 340104 times.
✓ Branch 0 taken 74957280 times.
✓ Branch 3 taken 142983165 times.
✓ Branch 6 taken 5653342 times.
✓ Branch 9 taken 34270935 times.
✓ Branch 12 taken 1179008 times.
✓ Branch 15 taken 11912 times.
|
607526120 | { return bBoxMin_; } |
| 148 | |||
| 149 | /*! | ||
| 150 | * \brief The coordinate of the corner of the GridView's bounding | ||
| 151 | * box with the largest values. | ||
| 152 | */ | ||
| 153 | 13 | const GlobalCoordinate &bBoxMax() const | |
| 154 |
19/19✓ Branch 1 taken 29580866 times.
✓ Branch 2 taken 67458327 times.
✓ Branch 3 taken 49517277 times.
✓ Branch 4 taken 378953602 times.
✓ Branch 5 taken 11988471 times.
✓ Branch 6 taken 141718333 times.
✓ Branch 7 taken 18977995 times.
✓ Branch 8 taken 229145350 times.
✓ Branch 9 taken 19195292 times.
✓ Branch 10 taken 300336017 times.
✓ Branch 11 taken 13856572 times.
✓ Branch 12 taken 152537973 times.
✓ Branch 13 taken 1276486 times.
✓ Branch 14 taken 39208858 times.
✓ Branch 15 taken 2234398 times.
✓ Branch 16 taken 35000778 times.
✓ Branch 17 taken 2234566 times.
✓ Branch 18 taken 34995395 times.
✓ Branch 0 taken 3567168 times.
|
1436896602 | { return bBoxMax_; } |
| 155 | |||
| 156 | private: | ||
| 157 | |||
| 158 | //! Return an instance of the element mapper | ||
| 159 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
1188 | ElementMapper makeElementMapper_(const GridView& gridView) const |
| 160 | { | ||
| 161 | if constexpr (std::is_constructible<ElementMapper, GridView, Dune::MCMGLayout>()) | ||
| 162 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
2376 | return ElementMapper(gridView, Dune::mcmgElementLayout()); |
| 163 | else | ||
| 164 | return ElementMapper(gridView); | ||
| 165 | } | ||
| 166 | |||
| 167 | //! Return an instance of the vertex mapper | ||
| 168 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
1188 | VertexMapper makeVertexMapper_(const GridView& gridView) const |
| 169 | { | ||
| 170 | if constexpr (std::is_constructible<VertexMapper, GridView, Dune::MCMGLayout>()) | ||
| 171 |
1/2✓ Branch 1 taken 879 times.
✗ Branch 2 not taken.
|
2376 | return VertexMapper(gridView, Dune::mcmgVertexLayout()); |
| 172 | else | ||
| 173 | return VertexMapper(gridView); | ||
| 174 | } | ||
| 175 | |||
| 176 | //! Compute the bounding box of the entire domain, for e.g. setting boundary conditions | ||
| 177 | 2409 | void computeGlobalBoundingBox_() | |
| 178 | { | ||
| 179 | // calculate the bounding box of the local partition of the grid view | ||
| 180 |
9/11✓ Branch 2 taken 5603544 times.
✓ Branch 3 taken 164879 times.
✓ Branch 5 taken 575373 times.
✓ Branch 6 taken 575070 times.
✓ Branch 8 taken 568702 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 265 times.
✓ Branch 11 taken 568702 times.
✓ Branch 4 taken 164372 times.
✓ Branch 7 taken 18 times.
✗ Branch 1 not taken.
|
23576776 | for (const auto& vertex : vertices(gridView_)) |
| 181 | { | ||
| 182 |
2/2✓ Branch 0 taken 16117015 times.
✓ Branch 1 taken 6910425 times.
|
37689539 | for (int i=0; i<dimWorld; i++) |
| 183 | { | ||
| 184 | using std::min; | ||
| 185 | using std::max; | ||
| 186 |
4/4✓ Branch 0 taken 4797 times.
✓ Branch 1 taken 12309541 times.
✓ Branch 2 taken 3851269 times.
✓ Branch 3 taken 11989500 times.
|
26622286 | bBoxMin_[i] = min(bBoxMin_[i], vertex.geometry().corner(0)[i]); |
| 187 |
3/3✓ Branch 1 taken 12392324 times.
✓ Branch 2 taken 3671000 times.
✓ Branch 0 taken 53691 times.
|
26939443 | bBoxMax_[i] = max(bBoxMax_[i], vertex.geometry().corner(0)[i]); |
| 188 | } | ||
| 189 | } | ||
| 190 | |||
| 191 | // communicate to get the bounding box of the whole domain | ||
| 192 |
4/4✓ Branch 0 taken 4 times.
✓ Branch 1 taken 1559 times.
✓ Branch 2 taken 293 times.
✓ Branch 3 taken 1079 times.
|
2409 | if (gridView_.comm().size() > 1) |
| 193 | { | ||
| 194 |
2/2✓ Branch 0 taken 232 times.
✓ Branch 1 taken 112 times.
|
376 | for (int i = 0; i < dimWorld; ++i) |
| 195 | { | ||
| 196 |
2/4✗ Branch 0 not taken.
✓ Branch 1 taken 144 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 144 times.
|
256 | bBoxMin_[i] = gridView_.comm().min(bBoxMin_[i]); |
| 197 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 144 times.
|
256 | bBoxMax_[i] = gridView_.comm().max(bBoxMax_[i]); |
| 198 | } | ||
| 199 | } | ||
| 200 | 2409 | } | |
| 201 | |||
| 202 | 1221 | void update_() | |
| 203 | { | ||
| 204 | // Update the mappers | ||
| 205 | 1221 | elementMapper_.update(gridView_); | |
| 206 | 1221 | vertexMapper_.update(gridView_); | |
| 207 | |||
| 208 | // Compute the bounding box of the entire domain, for e.g. setting boundary conditions | ||
| 209 | 1221 | computeGlobalBoundingBox_(); | |
| 210 | |||
| 211 | // update element map and bounding box tree | ||
| 212 | // always building these comes at a memory overhead but improved | ||
| 213 | // performance and thread-safe element level access (e.g. during assembly) | ||
| 214 | // for all simulation that use these features | ||
| 215 |
4/5✗ Branch 0 not taken.
✓ Branch 1 taken 899 times.
✓ Branch 3 taken 30 times.
✓ Branch 4 taken 869 times.
✓ Branch 2 taken 10 times.
|
1254 | elementMap_ = std::make_shared<ElementMap>(gridView_.grid(), elementMapper_); |
| 216 |
2/4✓ Branch 1 taken 909 times.
✗ Branch 2 not taken.
✗ Branch 5 not taken.
✓ Branch 6 taken 909 times.
|
1221 | boundingBoxTree_ = std::make_unique<BoundingBoxTree>( |
| 217 | 1221 | std::make_shared<ElementSet>(gridView_, elementMapper(), elementMap_) | |
| 218 | ); | ||
| 219 | 1221 | } | |
| 220 | |||
| 221 | //! the process grid view | ||
| 222 | GridView gridView_; | ||
| 223 | |||
| 224 | //! entity mappers | ||
| 225 | ElementMapper elementMapper_; | ||
| 226 | VertexMapper vertexMapper_; | ||
| 227 | |||
| 228 | //! the bounding box tree of the grid view for efficient element intersections | ||
| 229 | std::unique_ptr<const BoundingBoxTree> boundingBoxTree_; | ||
| 230 | |||
| 231 | //! a map from element index to elements | ||
| 232 | std::shared_ptr<const ElementMap> elementMap_; | ||
| 233 | |||
| 234 | //! the bounding box of the whole domain | ||
| 235 | GlobalCoordinate bBoxMin_; | ||
| 236 | GlobalCoordinate bBoxMax_; | ||
| 237 | }; | ||
| 238 | |||
| 239 | } // end namespace Dumux | ||
| 240 | |||
| 241 | #endif | ||
| 242 |