| 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-FileCopyrightInfo: 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 | 1095 | BasicGridGeometry(const GridView& gridView) | |
| 66 | : gridView_(gridView) | ||
| 67 | , elementMapper_(makeElementMapper_(gridView)) | ||
| 68 | , vertexMapper_(makeVertexMapper_(gridView)) | ||
| 69 | 1095 | , bBoxMin_(std::numeric_limits<double>::max()) | |
| 70 |
7/19✓ Branch 2 taken 9 times.
✓ Branch 3 taken 799 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 9 times.
✓ Branch 6 taken 32 times.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✓ Branch 9 taken 32 times.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✓ Branch 12 taken 32 times.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✓ Branch 15 taken 32 times.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
|
3242 | , bBoxMax_(-std::numeric_limits<double>::max()) |
| 71 | { | ||
| 72 |
1/2✓ Branch 1 taken 808 times.
✗ Branch 2 not taken.
|
1095 | computeGlobalBoundingBox_(); |
| 73 |
1/2✓ Branch 1 taken 808 times.
✗ Branch 2 not taken.
|
1095 | update_(); |
| 74 | 1095 | } | |
| 75 | |||
| 76 | /*! | ||
| 77 | * \brief Update internal state after grid changed | ||
| 78 | */ | ||
| 79 | 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 | 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 | const GridView& gridView() const | ||
| 98 |
256/1360✓ Branch 0 taken 9 times.
✓ Branch 1 taken 5479 times.
✓ Branch 2 taken 1122 times.
✓ Branch 3 taken 1365 times.
✓ Branch 4 taken 1318 times.
✓ Branch 5 taken 11492 times.
✓ Branch 6 taken 94472 times.
✓ Branch 7 taken 467491 times.
✓ Branch 8 taken 671823 times.
✓ Branch 9 taken 617486 times.
✓ Branch 10 taken 35875 times.
✓ Branch 11 taken 551465 times.
✓ Branch 12 taken 527 times.
✓ Branch 13 taken 10938 times.
✓ Branch 14 taken 18832 times.
✓ Branch 15 taken 2590 times.
✓ Branch 16 taken 1999 times.
✓ Branch 17 taken 4813 times.
✓ Branch 18 taken 142 times.
✓ Branch 19 taken 80389 times.
✓ Branch 20 taken 1774 times.
✓ Branch 21 taken 13787 times.
✓ Branch 22 taken 3899 times.
✓ Branch 23 taken 185622 times.
✓ Branch 24 taken 32965 times.
✓ Branch 25 taken 22113 times.
✓ Branch 26 taken 44405 times.
✓ Branch 27 taken 504370 times.
✓ Branch 28 taken 68526 times.
✓ Branch 29 taken 237768 times.
✓ Branch 30 taken 26747 times.
✓ Branch 31 taken 87531 times.
✓ Branch 32 taken 10709 times.
✓ Branch 33 taken 843288 times.
✓ Branch 34 taken 460175 times.
✓ Branch 35 taken 1108954 times.
✓ Branch 36 taken 3712 times.
✓ Branch 37 taken 35471 times.
✓ Branch 38 taken 684534 times.
✓ Branch 39 taken 222895 times.
✓ Branch 40 taken 25561 times.
✓ Branch 41 taken 2005 times.
✓ Branch 42 taken 141186 times.
✓ Branch 43 taken 14587 times.
✓ Branch 44 taken 398763 times.
✓ Branch 45 taken 94268 times.
✓ Branch 46 taken 9534 times.
✓ Branch 47 taken 47068077 times.
✓ Branch 48 taken 1707875 times.
✓ Branch 49 taken 6917039 times.
✓ Branch 50 taken 3048118 times.
✓ Branch 51 taken 603787 times.
✓ Branch 52 taken 3726588 times.
✓ Branch 53 taken 10944374 times.
✓ Branch 54 taken 1265064 times.
✓ Branch 55 taken 1341372 times.
✓ Branch 56 taken 40462485 times.
✓ Branch 57 taken 7342411 times.
✓ Branch 58 taken 226089 times.
✓ Branch 59 taken 1777316 times.
✓ Branch 60 taken 33947116 times.
✓ Branch 61 taken 1363987 times.
✓ Branch 62 taken 2012818 times.
✓ Branch 63 taken 42330 times.
✓ Branch 64 taken 3049875 times.
✓ Branch 65 taken 7246835 times.
✓ Branch 66 taken 6468274 times.
✓ Branch 67 taken 1545313 times.
✓ Branch 68 taken 2228777 times.
✓ Branch 69 taken 239088 times.
✓ Branch 70 taken 271317 times.
✓ Branch 71 taken 9435218 times.
✓ Branch 72 taken 1402485 times.
✓ Branch 73 taken 1174914 times.
✓ Branch 74 taken 282925 times.
✓ Branch 75 taken 2565332 times.
✓ Branch 76 taken 3765267 times.
✓ Branch 77 taken 29294 times.
✓ Branch 78 taken 32591 times.
✓ Branch 79 taken 2251470 times.
✓ Branch 80 taken 2783179 times.
✓ Branch 81 taken 1433676 times.
✓ Branch 82 taken 563902 times.
✓ Branch 83 taken 1378190 times.
✓ Branch 84 taken 13035607 times.
✓ Branch 85 taken 263485 times.
✓ Branch 86 taken 169541 times.
✓ Branch 87 taken 2502839 times.
✓ Branch 88 taken 3359 times.
✓ Branch 89 taken 6546 times.
✓ Branch 90 taken 44945 times.
✓ Branch 91 taken 9307 times.
✓ Branch 92 taken 7937 times.
✓ Branch 93 taken 809806 times.
✓ Branch 94 taken 1355 times.
✓ Branch 95 taken 50996 times.
✓ Branch 96 taken 1406130 times.
✓ Branch 97 taken 2744613 times.
✓ Branch 98 taken 116311 times.
✓ Branch 99 taken 100717 times.
✓ Branch 100 taken 313846 times.
✓ Branch 101 taken 7113223 times.
✓ Branch 102 taken 253 times.
✓ Branch 103 taken 6321 times.
✓ Branch 104 taken 464159 times.
✓ Branch 105 taken 2989 times.
✓ Branch 106 taken 5174 times.
✓ Branch 107 taken 124085 times.
✓ Branch 108 taken 3140 times.
✓ Branch 109 taken 27046 times.
✓ Branch 110 taken 204 times.
✓ Branch 111 taken 3046846 times.
✓ Branch 112 taken 182675 times.
✓ Branch 113 taken 522 times.
✓ Branch 114 taken 6234 times.
✓ Branch 115 taken 14 times.
✓ Branch 116 taken 536 times.
✓ Branch 117 taken 288393 times.
✓ Branch 118 taken 81 times.
✓ Branch 119 taken 612 times.
✓ Branch 120 taken 1464863 times.
✓ Branch 121 taken 279618 times.
✓ Branch 122 taken 165 times.
✓ Branch 123 taken 683586 times.
✓ Branch 124 taken 112873 times.
✓ Branch 125 taken 34267 times.
✓ Branch 126 taken 2026 times.
✓ Branch 127 taken 1449 times.
✓ Branch 128 taken 36530 times.
✓ Branch 129 taken 92 times.
✓ Branch 130 taken 47 times.
✓ Branch 131 taken 48 times.
✓ Branch 132 taken 322 times.
✓ Branch 133 taken 40 times.
✓ Branch 134 taken 21 times.
✓ Branch 135 taken 6063 times.
✓ Branch 136 taken 1113 times.
✓ Branch 137 taken 46 times.
✓ Branch 138 taken 47 times.
✓ Branch 139 taken 52 times.
✓ Branch 140 taken 14 times.
✓ Branch 141 taken 1650 times.
✓ Branch 142 taken 1166 times.
✓ Branch 143 taken 12 times.
✓ Branch 144 taken 10 times.
✓ Branch 145 taken 14 times.
✓ Branch 146 taken 19 times.
✓ Branch 147 taken 33 times.
✓ Branch 148 taken 82 times.
✓ Branch 149 taken 205028 times.
✓ Branch 150 taken 540834 times.
✓ Branch 151 taken 16 times.
✓ Branch 152 taken 111 times.
✓ Branch 153 taken 3506 times.
✓ Branch 154 taken 1047418 times.
✓ Branch 155 taken 76 times.
✓ Branch 156 taken 11 times.
✓ Branch 157 taken 1156268 times.
✓ Branch 158 taken 73 times.
✓ Branch 159 taken 19 times.
✓ Branch 160 taken 734147 times.
✓ Branch 161 taken 3031145 times.
✓ Branch 162 taken 23 times.
✓ Branch 163 taken 22 times.
✓ Branch 164 taken 9023636 times.
✓ Branch 165 taken 110935 times.
✗ Branch 166 not taken.
✓ Branch 167 taken 19 times.
✓ Branch 168 taken 504 times.
✓ Branch 169 taken 12271838 times.
✓ Branch 170 taken 1952 times.
✓ Branch 171 taken 2 times.
✓ Branch 172 taken 615 times.
✓ Branch 173 taken 27 times.
✓ Branch 174 taken 114 times.
✓ Branch 175 taken 10 times.
✓ Branch 176 taken 535 times.
✓ Branch 177 taken 1 times.
✓ Branch 178 taken 532 times.
✓ Branch 179 taken 19 times.
✓ Branch 180 taken 50908 times.
✓ Branch 181 taken 18 times.
✗ Branch 182 not taken.
✓ Branch 183 taken 1022127 times.
✗ Branch 184 not taken.
✓ Branch 185 taken 10 times.
✓ Branch 186 taken 13 times.
✓ Branch 187 taken 4207 times.
✓ Branch 188 taken 50410 times.
✓ Branch 189 taken 8 times.
✓ Branch 190 taken 6 times.
✓ Branch 191 taken 2081 times.
✓ Branch 192 taken 7 times.
✗ Branch 193 not taken.
✓ Branch 194 taken 19227 times.
✓ Branch 195 taken 1251821 times.
✓ Branch 196 taken 9 times.
✓ Branch 197 taken 2 times.
✓ Branch 198 taken 1403 times.
✓ Branch 199 taken 22 times.
✗ Branch 200 not taken.
✓ Branch 201 taken 12012 times.
✓ Branch 202 taken 21 times.
✓ Branch 203 taken 505 times.
✓ Branch 204 taken 2 times.
✗ Branch 205 not taken.
✓ Branch 206 taken 259 times.
✓ Branch 207 taken 508 times.
✓ Branch 208 taken 4 times.
✓ Branch 209 taken 87 times.
✓ Branch 210 taken 3 times.
✓ Branch 211 taken 2 times.
✓ Branch 212 taken 87 times.
✗ Branch 213 not taken.
✓ Branch 214 taken 209 times.
✓ Branch 215 taken 91 times.
✓ Branch 216 taken 2 times.
✓ Branch 217 taken 14 times.
✓ Branch 218 taken 10 times.
✓ Branch 219 taken 13 times.
✓ Branch 220 taken 5 times.
✓ Branch 221 taken 7 times.
✓ Branch 222 taken 7 times.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✓ Branch 225 taken 6 times.
✓ Branch 226 taken 6 times.
✓ Branch 227 taken 6 times.
✓ Branch 228 taken 5 times.
✓ Branch 229 taken 5 times.
✓ Branch 230 taken 13 times.
✓ Branch 231 taken 5 times.
✓ Branch 232 taken 4 times.
✓ Branch 233 taken 10 times.
✓ Branch 234 taken 6 times.
✗ Branch 235 not taken.
✓ Branch 236 taken 7 times.
✓ Branch 237 taken 2 times.
✓ Branch 238 taken 2 times.
✓ Branch 239 taken 7 times.
✓ Branch 240 taken 15 times.
✓ Branch 241 taken 80 times.
✓ Branch 242 taken 15 times.
✓ Branch 243 taken 6 times.
✓ Branch 244 taken 5 times.
✓ Branch 245 taken 6 times.
✓ Branch 246 taken 4 times.
✗ Branch 247 not taken.
✓ Branch 248 taken 8 times.
✗ Branch 249 not taken.
✓ Branch 250 taken 1 times.
✓ Branch 251 taken 20 times.
✓ Branch 252 taken 2 times.
✗ Branch 253 not taken.
✓ Branch 254 taken 20 times.
✓ Branch 255 taken 3 times.
✗ Branch 256 not taken.
✓ Branch 257 taken 20 times.
✓ Branch 258 taken 2 times.
✓ Branch 259 taken 101 times.
✓ Branch 260 taken 18 times.
✗ Branch 261 not taken.
✓ Branch 262 taken 1 times.
✓ Branch 263 taken 18 times.
✗ Branch 264 not taken.
✓ Branch 265 taken 1 times.
✓ Branch 266 taken 12 times.
✗ Branch 267 not taken.
✗ Branch 268 not taken.
✓ Branch 269 taken 12 times.
✗ Branch 270 not taken.
✗ Branch 271 not taken.
✓ Branch 272 taken 12 times.
✗ Branch 273 not taken.
✗ Branch 274 not taken.
✓ Branch 275 taken 12 times.
✗ Branch 276 not taken.
✗ Branch 277 not taken.
✓ Branch 278 taken 12 times.
✗ Branch 279 not taken.
✗ Branch 280 not taken.
✓ Branch 281 taken 12 times.
✗ Branch 282 not taken.
✗ Branch 283 not taken.
✗ Branch 285 not taken.
✗ Branch 286 not taken.
✗ Branch 288 not taken.
✗ Branch 289 not taken.
✗ Branch 291 not taken.
✗ Branch 292 not taken.
✗ Branch 294 not taken.
✗ Branch 295 not taken.
✗ Branch 297 not taken.
✗ Branch 298 not taken.
✗ Branch 300 not taken.
✗ Branch 301 not taken.
✗ Branch 303 not taken.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✗ Branch 306 not taken.
✗ Branch 308 not taken.
✗ Branch 309 not taken.
✗ Branch 311 not taken.
✗ Branch 312 not taken.
✗ Branch 314 not taken.
✗ Branch 315 not taken.
✗ Branch 317 not taken.
✗ Branch 318 not taken.
✗ Branch 320 not taken.
✗ Branch 321 not taken.
✗ Branch 323 not taken.
✗ Branch 324 not taken.
✗ Branch 326 not taken.
✗ Branch 327 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✗ Branch 351 not taken.
✗ Branch 352 not taken.
✗ Branch 354 not taken.
✗ Branch 355 not taken.
✗ Branch 357 not taken.
✗ Branch 358 not taken.
✗ Branch 360 not taken.
✗ Branch 361 not taken.
✗ Branch 363 not taken.
✗ Branch 364 not taken.
✗ Branch 366 not taken.
✗ Branch 367 not taken.
✗ Branch 369 not taken.
✗ Branch 370 not taken.
✗ Branch 372 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✗ Branch 377 not taken.
✗ Branch 378 not taken.
✗ Branch 380 not taken.
✗ Branch 381 not taken.
✗ Branch 383 not taken.
✗ Branch 384 not taken.
✗ Branch 386 not taken.
✗ Branch 387 not taken.
✗ Branch 389 not taken.
✗ Branch 390 not taken.
✗ Branch 392 not taken.
✗ Branch 393 not taken.
✗ Branch 395 not taken.
✗ Branch 396 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✗ Branch 420 not taken.
✗ Branch 421 not taken.
✗ Branch 423 not taken.
✗ Branch 424 not taken.
✗ Branch 426 not taken.
✗ Branch 427 not taken.
✗ Branch 429 not taken.
✗ Branch 430 not taken.
✗ Branch 432 not taken.
✗ Branch 433 not taken.
✗ Branch 435 not taken.
✗ Branch 436 not taken.
✗ Branch 438 not taken.
✗ Branch 439 not taken.
✗ Branch 441 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 444 not taken.
✗ Branch 446 not taken.
✗ Branch 447 not taken.
✗ Branch 449 not taken.
✗ Branch 450 not taken.
✗ Branch 452 not taken.
✗ Branch 453 not taken.
✗ Branch 455 not taken.
✗ Branch 456 not taken.
✗ Branch 458 not taken.
✗ Branch 459 not taken.
✗ Branch 461 not taken.
✗ Branch 462 not taken.
✗ Branch 464 not taken.
✗ Branch 465 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 472 not taken.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✗ Branch 487 not taken.
✗ Branch 488 not taken.
✗ Branch 489 not taken.
✗ Branch 490 not taken.
✗ Branch 492 not taken.
✗ Branch 493 not taken.
✗ Branch 495 not taken.
✗ Branch 496 not taken.
✗ Branch 498 not taken.
✗ Branch 499 not taken.
✗ Branch 501 not taken.
✗ Branch 502 not taken.
✗ Branch 504 not taken.
✗ Branch 505 not taken.
✗ Branch 507 not taken.
✗ Branch 508 not taken.
✗ Branch 510 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✗ Branch 513 not taken.
✗ Branch 515 not taken.
✗ Branch 516 not taken.
✗ Branch 518 not taken.
✗ Branch 519 not taken.
✗ Branch 521 not taken.
✗ Branch 522 not taken.
✗ Branch 524 not taken.
✗ Branch 525 not taken.
✗ Branch 527 not taken.
✗ Branch 528 not taken.
✗ Branch 530 not taken.
✗ Branch 531 not taken.
✗ Branch 533 not taken.
✗ Branch 534 not taken.
✗ Branch 535 not taken.
✗ Branch 536 not taken.
✗ Branch 538 not taken.
✗ Branch 539 not taken.
✗ Branch 541 not taken.
✗ Branch 542 not taken.
✗ Branch 544 not taken.
✗ Branch 545 not taken.
✗ Branch 547 not taken.
✗ Branch 548 not taken.
✗ Branch 550 not taken.
✗ Branch 551 not taken.
✗ Branch 555 not taken.
✗ Branch 556 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✗ Branch 564 not taken.
✗ Branch 565 not taken.
✗ Branch 566 not taken.
✗ Branch 567 not taken.
✗ Branch 569 not taken.
✗ Branch 570 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✗ Branch 575 not taken.
✗ Branch 576 not taken.
✗ Branch 577 not taken.
✗ Branch 578 not taken.
✗ Branch 579 not taken.
✗ Branch 580 not taken.
✗ Branch 582 not taken.
✗ Branch 583 not taken.
✗ Branch 584 not taken.
✗ Branch 585 not taken.
✗ Branch 588 not taken.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✗ Branch 591 not taken.
✗ Branch 592 not taken.
✗ Branch 593 not taken.
✗ Branch 595 not taken.
✗ Branch 596 not taken.
✗ Branch 597 not taken.
✗ Branch 598 not taken.
✗ Branch 601 not taken.
✗ Branch 602 not taken.
✗ Branch 603 not taken.
✗ Branch 604 not taken.
✗ Branch 605 not taken.
✗ Branch 606 not taken.
✗ Branch 608 not taken.
✗ Branch 609 not taken.
✗ Branch 610 not taken.
✗ Branch 611 not taken.
✗ Branch 614 not taken.
✗ Branch 615 not taken.
✗ Branch 616 not taken.
✗ Branch 617 not taken.
✗ Branch 618 not taken.
✗ Branch 619 not taken.
✗ Branch 621 not taken.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✗ Branch 624 not taken.
✗ Branch 627 not taken.
✗ Branch 628 not taken.
✗ Branch 629 not taken.
✗ Branch 630 not taken.
✗ Branch 631 not taken.
✗ Branch 632 not taken.
✗ Branch 634 not taken.
✗ Branch 635 not taken.
✗ Branch 636 not taken.
✗ Branch 637 not taken.
✗ Branch 640 not taken.
✗ Branch 641 not taken.
✗ Branch 642 not taken.
✗ Branch 643 not taken.
✗ Branch 644 not taken.
✗ Branch 645 not taken.
✗ Branch 647 not taken.
✗ Branch 648 not taken.
✗ Branch 649 not taken.
✗ Branch 650 not taken.
✗ Branch 653 not taken.
✗ Branch 654 not taken.
✗ Branch 655 not taken.
✗ Branch 656 not taken.
✗ Branch 657 not taken.
✗ Branch 658 not taken.
✗ Branch 660 not taken.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 663 not taken.
✗ Branch 666 not taken.
✗ Branch 667 not taken.
✗ Branch 668 not taken.
✗ Branch 669 not taken.
✗ Branch 670 not taken.
✗ Branch 671 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✗ Branch 675 not taken.
✗ Branch 676 not taken.
✗ Branch 679 not taken.
✗ Branch 680 not taken.
✗ Branch 681 not taken.
✗ Branch 682 not taken.
✗ Branch 683 not taken.
✗ Branch 684 not taken.
✗ Branch 686 not taken.
✗ Branch 687 not taken.
✗ Branch 688 not taken.
✗ Branch 689 not taken.
✗ Branch 692 not taken.
✗ Branch 693 not taken.
✗ Branch 694 not taken.
✗ Branch 695 not taken.
✗ Branch 696 not taken.
✗ Branch 697 not taken.
✗ Branch 699 not taken.
✗ Branch 700 not taken.
✗ Branch 701 not taken.
✗ Branch 702 not taken.
✗ Branch 705 not taken.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✗ Branch 708 not taken.
✗ Branch 709 not taken.
✗ Branch 710 not taken.
✗ Branch 712 not taken.
✗ Branch 713 not taken.
✗ Branch 714 not taken.
✗ Branch 715 not taken.
✗ Branch 718 not taken.
✗ Branch 719 not taken.
✗ Branch 720 not taken.
✗ Branch 721 not taken.
✗ Branch 722 not taken.
✗ Branch 723 not taken.
✗ Branch 725 not taken.
✗ Branch 726 not taken.
✗ Branch 727 not taken.
✗ Branch 728 not taken.
✗ Branch 731 not taken.
✗ Branch 732 not taken.
✗ Branch 733 not taken.
✗ Branch 734 not taken.
✗ Branch 735 not taken.
✗ Branch 736 not taken.
✗ Branch 738 not taken.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 741 not taken.
✗ Branch 744 not taken.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✗ Branch 747 not taken.
✗ Branch 748 not taken.
✗ Branch 749 not taken.
✗ Branch 751 not taken.
✗ Branch 752 not taken.
✗ Branch 753 not taken.
✗ Branch 754 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 759 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 762 not taken.
✗ Branch 764 not taken.
✗ Branch 765 not taken.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✗ Branch 770 not taken.
✗ Branch 771 not taken.
✗ Branch 772 not taken.
✗ Branch 773 not taken.
✗ Branch 774 not taken.
✗ Branch 775 not taken.
✗ Branch 777 not taken.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✗ Branch 780 not taken.
✗ Branch 783 not taken.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✗ Branch 786 not taken.
✗ Branch 787 not taken.
✗ Branch 788 not taken.
✗ Branch 790 not taken.
✗ Branch 791 not taken.
✗ Branch 792 not taken.
✗ Branch 793 not taken.
✗ Branch 796 not taken.
✗ Branch 797 not taken.
✗ Branch 798 not taken.
✗ Branch 799 not taken.
✗ Branch 800 not taken.
✗ Branch 801 not taken.
✗ Branch 803 not taken.
✗ Branch 804 not taken.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✗ Branch 809 not taken.
✗ Branch 810 not taken.
✗ Branch 811 not taken.
✗ Branch 812 not taken.
✗ Branch 813 not taken.
✗ Branch 814 not taken.
✗ Branch 816 not taken.
✗ 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 881 not taken.
✗ Branch 882 not taken.
✗ Branch 888 not taken.
✗ Branch 889 not taken.
✗ Branch 891 not taken.
✗ Branch 892 not taken.
✗ Branch 897 not taken.
✗ Branch 898 not taken.
✗ Branch 904 not taken.
✗ Branch 905 not taken.
✗ Branch 907 not taken.
✗ Branch 908 not taken.
✗ Branch 913 not taken.
✗ Branch 914 not taken.
✗ Branch 920 not taken.
✗ Branch 921 not taken.
✗ Branch 923 not taken.
✗ Branch 924 not taken.
✗ Branch 929 not taken.
✗ Branch 930 not taken.
✗ Branch 936 not taken.
✗ Branch 937 not taken.
✗ Branch 939 not taken.
✗ Branch 940 not taken.
✗ Branch 945 not taken.
✗ Branch 946 not taken.
✗ Branch 952 not taken.
✗ Branch 953 not taken.
✗ Branch 955 not taken.
✗ Branch 956 not taken.
✗ Branch 961 not taken.
✗ Branch 962 not taken.
✗ Branch 968 not taken.
✗ Branch 969 not taken.
✗ Branch 971 not taken.
✗ Branch 972 not taken.
✗ Branch 977 not taken.
✗ Branch 978 not taken.
✗ Branch 984 not taken.
✗ Branch 985 not taken.
✗ Branch 987 not taken.
✗ Branch 988 not taken.
✗ Branch 993 not taken.
✗ Branch 994 not taken.
✗ Branch 1000 not taken.
✗ Branch 1001 not taken.
✗ Branch 1003 not taken.
✗ Branch 1004 not taken.
✗ Branch 1009 not taken.
✗ Branch 1010 not taken.
✗ Branch 1016 not taken.
✗ Branch 1017 not taken.
✗ Branch 1019 not taken.
✗ Branch 1020 not taken.
✗ Branch 1025 not taken.
✗ Branch 1026 not taken.
✗ Branch 1028 not taken.
✗ Branch 1029 not taken.
✗ Branch 1035 not taken.
✗ Branch 1036 not taken.
✗ Branch 1038 not taken.
✗ Branch 1039 not taken.
✗ Branch 1044 not taken.
✗ Branch 1045 not taken.
✗ Branch 1047 not taken.
✗ Branch 1048 not taken.
✗ Branch 1054 not taken.
✗ Branch 1055 not taken.
✗ Branch 1057 not taken.
✗ Branch 1058 not taken.
✗ Branch 1063 not taken.
✗ Branch 1064 not taken.
✗ Branch 1066 not taken.
✗ Branch 1067 not taken.
✗ Branch 1073 not taken.
✗ Branch 1074 not taken.
✗ Branch 1076 not taken.
✗ Branch 1077 not taken.
✗ Branch 1082 not taken.
✗ Branch 1083 not taken.
✗ Branch 1085 not taken.
✗ Branch 1086 not taken.
✗ Branch 1092 not taken.
✗ Branch 1093 not taken.
✗ Branch 1095 not taken.
✗ Branch 1096 not taken.
✗ Branch 1101 not taken.
✗ Branch 1102 not taken.
✗ Branch 1108 not taken.
✗ Branch 1109 not taken.
✗ Branch 1111 not taken.
✗ Branch 1112 not taken.
✗ Branch 1117 not taken.
✗ Branch 1118 not taken.
✗ Branch 1124 not taken.
✗ Branch 1125 not taken.
✗ Branch 1127 not taken.
✗ Branch 1128 not taken.
✗ Branch 1133 not taken.
✗ Branch 1134 not taken.
✗ Branch 1140 not taken.
✗ Branch 1141 not taken.
✗ Branch 1143 not taken.
✗ Branch 1144 not taken.
✗ Branch 1149 not taken.
✗ Branch 1150 not taken.
✗ Branch 1156 not taken.
✗ Branch 1157 not taken.
✗ Branch 1159 not taken.
✗ Branch 1160 not taken.
✗ Branch 1165 not taken.
✗ Branch 1166 not taken.
✗ Branch 1168 not taken.
✗ Branch 1169 not taken.
✗ Branch 1175 not taken.
✗ Branch 1176 not taken.
✗ Branch 1178 not taken.
✗ Branch 1179 not taken.
✗ Branch 1184 not taken.
✗ Branch 1185 not taken.
✗ Branch 1187 not taken.
✗ Branch 1188 not taken.
✗ Branch 1194 not taken.
✗ Branch 1195 not taken.
✗ Branch 1197 not taken.
✗ Branch 1198 not taken.
✗ Branch 1203 not taken.
✗ Branch 1204 not taken.
✗ Branch 1206 not taken.
✗ Branch 1207 not taken.
✗ Branch 1213 not taken.
✗ Branch 1214 not taken.
✗ Branch 1216 not taken.
✗ Branch 1217 not taken.
✗ Branch 1222 not taken.
✗ Branch 1223 not taken.
✗ Branch 1227 not taken.
✗ Branch 1228 not taken.
✗ Branch 1231 not taken.
✗ Branch 1232 not taken.
✗ Branch 1235 not taken.
✗ Branch 1236 not taken.
✗ Branch 1239 not taken.
✗ Branch 1240 not taken.
✗ Branch 1243 not taken.
✗ Branch 1244 not taken.
✗ Branch 1247 not taken.
✗ Branch 1248 not taken.
✗ Branch 1251 not taken.
✗ Branch 1252 not taken.
✗ Branch 1255 not taken.
✗ Branch 1256 not taken.
✗ Branch 1259 not taken.
✗ Branch 1260 not taken.
✗ Branch 1263 not taken.
✗ Branch 1264 not taken.
✗ Branch 1267 not taken.
✗ Branch 1268 not taken.
✗ Branch 1271 not taken.
✗ Branch 1272 not taken.
✗ Branch 1275 not taken.
✗ Branch 1276 not taken.
✗ Branch 1279 not taken.
✗ Branch 1280 not taken.
✗ Branch 1283 not taken.
✗ Branch 1284 not taken.
✗ Branch 1287 not taken.
✗ Branch 1288 not taken.
✗ Branch 1291 not taken.
✗ Branch 1292 not taken.
✗ Branch 1294 not taken.
✗ Branch 1295 not taken.
✗ Branch 1297 not taken.
✗ Branch 1298 not taken.
✗ Branch 1300 not taken.
✗ Branch 1301 not taken.
✗ Branch 1303 not taken.
✗ Branch 1304 not taken.
✗ Branch 1306 not taken.
✗ Branch 1307 not taken.
✗ Branch 1310 not taken.
✗ Branch 1311 not taken.
✗ Branch 1313 not taken.
✗ Branch 1314 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 1329 not taken.
✗ Branch 1330 not taken.
✗ Branch 1332 not taken.
✗ Branch 1333 not taken.
✗ Branch 1335 not taken.
✗ Branch 1336 not taken.
✗ Branch 1338 not taken.
✗ Branch 1339 not taken.
✗ Branch 1341 not taken.
✗ Branch 1342 not taken.
✗ Branch 1344 not taken.
✗ Branch 1345 not taken.
✗ Branch 1348 not taken.
✗ Branch 1349 not taken.
✗ Branch 1351 not taken.
✗ Branch 1352 not taken.
✗ Branch 1354 not taken.
✗ Branch 1355 not taken.
✗ Branch 1357 not taken.
✗ Branch 1358 not taken.
✗ Branch 1360 not taken.
✗ Branch 1361 not taken.
✗ Branch 1363 not taken.
✗ Branch 1364 not taken.
✗ Branch 1367 not taken.
✗ Branch 1368 not taken.
✗ Branch 1371 not taken.
✗ Branch 1372 not taken.
✗ Branch 1375 not taken.
✗ Branch 1376 not taken.
✗ Branch 1379 not taken.
✗ Branch 1380 not taken.
✗ Branch 1382 not taken.
✗ Branch 1383 not taken.
✗ Branch 1385 not taken.
✗ Branch 1386 not taken.
✗ Branch 1387 not taken.
✗ Branch 1388 not taken.
✗ Branch 1390 not taken.
✗ Branch 1391 not taken.
✗ Branch 1392 not taken.
✗ Branch 1393 not taken.
✗ Branch 1395 not taken.
✗ Branch 1396 not taken.
✗ Branch 1399 not taken.
✗ Branch 1400 not taken.
✗ Branch 1402 not taken.
✗ Branch 1403 not taken.
✗ Branch 1405 not taken.
✗ Branch 1406 not taken.
✗ Branch 1408 not taken.
✗ Branch 1409 not taken.
✗ Branch 1412 not taken.
✗ Branch 1413 not taken.
✗ Branch 1415 not taken.
✗ Branch 1416 not taken.
✗ Branch 1418 not taken.
✗ Branch 1419 not taken.
✗ Branch 1421 not taken.
✗ Branch 1422 not taken.
✗ Branch 1425 not taken.
✗ Branch 1426 not taken.
✗ Branch 1428 not taken.
✗ Branch 1429 not taken.
✗ Branch 1431 not taken.
✗ Branch 1432 not taken.
✗ Branch 1434 not taken.
✗ Branch 1435 not taken.
✗ Branch 1438 not taken.
✗ Branch 1439 not taken.
✗ Branch 1441 not taken.
✗ Branch 1442 not taken.
✗ Branch 1444 not taken.
✗ Branch 1445 not taken.
✗ Branch 1447 not taken.
✗ Branch 1448 not taken.
✗ Branch 1451 not taken.
✗ Branch 1452 not taken.
✗ Branch 1454 not taken.
✗ Branch 1455 not taken.
✗ Branch 1457 not taken.
✗ Branch 1458 not taken.
✗ Branch 1461 not taken.
✗ Branch 1462 not taken.
✗ Branch 1464 not taken.
✗ Branch 1465 not taken.
✗ Branch 1467 not taken.
✗ Branch 1468 not taken.
✗ Branch 1471 not taken.
✗ Branch 1472 not taken.
✗ Branch 1474 not taken.
✗ Branch 1475 not taken.
✗ Branch 1477 not taken.
✗ Branch 1478 not taken.
✗ Branch 1481 not taken.
✗ Branch 1482 not taken.
✗ Branch 1484 not taken.
✗ Branch 1485 not taken.
✗ Branch 1487 not taken.
✗ Branch 1488 not taken.
✗ Branch 1490 not taken.
✗ Branch 1491 not taken.
✗ Branch 1493 not taken.
✗ Branch 1494 not taken.
✗ Branch 1496 not taken.
✗ Branch 1497 not taken.
✗ Branch 1500 not taken.
✗ Branch 1501 not taken.
✗ Branch 1503 not taken.
✗ Branch 1504 not taken.
✗ Branch 1506 not taken.
✗ Branch 1507 not taken.
✗ Branch 1509 not taken.
✗ Branch 1510 not taken.
✗ Branch 1512 not taken.
✗ Branch 1513 not taken.
✗ Branch 1515 not taken.
✗ Branch 1516 not taken.
✗ Branch 1518 not taken.
✗ Branch 1519 not taken.
✗ Branch 1522 not taken.
✗ Branch 1523 not taken.
✗ Branch 1525 not taken.
✗ Branch 1526 not taken.
✗ Branch 1528 not taken.
✗ Branch 1529 not taken.
✗ Branch 1531 not taken.
✗ Branch 1532 not taken.
✗ Branch 1534 not taken.
✗ Branch 1535 not taken.
✗ Branch 1537 not taken.
✗ Branch 1538 not taken.
✗ Branch 1540 not taken.
✗ Branch 1541 not taken.
✗ Branch 1544 not taken.
✗ Branch 1545 not taken.
✗ Branch 1547 not taken.
✗ Branch 1548 not taken.
✗ Branch 1550 not taken.
✗ Branch 1551 not taken.
✗ Branch 1553 not taken.
✗ Branch 1554 not taken.
✗ Branch 1556 not taken.
✗ Branch 1557 not taken.
✗ Branch 1559 not taken.
✗ Branch 1560 not taken.
✗ Branch 1562 not taken.
✗ Branch 1563 not taken.
✗ Branch 1566 not taken.
✗ Branch 1567 not taken.
✗ Branch 1569 not taken.
✗ Branch 1570 not taken.
✗ Branch 1572 not taken.
✗ Branch 1573 not taken.
✗ Branch 1575 not taken.
✗ Branch 1576 not taken.
✗ Branch 1578 not taken.
✗ Branch 1579 not taken.
✗ Branch 1581 not taken.
✗ Branch 1582 not taken.
✗ Branch 1584 not taken.
✗ Branch 1585 not taken.
✗ Branch 1587 not taken.
✗ Branch 1588 not taken.
✗ Branch 1590 not taken.
✗ Branch 1591 not taken.
✗ Branch 1593 not taken.
✗ Branch 1594 not taken.
✗ Branch 1597 not taken.
✗ Branch 1598 not taken.
✗ Branch 1600 not taken.
✗ Branch 1601 not taken.
✗ Branch 1603 not taken.
✗ Branch 1604 not taken.
✗ Branch 1606 not taken.
✗ Branch 1607 not taken.
✗ Branch 1610 not taken.
✗ Branch 1611 not taken.
✗ Branch 1613 not taken.
✗ Branch 1614 not taken.
✗ Branch 1616 not taken.
✗ Branch 1617 not taken.
✗ Branch 1619 not taken.
✗ Branch 1620 not taken.
✗ Branch 1623 not taken.
✗ Branch 1624 not taken.
✗ Branch 1626 not taken.
✗ Branch 1627 not taken.
✗ Branch 1629 not taken.
✗ Branch 1630 not taken.
✗ Branch 1632 not taken.
✗ Branch 1633 not taken.
✗ Branch 1636 not taken.
✗ Branch 1637 not taken.
✗ Branch 1639 not taken.
✗ Branch 1640 not taken.
✗ Branch 1642 not taken.
✗ Branch 1643 not taken.
✗ Branch 1645 not taken.
✗ Branch 1646 not taken.
✗ Branch 1649 not taken.
✗ Branch 1650 not taken.
✗ Branch 1652 not taken.
✗ Branch 1653 not taken.
✗ Branch 1656 not taken.
✗ Branch 1657 not taken.
✗ Branch 1659 not taken.
✗ Branch 1660 not taken.
✗ Branch 1663 not taken.
✗ Branch 1664 not taken.
✗ Branch 1666 not taken.
✗ Branch 1667 not taken.
✗ Branch 1670 not taken.
✗ Branch 1671 not taken.
✗ Branch 1673 not taken.
✗ Branch 1674 not taken.
✗ Branch 1676 not taken.
✗ Branch 1677 not taken.
✗ Branch 1679 not taken.
✗ Branch 1680 not taken.
✗ Branch 1682 not taken.
✗ Branch 1683 not taken.
✗ Branch 1686 not taken.
✗ Branch 1687 not taken.
✗ Branch 1689 not taken.
✗ Branch 1690 not taken.
✗ Branch 1693 not taken.
✗ Branch 1694 not taken.
✗ Branch 1696 not taken.
✗ Branch 1697 not taken.
✗ Branch 1699 not taken.
✗ Branch 1700 not taken.
✗ Branch 1702 not taken.
✗ Branch 1703 not taken.
✗ Branch 1705 not taken.
✗ Branch 1706 not taken.
✗ Branch 1709 not taken.
✗ Branch 1710 not taken.
✗ Branch 1712 not taken.
✗ Branch 1713 not taken.
✗ Branch 1715 not taken.
✗ Branch 1716 not taken.
✗ Branch 1718 not taken.
✗ Branch 1719 not taken.
✗ Branch 1721 not taken.
✗ Branch 1722 not taken.
✗ Branch 1725 not taken.
✗ Branch 1726 not taken.
✗ Branch 1728 not taken.
✗ Branch 1729 not taken.
✗ Branch 1730 not taken.
✗ Branch 1731 not taken.
✗ Branch 1733 not taken.
✗ Branch 1734 not taken.
✗ Branch 1735 not taken.
✗ Branch 1736 not taken.
✗ Branch 1738 not taken.
✗ Branch 1739 not taken.
✗ Branch 1740 not taken.
✗ Branch 1741 not taken.
✗ Branch 1743 not taken.
✗ Branch 1744 not taken.
✗ Branch 1745 not taken.
✗ Branch 1746 not taken.
✗ Branch 1748 not taken.
✗ Branch 1749 not taken.
✗ Branch 1750 not taken.
✗ Branch 1751 not taken.
✗ Branch 1753 not taken.
✗ Branch 1754 not taken.
✗ Branch 1755 not taken.
✗ Branch 1756 not taken.
✗ Branch 1758 not taken.
✗ Branch 1759 not taken.
✗ Branch 1760 not taken.
✗ Branch 1761 not taken.
✗ Branch 1763 not taken.
✗ Branch 1764 not taken.
✗ Branch 1765 not taken.
✗ Branch 1766 not taken.
✗ Branch 1768 not taken.
✗ Branch 1769 not taken.
✗ Branch 1770 not taken.
✗ Branch 1771 not taken.
✗ Branch 1773 not taken.
✗ Branch 1774 not taken.
✗ Branch 1776 not taken.
✗ Branch 1777 not taken.
✗ Branch 1778 not taken.
✗ Branch 1779 not taken.
✗ Branch 1781 not taken.
✗ Branch 1782 not taken.
✗ Branch 1783 not taken.
✗ Branch 1784 not taken.
✗ Branch 1786 not taken.
✗ Branch 1787 not taken.
✗ Branch 1788 not taken.
✗ Branch 1789 not taken.
✗ Branch 1791 not taken.
✗ Branch 1792 not taken.
✗ Branch 1793 not taken.
✗ Branch 1794 not taken.
✗ Branch 1796 not taken.
✗ Branch 1797 not taken.
✗ Branch 1798 not taken.
✗ Branch 1799 not taken.
✗ Branch 1801 not taken.
✗ Branch 1802 not taken.
✗ Branch 1804 not taken.
✗ Branch 1805 not taken.
✗ Branch 1806 not taken.
✗ Branch 1807 not taken.
✗ Branch 1809 not taken.
✗ Branch 1810 not taken.
✗ Branch 1811 not taken.
✗ Branch 1812 not taken.
✗ Branch 1814 not taken.
✗ Branch 1815 not taken.
✗ Branch 1816 not taken.
✗ Branch 1817 not taken.
✗ Branch 1819 not taken.
✗ Branch 1820 not taken.
✗ Branch 1821 not taken.
✗ Branch 1822 not taken.
✗ Branch 1824 not taken.
✗ Branch 1825 not taken.
✗ Branch 1826 not taken.
✗ Branch 1827 not taken.
✗ Branch 1829 not taken.
✗ Branch 1830 not taken.
✗ Branch 1831 not taken.
✗ Branch 1832 not taken.
✗ Branch 1834 not taken.
✗ Branch 1835 not taken.
✗ Branch 1836 not taken.
✗ Branch 1837 not taken.
✗ Branch 1839 not taken.
✗ Branch 1840 not taken.
✗ Branch 1841 not taken.
✗ Branch 1842 not taken.
✗ Branch 1844 not taken.
✗ Branch 1845 not taken.
✗ Branch 1846 not taken.
✗ Branch 1847 not taken.
✗ Branch 1849 not taken.
✗ Branch 1850 not taken.
✗ Branch 1852 not taken.
✗ Branch 1853 not taken.
✗ Branch 1854 not taken.
✗ Branch 1855 not taken.
✗ Branch 1857 not taken.
✗ Branch 1858 not taken.
✗ Branch 1859 not taken.
✗ Branch 1860 not taken.
✗ Branch 1862 not taken.
✗ Branch 1863 not taken.
✗ Branch 1864 not taken.
✗ Branch 1865 not taken.
✗ Branch 1867 not taken.
✗ Branch 1868 not taken.
✗ Branch 1870 not taken.
✗ Branch 1871 not taken.
✗ Branch 1872 not taken.
✗ Branch 1873 not taken.
✗ Branch 1875 not taken.
✗ Branch 1876 not taken.
✗ Branch 1877 not taken.
✗ Branch 1878 not taken.
✗ Branch 1880 not taken.
✗ Branch 1881 not taken.
✗ Branch 1883 not taken.
✗ Branch 1884 not taken.
✗ Branch 1885 not taken.
✗ Branch 1886 not taken.
✗ Branch 1888 not taken.
✗ Branch 1889 not taken.
✗ Branch 1891 not taken.
✗ Branch 1892 not taken.
✗ Branch 1894 not taken.
✗ Branch 1895 not taken.
✗ Branch 1897 not taken.
✗ Branch 1898 not taken.
✗ Branch 1900 not taken.
✗ Branch 1901 not taken.
✗ Branch 1903 not taken.
✗ Branch 1904 not taken.
✗ Branch 1906 not taken.
✗ Branch 1907 not taken.
✗ Branch 1909 not taken.
✗ Branch 1910 not taken.
✗ Branch 1912 not taken.
✗ Branch 1913 not taken.
✗ Branch 1915 not taken.
✗ Branch 1916 not taken.
✗ Branch 1918 not taken.
✗ Branch 1919 not taken.
✗ Branch 1921 not taken.
✗ Branch 1922 not taken.
✗ Branch 1924 not taken.
✗ Branch 1925 not taken.
✗ Branch 1927 not taken.
✗ Branch 1928 not taken.
✗ Branch 1930 not taken.
✗ Branch 1931 not taken.
✗ Branch 1933 not taken.
✗ Branch 1934 not taken.
✗ Branch 1936 not taken.
✗ Branch 1937 not taken.
✗ Branch 1939 not taken.
✗ Branch 1940 not taken.
✗ Branch 1942 not taken.
✗ Branch 1943 not taken.
✗ Branch 1945 not taken.
✗ Branch 1946 not taken.
✗ Branch 1948 not taken.
✗ Branch 1949 not taken.
✗ Branch 1951 not taken.
✗ Branch 1952 not taken.
✗ Branch 1954 not taken.
✗ Branch 1955 not taken.
✗ Branch 1957 not taken.
✗ Branch 1958 not taken.
✗ Branch 1960 not taken.
✗ Branch 1961 not taken.
✗ Branch 1963 not taken.
✗ Branch 1964 not taken.
✗ Branch 1966 not taken.
✗ Branch 1967 not taken.
✗ Branch 1969 not taken.
✗ Branch 1970 not taken.
✗ Branch 1972 not taken.
✗ Branch 1973 not taken.
✗ Branch 1975 not taken.
✗ Branch 1976 not taken.
✗ Branch 1978 not taken.
✗ Branch 1979 not taken.
✗ Branch 1981 not taken.
✗ Branch 1982 not taken.
✗ Branch 1984 not taken.
✗ Branch 1985 not taken.
✗ Branch 1987 not taken.
✗ Branch 1988 not taken.
✗ Branch 1990 not taken.
✗ Branch 1991 not taken.
✗ Branch 1993 not taken.
✗ Branch 1994 not taken.
✗ Branch 1996 not taken.
✗ Branch 1997 not taken.
✗ Branch 1999 not taken.
✗ Branch 2000 not taken.
✗ Branch 2002 not taken.
✗ Branch 2003 not taken.
✗ Branch 2005 not taken.
✗ Branch 2006 not taken.
✗ Branch 2008 not taken.
✗ Branch 2009 not taken.
✗ Branch 2011 not taken.
✗ Branch 2012 not taken.
✗ Branch 2014 not taken.
✗ Branch 2015 not taken.
✗ Branch 2017 not taken.
✗ Branch 2018 not taken.
✗ Branch 2020 not taken.
✗ Branch 2021 not taken.
✗ Branch 2023 not taken.
✗ Branch 2024 not taken.
✗ Branch 2026 not taken.
✗ Branch 2027 not taken.
✗ Branch 2029 not taken.
✗ Branch 2030 not taken.
✗ Branch 2032 not taken.
✗ Branch 2033 not taken.
|
385148133 | { 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 | VertexMapper &vertexMapper() | ||
| 116 |
116/157✓ Branch 0 taken 37 times.
✓ Branch 1 taken 1365 times.
✓ Branch 2 taken 4933 times.
✓ Branch 3 taken 184 times.
✓ Branch 4 taken 32660 times.
✓ Branch 5 taken 11262 times.
✓ Branch 6 taken 770 times.
✓ Branch 7 taken 155193 times.
✓ Branch 8 taken 59805 times.
✓ Branch 9 taken 651789 times.
✓ Branch 10 taken 1407336 times.
✓ Branch 11 taken 62718 times.
✓ Branch 12 taken 36310 times.
✓ Branch 13 taken 8501624 times.
✓ Branch 14 taken 596 times.
✓ Branch 15 taken 11345 times.
✓ Branch 16 taken 19894235 times.
✓ Branch 17 taken 40194 times.
✓ Branch 18 taken 41749 times.
✓ Branch 19 taken 6368106 times.
✓ Branch 20 taken 40652 times.
✓ Branch 21 taken 9030 times.
✓ Branch 22 taken 73631004 times.
✓ Branch 23 taken 7032 times.
✓ Branch 24 taken 38930 times.
✓ Branch 25 taken 3282 times.
✓ Branch 26 taken 32898 times.
✓ Branch 27 taken 2389 times.
✓ Branch 28 taken 6 times.
✓ Branch 29 taken 7255 times.
✓ Branch 30 taken 2407 times.
✓ Branch 31 taken 3973658 times.
✓ Branch 32 taken 547852 times.
✓ Branch 33 taken 997417 times.
✓ Branch 34 taken 15 times.
✓ Branch 35 taken 23 times.
✓ Branch 36 taken 152289 times.
✓ Branch 37 taken 24 times.
✓ Branch 38 taken 36 times.
✓ Branch 39 taken 5 times.
✓ Branch 40 taken 18 times.
✓ Branch 41 taken 24 times.
✓ Branch 42 taken 11 times.
✓ Branch 43 taken 7 times.
✓ Branch 44 taken 11998248 times.
✓ Branch 45 taken 7546 times.
✓ Branch 46 taken 36 times.
✓ Branch 47 taken 105 times.
✓ Branch 48 taken 25 times.
✓ Branch 49 taken 21 times.
✓ Branch 50 taken 4086 times.
✓ Branch 51 taken 32917 times.
✓ Branch 52 taken 28 times.
✓ Branch 53 taken 28 times.
✓ Branch 54 taken 13 times.
✓ Branch 55 taken 25 times.
✓ Branch 56 taken 12 times.
✓ Branch 57 taken 18 times.
✓ Branch 58 taken 21 times.
✓ Branch 59 taken 2 times.
✓ Branch 60 taken 33631 times.
✓ Branch 61 taken 308018 times.
✓ Branch 62 taken 2 times.
✓ Branch 63 taken 67719 times.
✓ Branch 64 taken 6612 times.
✓ Branch 65 taken 2 times.
✓ Branch 66 taken 25542 times.
✗ Branch 67 not taken.
✓ Branch 68 taken 2 times.
✓ Branch 69 taken 2762 times.
✓ Branch 70 taken 19264 times.
✓ Branch 71 taken 1 times.
✓ Branch 72 taken 2 times.
✗ Branch 73 not taken.
✓ Branch 74 taken 1 times.
✓ Branch 75 taken 642401 times.
✓ Branch 76 taken 39168 times.
✓ Branch 77 taken 914737 times.
✗ Branch 78 not taken.
✗ Branch 79 not taken.
✓ Branch 80 taken 5249 times.
✓ Branch 81 taken 1 times.
✗ Branch 82 not taken.
✓ Branch 83 taken 1 times.
✓ Branch 84 taken 1 times.
✗ Branch 85 not taken.
✓ Branch 86 taken 4259 times.
✓ Branch 87 taken 1 times.
✗ Branch 88 not taken.
✓ Branch 89 taken 14242 times.
✓ Branch 90 taken 1 times.
✗ Branch 91 not taken.
✓ Branch 92 taken 537 times.
✓ Branch 93 taken 1 times.
✗ Branch 94 not taken.
✓ Branch 95 taken 1 times.
✓ Branch 96 taken 1 times.
✗ Branch 97 not taken.
✓ Branch 98 taken 28193 times.
✗ Branch 99 not taken.
✓ Branch 100 taken 1 times.
✓ Branch 101 taken 1027 times.
✗ Branch 102 not taken.
✓ Branch 103 taken 2 times.
✓ Branch 104 taken 154010 times.
✗ Branch 105 not taken.
✓ Branch 106 taken 2 times.
✓ Branch 107 taken 10 times.
✗ Branch 108 not taken.
✓ Branch 109 taken 1 times.
✓ Branch 110 taken 11 times.
✓ Branch 111 taken 3755451 times.
✓ Branch 112 taken 1 times.
✓ Branch 113 taken 11 times.
✗ Branch 114 not taken.
✓ Branch 115 taken 601 times.
✗ Branch 116 not taken.
✗ Branch 117 not taken.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✗ Branch 120 not taken.
✓ Branch 121 taken 794 times.
✗ Branch 122 not taken.
✗ Branch 123 not taken.
✓ Branch 124 taken 400 times.
✓ Branch 125 taken 76860 times.
✗ Branch 126 not taken.
✗ Branch 132 not taken.
✗ Branch 133 not taken.
✗ Branch 135 not taken.
✗ Branch 136 not taken.
✓ Branch 137 taken 5784 times.
✓ Branch 138 taken 704 times.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 141 not taken.
✓ Branch 142 taken 40 times.
✓ Branch 144 taken 32 times.
✗ Branch 145 not taken.
✓ Branch 147 taken 912 times.
✗ Branch 148 not taken.
✓ Branch 149 taken 5784 times.
✓ Branch 150 taken 528 times.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 153 not taken.
✗ Branch 154 not taken.
✓ Branch 155 taken 1 times.
✗ Branch 156 not taken.
✓ Branch 158 taken 1 times.
✗ Branch 159 not taken.
✓ Branch 161 taken 1 times.
✓ Branch 162 taken 7708 times.
✗ Branch 163 not taken.
✓ Branch 164 taken 1 times.
✗ Branch 165 not taken.
✗ Branch 166 not taken.
|
432540268 | { return vertexMapper_; } |
| 117 | |||
| 118 | /*! | ||
| 119 | * \brief Returns the mapper for elements to indices for possibly adaptive grids. | ||
| 120 | */ | ||
| 121 | ElementMapper &elementMapper() | ||
| 122 |
143/744✓ Branch 0 taken 1467 times.
✓ Branch 1 taken 23119 times.
✓ Branch 2 taken 9502 times.
✓ Branch 3 taken 191595 times.
✓ Branch 4 taken 97478 times.
✓ Branch 5 taken 73922 times.
✓ Branch 6 taken 818187 times.
✓ Branch 7 taken 7494 times.
✓ Branch 8 taken 61125 times.
✓ Branch 9 taken 79696 times.
✓ Branch 10 taken 3836 times.
✓ Branch 11 taken 10814 times.
✓ Branch 12 taken 8831 times.
✓ Branch 13 taken 323971 times.
✓ Branch 14 taken 61077 times.
✓ Branch 15 taken 9901 times.
✓ Branch 16 taken 2825 times.
✓ Branch 17 taken 629 times.
✓ Branch 18 taken 33257 times.
✓ Branch 19 taken 214629 times.
✓ Branch 20 taken 21982 times.
✓ Branch 21 taken 53929 times.
✓ Branch 22 taken 40425 times.
✓ Branch 23 taken 120288 times.
✓ Branch 24 taken 156403 times.
✓ Branch 25 taken 226899 times.
✓ Branch 26 taken 139299 times.
✓ Branch 27 taken 268115 times.
✓ Branch 28 taken 43846 times.
✓ Branch 29 taken 357700 times.
✓ Branch 30 taken 365924 times.
✓ Branch 31 taken 29175 times.
✓ Branch 32 taken 86714 times.
✓ Branch 33 taken 12965 times.
✓ Branch 34 taken 139086 times.
✓ Branch 35 taken 249731 times.
✓ Branch 36 taken 526758 times.
✓ Branch 37 taken 769880 times.
✓ Branch 38 taken 222729 times.
✓ Branch 39 taken 448540 times.
✓ Branch 40 taken 388457 times.
✓ Branch 41 taken 19421423 times.
✓ Branch 42 taken 2839336 times.
✓ Branch 43 taken 5324244 times.
✓ Branch 44 taken 8069276 times.
✓ Branch 45 taken 256379 times.
✓ Branch 46 taken 24742 times.
✓ Branch 47 taken 7503322 times.
✓ Branch 48 taken 250830 times.
✓ Branch 49 taken 4060 times.
✓ Branch 50 taken 5613038 times.
✓ Branch 51 taken 78686 times.
✓ Branch 52 taken 1240313 times.
✓ Branch 53 taken 1242902 times.
✓ Branch 54 taken 164920 times.
✓ Branch 55 taken 89889 times.
✓ Branch 56 taken 1673314 times.
✓ Branch 57 taken 43709 times.
✓ Branch 58 taken 1351358 times.
✓ Branch 59 taken 2940093 times.
✓ Branch 60 taken 393993 times.
✓ Branch 61 taken 609073 times.
✓ Branch 62 taken 538423 times.
✓ Branch 63 taken 21 times.
✓ Branch 64 taken 1254193 times.
✓ Branch 65 taken 680169 times.
✓ Branch 66 taken 10029 times.
✓ Branch 67 taken 1787 times.
✓ Branch 68 taken 7 times.
✓ Branch 69 taken 8993 times.
✓ Branch 70 taken 1220449 times.
✓ Branch 71 taken 1528203 times.
✓ Branch 72 taken 13784 times.
✓ Branch 73 taken 9305 times.
✓ Branch 74 taken 13603 times.
✓ Branch 75 taken 81600 times.
✓ Branch 76 taken 592124 times.
✓ Branch 77 taken 1648776 times.
✓ Branch 78 taken 26657 times.
✓ Branch 79 taken 3743 times.
✓ Branch 80 taken 1077961 times.
✓ Branch 81 taken 47089 times.
✓ Branch 82 taken 13556 times.
✓ Branch 83 taken 39583 times.
✓ Branch 84 taken 49871 times.
✓ Branch 85 taken 12605 times.
✓ Branch 86 taken 25949 times.
✓ Branch 87 taken 187382 times.
✓ Branch 88 taken 16390 times.
✓ Branch 89 taken 33677 times.
✓ Branch 90 taken 157512 times.
✓ Branch 91 taken 24520 times.
✗ Branch 92 not taken.
✓ Branch 93 taken 42244 times.
✓ Branch 94 taken 12227 times.
✓ Branch 95 taken 3470 times.
✓ Branch 96 taken 3210 times.
✓ Branch 97 taken 12360 times.
✓ Branch 98 taken 12 times.
✓ Branch 99 taken 3200 times.
✓ Branch 100 taken 19213 times.
✓ Branch 101 taken 1291964 times.
✓ Branch 102 taken 36 times.
✓ Branch 103 taken 995795 times.
✓ Branch 104 taken 2545080 times.
✓ Branch 105 taken 64 times.
✓ Branch 106 taken 2063633 times.
✓ Branch 107 taken 1932 times.
✓ Branch 108 taken 16720 times.
✗ Branch 109 not taken.
✓ Branch 110 taken 10538 times.
✓ Branch 111 taken 8236 times.
✗ Branch 112 not taken.
✓ Branch 113 taken 4368 times.
✗ Branch 114 not taken.
✓ Branch 115 taken 1735 times.
✓ Branch 116 taken 2014 times.
✓ Branch 117 taken 25318 times.
✗ Branch 118 not taken.
✗ Branch 119 not taken.
✓ Branch 120 taken 21948 times.
✗ Branch 121 not taken.
✗ Branch 122 not taken.
✓ Branch 123 taken 38656 times.
✓ Branch 124 taken 38500 times.
✓ Branch 125 taken 8610 times.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✓ Branch 128 taken 38500 times.
✓ Branch 129 taken 3008931 times.
✗ Branch 130 not taken.
✓ Branch 131 taken 8224 times.
✓ Branch 132 taken 12172000 times.
✗ Branch 133 not taken.
✓ Branch 134 taken 1735 times.
✓ Branch 135 taken 57568 times.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 138 not taken.
✓ Branch 139 taken 2873 times.
✓ Branch 141 taken 1927 times.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✓ Branch 144 taken 3662 times.
✗ Branch 145 not taken.
✓ Branch 146 taken 9023616 times.
✗ Branch 147 not taken.
✓ Branch 148 taken 6284256 times.
✗ Branch 149 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 153 not taken.
✗ Branch 154 not taken.
✓ Branch 156 taken 30606968 times.
✓ Branch 157 taken 24056 times.
✗ Branch 158 not taken.
✓ Branch 159 taken 1928 times.
✓ Branch 160 taken 3031056 times.
✗ Branch 161 not taken.
✓ Branch 162 taken 1927 times.
✓ Branch 163 taken 1928 times.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✓ Branch 167 taken 1928 times.
✗ Branch 168 not taken.
✓ Branch 169 taken 97376 times.
✗ Branch 170 not taken.
✗ Branch 171 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 174 not taken.
✓ Branch 175 taken 1928 times.
✗ Branch 176 not taken.
✗ Branch 177 not taken.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✗ Branch 180 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✓ Branch 183 taken 1927 times.
✓ Branch 184 taken 1928 times.
✗ Branch 185 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✓ Branch 189 taken 1928 times.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✓ Branch 193 taken 1928 times.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✓ Branch 197 taken 1928 times.
✗ Branch 198 not taken.
✗ Branch 199 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 208 not taken.
✗ Branch 209 not taken.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✗ Branch 213 not taken.
✗ Branch 214 not taken.
✗ Branch 217 not taken.
✗ Branch 218 not taken.
✗ Branch 220 not taken.
✗ Branch 221 not taken.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✗ Branch 228 not taken.
✗ Branch 229 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✗ Branch 241 not taken.
✗ Branch 242 not taken.
✗ Branch 243 not taken.
✗ Branch 244 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 253 not taken.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✗ Branch 258 not taken.
✗ Branch 259 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 268 not taken.
✗ Branch 269 not taken.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✗ Branch 273 not taken.
✗ Branch 274 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✗ Branch 283 not taken.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 288 not taken.
✗ Branch 289 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 301 not taken.
✗ Branch 302 not taken.
✗ Branch 303 not taken.
✗ Branch 304 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✗ Branch 318 not taken.
✗ Branch 319 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 333 not taken.
✗ Branch 334 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 348 not taken.
✗ Branch 349 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✗ Branch 358 not taken.
✗ Branch 359 not taken.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✗ Branch 363 not taken.
✗ Branch 364 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✗ Branch 376 not taken.
✗ Branch 377 not taken.
✗ Branch 378 not taken.
✗ Branch 379 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✗ Branch 393 not taken.
✗ Branch 394 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✗ Branch 436 not taken.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 448 not taken.
✗ Branch 449 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✗ Branch 457 not taken.
✗ Branch 458 not taken.
✗ Branch 460 not taken.
✗ Branch 461 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 472 not taken.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✗ Branch 487 not taken.
✗ Branch 488 not taken.
✗ Branch 490 not taken.
✗ Branch 491 not taken.
✗ Branch 493 not taken.
✗ Branch 494 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✗ Branch 499 not taken.
✗ Branch 500 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
✗ Branch 505 not taken.
✗ Branch 506 not taken.
✗ Branch 508 not taken.
✗ Branch 509 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✗ Branch 514 not taken.
✗ Branch 515 not taken.
✗ Branch 517 not taken.
✗ Branch 518 not taken.
✗ Branch 520 not taken.
✗ Branch 521 not taken.
✗ Branch 523 not taken.
✗ Branch 524 not taken.
✗ Branch 526 not taken.
✗ Branch 527 not taken.
✗ Branch 529 not taken.
✗ Branch 530 not taken.
✗ Branch 532 not taken.
✗ Branch 533 not taken.
✗ Branch 535 not taken.
✗ Branch 536 not taken.
✗ Branch 538 not taken.
✗ Branch 539 not taken.
✗ Branch 541 not taken.
✗ Branch 542 not taken.
✗ Branch 544 not taken.
✗ Branch 545 not taken.
✗ Branch 547 not taken.
✗ Branch 548 not taken.
✗ Branch 550 not taken.
✗ Branch 551 not taken.
✗ Branch 553 not taken.
✗ Branch 554 not taken.
✗ Branch 556 not taken.
✗ Branch 557 not taken.
✗ Branch 559 not taken.
✗ Branch 560 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✗ Branch 565 not taken.
✗ Branch 566 not taken.
✗ Branch 568 not taken.
✗ Branch 569 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✗ Branch 574 not taken.
✗ Branch 575 not taken.
✗ Branch 577 not taken.
✗ Branch 578 not taken.
✗ Branch 580 not taken.
✗ Branch 581 not taken.
✗ Branch 583 not taken.
✗ Branch 584 not taken.
✗ Branch 586 not taken.
✗ Branch 587 not taken.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✗ Branch 592 not taken.
✗ Branch 593 not taken.
✗ Branch 595 not taken.
✗ Branch 596 not taken.
✗ Branch 598 not taken.
✗ Branch 599 not taken.
✗ Branch 601 not taken.
✗ Branch 602 not taken.
✗ Branch 604 not taken.
✗ Branch 605 not taken.
✗ Branch 607 not taken.
✗ Branch 608 not taken.
✗ Branch 610 not taken.
✗ Branch 611 not taken.
✗ Branch 613 not taken.
✗ Branch 614 not taken.
✗ Branch 616 not taken.
✗ Branch 617 not taken.
✗ Branch 619 not taken.
✗ Branch 620 not taken.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✗ Branch 625 not taken.
✗ Branch 626 not taken.
✗ Branch 628 not taken.
✗ Branch 629 not taken.
✗ Branch 631 not taken.
✗ Branch 632 not taken.
✗ Branch 634 not taken.
✗ Branch 635 not taken.
✗ Branch 637 not taken.
✗ Branch 638 not taken.
✗ Branch 640 not taken.
✗ Branch 641 not taken.
✗ Branch 643 not taken.
✗ Branch 644 not taken.
✗ Branch 646 not taken.
✗ Branch 647 not taken.
✗ Branch 649 not taken.
✗ Branch 650 not taken.
✗ Branch 652 not taken.
✗ Branch 653 not taken.
✗ Branch 655 not taken.
✗ Branch 656 not taken.
✗ Branch 658 not taken.
✗ Branch 659 not taken.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 664 not taken.
✗ Branch 665 not taken.
✗ Branch 667 not taken.
✗ Branch 668 not taken.
✗ Branch 670 not taken.
✗ Branch 671 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✗ Branch 676 not taken.
✗ Branch 677 not taken.
✗ Branch 679 not taken.
✗ Branch 680 not taken.
✗ Branch 682 not taken.
✗ Branch 683 not taken.
✗ Branch 685 not taken.
✗ Branch 686 not taken.
✗ Branch 688 not taken.
✗ Branch 689 not taken.
✗ Branch 691 not taken.
✗ Branch 692 not taken.
✗ Branch 694 not taken.
✗ Branch 695 not taken.
✗ Branch 697 not taken.
✗ Branch 698 not taken.
✗ Branch 700 not taken.
✗ Branch 701 not taken.
✗ Branch 703 not taken.
✗ Branch 704 not taken.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✗ Branch 709 not taken.
✗ Branch 710 not taken.
✗ Branch 712 not taken.
✗ Branch 713 not taken.
✗ Branch 715 not taken.
✗ Branch 716 not taken.
✗ Branch 718 not taken.
✗ Branch 719 not taken.
✗ Branch 721 not taken.
✗ Branch 722 not taken.
✗ Branch 724 not taken.
✗ Branch 725 not taken.
✗ Branch 727 not taken.
✗ Branch 728 not taken.
✗ Branch 730 not taken.
✗ Branch 731 not taken.
✗ Branch 733 not taken.
✗ Branch 734 not taken.
✗ Branch 736 not taken.
✗ Branch 737 not taken.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 742 not taken.
✗ Branch 743 not taken.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✗ Branch 748 not taken.
✗ Branch 749 not taken.
✗ Branch 751 not taken.
✗ Branch 752 not taken.
✗ Branch 754 not taken.
✗ Branch 755 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 763 not taken.
✗ Branch 764 not taken.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✗ Branch 769 not taken.
✗ Branch 770 not taken.
✗ Branch 772 not taken.
✗ Branch 773 not taken.
✗ Branch 775 not taken.
✗ Branch 776 not taken.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✗ Branch 781 not taken.
✗ Branch 782 not taken.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✗ Branch 787 not taken.
✗ Branch 788 not taken.
✗ Branch 790 not taken.
✗ Branch 791 not taken.
✗ Branch 793 not taken.
✗ Branch 794 not taken.
✗ Branch 796 not taken.
✗ Branch 797 not taken.
✗ Branch 799 not taken.
✗ Branch 800 not taken.
✗ Branch 802 not taken.
✗ Branch 803 not taken.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✗ Branch 808 not taken.
✗ Branch 809 not taken.
✗ Branch 811 not taken.
✗ Branch 812 not taken.
✗ Branch 814 not taken.
✗ Branch 815 not taken.
✗ Branch 817 not taken.
✗ Branch 818 not taken.
✗ Branch 820 not taken.
✗ Branch 821 not taken.
✗ Branch 823 not taken.
✗ Branch 824 not taken.
✗ Branch 826 not taken.
✗ Branch 827 not taken.
✗ Branch 829 not taken.
✗ Branch 830 not taken.
✗ Branch 832 not taken.
✗ Branch 833 not taken.
✗ Branch 835 not taken.
✗ Branch 836 not taken.
✗ Branch 838 not taken.
✗ Branch 839 not taken.
✗ Branch 841 not taken.
✗ Branch 842 not taken.
✗ Branch 844 not taken.
✗ Branch 845 not taken.
✗ Branch 847 not taken.
✗ Branch 848 not taken.
✗ Branch 850 not taken.
✗ Branch 851 not taken.
✗ Branch 853 not taken.
✗ Branch 854 not taken.
✗ Branch 856 not taken.
✗ Branch 857 not taken.
✗ Branch 859 not taken.
✗ Branch 860 not taken.
✗ Branch 862 not taken.
✗ Branch 863 not taken.
✗ Branch 865 not taken.
✗ Branch 866 not taken.
✗ Branch 868 not taken.
✗ Branch 869 not taken.
✗ Branch 871 not taken.
✗ Branch 872 not taken.
✗ Branch 874 not taken.
✗ Branch 875 not taken.
✗ Branch 877 not taken.
✗ Branch 878 not taken.
✗ Branch 880 not taken.
✗ Branch 881 not taken.
✗ Branch 883 not taken.
✗ Branch 884 not taken.
✗ Branch 886 not taken.
✗ Branch 887 not taken.
✗ Branch 889 not taken.
✗ Branch 890 not taken.
✗ Branch 892 not taken.
✗ Branch 893 not taken.
✗ Branch 895 not taken.
✗ Branch 896 not taken.
✗ Branch 898 not taken.
✗ Branch 899 not taken.
✗ Branch 901 not taken.
✗ Branch 902 not taken.
✗ Branch 904 not taken.
✗ Branch 905 not taken.
✗ Branch 907 not taken.
✗ Branch 908 not taken.
✗ Branch 910 not taken.
✗ Branch 911 not taken.
✗ Branch 913 not taken.
✗ Branch 914 not taken.
✗ Branch 916 not taken.
✗ Branch 917 not taken.
✗ Branch 919 not taken.
✗ Branch 920 not taken.
✗ Branch 922 not taken.
✗ Branch 923 not taken.
✗ Branch 925 not taken.
✗ Branch 926 not taken.
✗ Branch 928 not taken.
✗ Branch 929 not taken.
✗ Branch 931 not taken.
✗ Branch 932 not taken.
✗ Branch 934 not taken.
✗ Branch 935 not taken.
✗ Branch 937 not taken.
✗ Branch 938 not taken.
✗ Branch 940 not taken.
✗ Branch 941 not taken.
✗ Branch 943 not taken.
✗ Branch 944 not taken.
✗ Branch 946 not taken.
✗ 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.
|
1537720661 | { return elementMapper_; } |
| 123 | |||
| 124 | /*! | ||
| 125 | * \brief Returns the bounding box tree of the grid | ||
| 126 | */ | ||
| 127 | const BoundingBoxTree& boundingBoxTree() const | ||
| 128 |
8/14✓ Branch 1 taken 21433 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 21433 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 13543 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 80 times.
✓ Branch 10 taken 13543 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 80 times.
✓ Branch 13 taken 11333 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 11333 times.
✗ Branch 17 not taken.
|
108872 | { return *boundingBoxTree_; } |
| 129 | |||
| 130 | /*! | ||
| 131 | * \brief Returns the element index to element map | ||
| 132 | */ | ||
| 133 | const ElementMap& elementMap() const | ||
| 134 | 1640511802 | { return *elementMap_; } | |
| 135 | |||
| 136 | /*! | ||
| 137 | * \brief Get an element from a global element index | ||
| 138 | */ | ||
| 139 | 9539900 | Element element(GridIndexType eIdx) const | |
| 140 |
203/242✓ Branch 1 taken 6939022 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 31828514 times.
✓ Branch 4 taken 6979594 times.
✓ Branch 5 taken 8120036 times.
✓ Branch 6 taken 30209382 times.
✓ Branch 7 taken 14803988 times.
✓ Branch 8 taken 5458500 times.
✓ Branch 9 taken 28672900 times.
✓ Branch 10 taken 50141121 times.
✓ Branch 11 taken 1227185 times.
✓ Branch 12 taken 25422112 times.
✓ Branch 13 taken 61084596 times.
✓ Branch 14 taken 2782205 times.
✓ Branch 15 taken 20020217 times.
✓ Branch 16 taken 42745120 times.
✓ Branch 17 taken 4682325 times.
✓ Branch 18 taken 17927633 times.
✓ Branch 19 taken 6201470 times.
✓ Branch 20 taken 2232368 times.
✓ Branch 21 taken 568182 times.
✓ Branch 22 taken 5785322 times.
✓ Branch 23 taken 1926757 times.
✓ Branch 24 taken 1709968 times.
✓ Branch 25 taken 1554370 times.
✓ Branch 26 taken 627427 times.
✓ Branch 27 taken 496210 times.
✓ Branch 28 taken 3996856 times.
✓ Branch 29 taken 29403 times.
✓ Branch 30 taken 609632 times.
✓ Branch 31 taken 4066496 times.
✓ Branch 32 taken 24889 times.
✓ Branch 33 taken 7818 times.
✓ Branch 34 taken 3191074 times.
✓ Branch 35 taken 34275 times.
✓ Branch 36 taken 5822 times.
✓ Branch 37 taken 419634 times.
✓ Branch 38 taken 11865522 times.
✓ Branch 39 taken 23412 times.
✓ Branch 40 taken 307422 times.
✓ Branch 41 taken 11857819 times.
✓ Branch 42 taken 32016 times.
✓ Branch 43 taken 18464 times.
✓ Branch 44 taken 11883357 times.
✓ Branch 45 taken 605666 times.
✓ Branch 46 taken 54528 times.
✓ Branch 47 taken 106385 times.
✓ Branch 48 taken 619472 times.
✓ Branch 49 taken 52684 times.
✓ Branch 50 taken 140027 times.
✓ Branch 51 taken 607304 times.
✓ Branch 52 taken 661375 times.
✓ Branch 53 taken 1135603 times.
✓ Branch 54 taken 3404 times.
✓ Branch 55 taken 962463 times.
✓ Branch 56 taken 1381996 times.
✓ Branch 57 taken 16192 times.
✓ Branch 58 taken 991235 times.
✓ Branch 59 taken 1345404 times.
✓ Branch 60 taken 65875 times.
✓ Branch 61 taken 1614290 times.
✓ Branch 62 taken 305598 times.
✓ Branch 63 taken 50515 times.
✓ Branch 64 taken 1988212 times.
✓ Branch 65 taken 637542 times.
✓ Branch 66 taken 102675 times.
✓ Branch 67 taken 1988016 times.
✓ Branch 68 taken 630584 times.
✓ Branch 69 taken 496016 times.
✓ Branch 70 taken 739034 times.
✓ Branch 71 taken 629696 times.
✓ Branch 72 taken 1249105 times.
✓ Branch 73 taken 648392 times.
✓ Branch 74 taken 3420 times.
✓ Branch 75 taken 1196894 times.
✓ Branch 76 taken 647706 times.
✓ Branch 77 taken 54020 times.
✓ Branch 78 taken 738668 times.
✓ Branch 79 taken 1308132 times.
✓ Branch 80 taken 953506 times.
✓ Branch 81 taken 1189254 times.
✓ Branch 82 taken 796481 times.
✓ Branch 83 taken 832006 times.
✓ Branch 84 taken 1634738 times.
✓ Branch 85 taken 679081 times.
✓ Branch 86 taken 884788 times.
✓ Branch 87 taken 1625158 times.
✓ Branch 88 taken 15846 times.
✓ Branch 89 taken 152000 times.
✓ Branch 90 taken 829836 times.
✓ Branch 91 taken 23954 times.
✓ Branch 92 taken 176040 times.
✓ Branch 93 taken 845730 times.
✓ Branch 94 taken 24996 times.
✓ Branch 95 taken 769236 times.
✓ Branch 96 taken 13462 times.
✓ Branch 97 taken 3030644 times.
✓ Branch 98 taken 663952 times.
✓ Branch 99 taken 14142 times.
✓ Branch 100 taken 3033724 times.
✓ Branch 101 taken 663952 times.
✓ Branch 102 taken 73102 times.
✓ Branch 103 taken 3016310 times.
✓ Branch 104 taken 4728 times.
✓ Branch 105 taken 82664 times.
✓ Branch 106 taken 29064 times.
✓ Branch 107 taken 58538 times.
✓ Branch 108 taken 25304 times.
✓ Branch 109 taken 18333450 times.
✓ Branch 110 taken 101030 times.
✓ Branch 111 taken 28208 times.
✓ Branch 112 taken 18342966 times.
✓ Branch 113 taken 122978 times.
✓ Branch 114 taken 854348 times.
✓ Branch 115 taken 17504718 times.
✓ Branch 116 taken 123966 times.
✓ Branch 117 taken 18342388 times.
✓ Branch 118 taken 34351 times.
✓ Branch 119 taken 328216 times.
✓ Branch 120 taken 18333000 times.
✓ Branch 121 taken 44018 times.
✓ Branch 122 taken 297744 times.
✓ Branch 123 taken 18333962 times.
✓ Branch 124 taken 37238 times.
✓ Branch 125 taken 18518842 times.
✓ Branch 126 taken 11316 times.
✓ Branch 127 taken 215189 times.
✓ Branch 128 taken 18222524 times.
✓ Branch 129 taken 2708 times.
✓ Branch 130 taken 388064 times.
✓ Branch 131 taken 18221000 times.
✓ Branch 132 taken 2008 times.
✓ Branch 133 taken 388124 times.
✓ Branch 134 taken 108350 times.
✓ Branch 135 taken 2008 times.
✓ Branch 136 taken 282950 times.
✓ Branch 137 taken 4188 times.
✓ Branch 138 taken 338192 times.
✓ Branch 139 taken 303558 times.
✓ Branch 140 taken 164018 times.
✓ Branch 141 taken 228684 times.
✓ Branch 142 taken 305598 times.
✓ Branch 143 taken 162364 times.
✓ Branch 144 taken 210112 times.
✓ Branch 145 taken 338861 times.
✓ Branch 146 taken 454444 times.
✓ Branch 147 taken 2320 times.
✓ Branch 148 taken 38524 times.
✓ Branch 149 taken 12470980 times.
✓ Branch 150 taken 2320 times.
✓ Branch 151 taken 4238 times.
✓ Branch 152 taken 12172200 times.
✓ Branch 153 taken 326246 times.
✓ Branch 154 taken 243884 times.
✓ Branch 155 taken 12471208 times.
✓ Branch 156 taken 328836 times.
✓ Branch 157 taken 360934 times.
✓ Branch 158 taken 200 times.
✓ Branch 159 taken 378876 times.
✓ Branch 160 taken 151814 times.
✗ Branch 161 not taken.
✓ Branch 162 taken 520128 times.
✓ Branch 163 taken 223312 times.
✗ Branch 164 not taken.
✓ Branch 165 taken 720668 times.
✓ Branch 166 taken 446992 times.
✗ Branch 167 not taken.
✓ Branch 168 taken 721480 times.
✓ Branch 169 taken 297488 times.
✗ Branch 170 not taken.
✓ Branch 171 taken 75178 times.
✗ Branch 172 not taken.
✓ Branch 174 taken 283314 times.
✓ Branch 175 taken 303488 times.
✗ Branch 176 not taken.
✓ Branch 177 taken 75298 times.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✓ Branch 180 taken 319368 times.
✗ Branch 181 not taken.
✓ Branch 182 taken 28 times.
✓ Branch 183 taken 319260 times.
✗ Branch 184 not taken.
✓ Branch 185 taken 28 times.
✓ Branch 186 taken 28 times.
✗ Branch 187 not taken.
✓ Branch 188 taken 28 times.
✓ Branch 189 taken 325980 times.
✓ Branch 190 taken 2464 times.
✗ Branch 191 not taken.
✓ Branch 193 taken 2464 times.
✗ Branch 194 not taken.
✗ Branch 195 not taken.
✓ Branch 197 taken 146692 times.
✗ Branch 198 not taken.
✓ Branch 200 taken 146692 times.
✗ Branch 201 not taken.
✓ Branch 202 taken 6632 times.
✓ Branch 203 taken 140060 times.
✗ Branch 204 not taken.
✓ Branch 205 taken 146664 times.
✗ Branch 206 not taken.
✓ Branch 208 taken 146664 times.
✗ Branch 209 not taken.
✗ Branch 210 not taken.
✓ Branch 211 taken 146664 times.
✓ Branch 213 taken 145768 times.
✗ Branch 214 not taken.
✓ Branch 216 taken 145768 times.
✗ Branch 217 not taken.
✓ Branch 219 taken 145768 times.
✗ Branch 220 not taken.
✓ Branch 224 taken 6 times.
✗ Branch 225 not taken.
✗ Branch 229 not taken.
✓ Branch 230 taken 864 times.
✗ Branch 231 not taken.
✓ Branch 232 taken 864 times.
✗ Branch 233 not taken.
✓ Branch 234 taken 864 times.
✓ Branch 236 taken 97376 times.
✗ Branch 237 not taken.
✓ Branch 239 taken 97376 times.
✗ Branch 240 not taken.
✗ Branch 241 not taken.
✓ Branch 242 taken 97376 times.
✓ Branch 246 taken 12271831 times.
✗ Branch 247 not taken.
✓ Branch 249 taken 200 times.
✗ Branch 250 not taken.
✓ Branch 252 taken 200 times.
✗ Branch 253 not taken.
✓ Branch 255 taken 200 times.
✗ Branch 256 not taken.
✓ Branch 260 taken 100 times.
✗ Branch 261 not taken.
✓ Branch 263 taken 1354 times.
✗ Branch 264 not taken.
✓ Branch 266 taken 1354 times.
✗ Branch 267 not taken.
✓ Branch 269 taken 1354 times.
✗ Branch 270 not taken.
|
1752617733 | { 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 | const GlobalCoordinate &bBoxMin() const | ||
| 147 |
20/22✓ Branch 0 taken 66020691 times.
✓ Branch 1 taken 20249988 times.
✓ Branch 2 taken 802846 times.
✓ Branch 3 taken 136787759 times.
✓ Branch 4 taken 11637942 times.
✓ Branch 5 taken 161939812 times.
✓ Branch 6 taken 11589247 times.
✓ Branch 7 taken 97854735 times.
✓ Branch 8 taken 4721124 times.
✓ Branch 9 taken 34834401 times.
✓ Branch 10 taken 1038351 times.
✓ Branch 11 taken 36982279 times.
✓ Branch 12 taken 1260324 times.
✓ Branch 13 taken 31003 times.
✓ Branch 14 taken 24937 times.
✓ Branch 15 taken 5544 times.
✓ Branch 16 taken 7253 times.
✓ Branch 17 taken 7252 times.
✓ Branch 18 taken 4860 times.
✓ Branch 19 taken 522 times.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
|
611442048 | { return bBoxMin_; } |
| 148 | |||
| 149 | /*! | ||
| 150 | * \brief The coordinate of the corner of the GridView's bounding | ||
| 151 | * box with the largest values. | ||
| 152 | */ | ||
| 153 | const GlobalCoordinate &bBoxMax() const | ||
| 154 |
30/32✓ Branch 0 taken 6816788 times.
✓ Branch 1 taken 7887768 times.
✓ Branch 2 taken 65962430 times.
✓ Branch 3 taken 55898852 times.
✓ Branch 4 taken 370168885 times.
✓ Branch 5 taken 13533212 times.
✓ Branch 6 taken 140306266 times.
✓ Branch 7 taken 25699858 times.
✓ Branch 8 taken 229786719 times.
✓ Branch 9 taken 19757436 times.
✓ Branch 10 taken 292933804 times.
✓ Branch 11 taken 13849663 times.
✓ Branch 12 taken 152545168 times.
✓ Branch 13 taken 1307244 times.
✓ Branch 14 taken 39221412 times.
✓ Branch 15 taken 2257967 times.
✓ Branch 16 taken 35001316 times.
✓ Branch 17 taken 2249038 times.
✓ Branch 18 taken 35005372 times.
✓ Branch 19 taken 26752 times.
✓ Branch 20 taken 13884 times.
✓ Branch 21 taken 14524 times.
✓ Branch 22 taken 79212 times.
✓ Branch 23 taken 46818 times.
✓ Branch 24 taken 20424 times.
✓ Branch 25 taken 21608 times.
✓ Branch 26 taken 7844 times.
✓ Branch 27 taken 9028 times.
✓ Branch 28 taken 7252 times.
✓ Branch 29 taken 7252 times.
✗ Branch 30 not taken.
✗ Branch 31 not taken.
|
1430097056 | { return bBoxMax_; } |
| 155 | |||
| 156 | private: | ||
| 157 | |||
| 158 | //! Return an instance of the element mapper | ||
| 159 | ✗ | ElementMapper makeElementMapper_(const GridView& gridView) const | |
| 160 | { | ||
| 161 | if constexpr (std::is_constructible<ElementMapper, GridView, Dune::MCMGLayout>()) | ||
| 162 | ✗ | return ElementMapper(gridView, Dune::mcmgElementLayout()); | |
| 163 | else | ||
| 164 | return ElementMapper(gridView); | ||
| 165 | } | ||
| 166 | |||
| 167 | //! Return an instance of the vertex mapper | ||
| 168 | ✗ | VertexMapper makeVertexMapper_(const GridView& gridView) const | |
| 169 | { | ||
| 170 | if constexpr (std::is_constructible<VertexMapper, GridView, Dune::MCMGLayout>()) | ||
| 171 | ✗ | 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 | 2223 | void computeGlobalBoundingBox_() | |
| 178 | { | ||
| 179 | // calculate the bounding box of the local partition of the grid view | ||
| 180 |
8/10✓ Branch 1 taken 5482331 times.
✓ Branch 2 taken 698 times.
✓ Branch 3 taken 586494 times.
✓ Branch 4 taken 469 times.
✓ Branch 5 taken 247 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 247 times.
✓ Branch 8 taken 564592 times.
✓ Branch 14 taken 564592 times.
✗ Branch 15 not taken.
|
9661653 | for (const auto& vertex : vertices(gridView_)) |
| 181 | { | ||
| 182 |
3/3✓ Branch 0 taken 13108149 times.
✓ Branch 1 taken 6699672 times.
✓ Branch 2 taken 590611 times.
|
33043195 | for (int i=0; i<dimWorld; i++) |
| 183 | { | ||
| 184 | using std::min; | ||
| 185 | using std::max; | ||
| 186 |
9/9✓ Branch 0 taken 32 times.
✓ Branch 1 taken 26797 times.
✓ Branch 2 taken 12087026 times.
✓ Branch 3 taken 2265431 times.
✓ Branch 4 taken 12087026 times.
✓ Branch 5 taken 2265431 times.
✓ Branch 6 taken 12087026 times.
✓ Branch 7 taken 2265431 times.
✓ Branch 8 taken 12084235 times.
|
24487731 | bBoxMin_[i] = min(bBoxMin_[i], vertex.geometry().corner(0)[i]); |
| 187 |
9/9✓ Branch 0 taken 7892 times.
✓ Branch 1 taken 58954 times.
✓ Branch 2 taken 12182861 times.
✓ Branch 3 taken 2169596 times.
✓ Branch 4 taken 12182861 times.
✓ Branch 5 taken 2169596 times.
✓ Branch 6 taken 12182861 times.
✓ Branch 7 taken 2169596 times.
✓ Branch 8 taken 12044218 times.
|
25106426 | 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 |
6/6✓ Branch 0 taken 4 times.
✓ Branch 1 taken 1435 times.
✓ Branch 2 taken 275 times.
✓ Branch 3 taken 1051 times.
✓ Branch 4 taken 275 times.
✓ Branch 5 taken 1011 times.
|
2259 | if (gridView_.comm().size() > 1) |
| 193 | { | ||
| 194 |
2/2✓ Branch 0 taken 224 times.
✓ Branch 1 taken 108 times.
|
364 | for (int i = 0; i < dimWorld; ++i) |
| 195 | { | ||
| 196 |
2/4✗ Branch 0 not taken.
✓ Branch 1 taken 136 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 136 times.
|
264 | bBoxMin_[i] = gridView_.comm().min(bBoxMin_[i]); |
| 197 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 136 times.
|
264 | bBoxMax_[i] = gridView_.comm().max(bBoxMax_[i]); |
| 198 | } | ||
| 199 | } | ||
| 200 | 2223 | } | |
| 201 | |||
| 202 | 1128 | void update_() | |
| 203 | { | ||
| 204 | // Update the mappers | ||
| 205 | 1128 | elementMapper_.update(gridView_); | |
| 206 | 1128 | vertexMapper_.update(gridView_); | |
| 207 | |||
| 208 | // Compute the bounding box of the entire domain, for e.g. setting boundary conditions | ||
| 209 | 1128 | 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 |
5/7✗ Branch 0 not taken.
✓ Branch 1 taken 829 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 39 times.
✓ Branch 4 taken 799 times.
✓ Branch 5 taken 9 times.
✓ Branch 6 taken 829 times.
|
1170 | elementMap_ = std::make_shared<ElementMap>(gridView_.grid(), elementMapper_); |
| 216 |
5/10✓ Branch 1 taken 838 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 30 times.
✓ Branch 4 taken 808 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 838 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 838 times.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
|
1161 | boundingBoxTree_ = std::make_unique<BoundingBoxTree>( |
| 217 | 1128 | std::make_shared<ElementSet>(gridView_, elementMapper(), elementMap_) | |
| 218 | ); | ||
| 219 | 1128 | } | |
| 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 |