| 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 Core | ||
| 10 | * \brief Class to specify the type of a boundary. | ||
| 11 | */ | ||
| 12 | #ifndef DUMUX_BOUNDARY_TYPES_HH | ||
| 13 | #define DUMUX_BOUNDARY_TYPES_HH | ||
| 14 | |||
| 15 | #include <algorithm> | ||
| 16 | #include <array> | ||
| 17 | |||
| 18 | namespace Dumux { | ||
| 19 | |||
| 20 | /*! | ||
| 21 | * \ingroup Core | ||
| 22 | * \brief Class to specify the type of a boundary. | ||
| 23 | */ | ||
| 24 | template <int numEq> | ||
| 25 | class BoundaryTypes | ||
| 26 | { | ||
| 27 | public: | ||
| 28 | 545883761 | BoundaryTypes() | |
| 29 |
2/2✓ Branch 0 taken 5747971 times.
✓ Branch 1 taken 3237644 times.
|
585259044 | { reset(); } |
| 30 | |||
| 31 | //! we have a boundary condition for each equation | ||
| 32 | static constexpr int size() | ||
| 33 | { return numEq; } | ||
| 34 | |||
| 35 | /*! | ||
| 36 | * \brief Reset the boundary types for all equations. | ||
| 37 | * | ||
| 38 | * After this method no equations will be disabled and neither | ||
| 39 | * Neumann nor Dirichlet conditions will be evaluated. This | ||
| 40 | * corresponds to a Neumann zero boundary. | ||
| 41 | */ | ||
| 42 | void reset() | ||
| 43 | { | ||
| 44 |
48/48✓ Branch 0 taken 465218093 times.
✓ Branch 1 taken 2487790084 times.
✓ Branch 2 taken 31398018 times.
✓ Branch 3 taken 13581252 times.
✓ Branch 4 taken 78492410 times.
✓ Branch 5 taken 33441583 times.
✓ Branch 6 taken 96157150 times.
✓ Branch 7 taken 40239604 times.
✓ Branch 8 taken 32460775 times.
✓ Branch 9 taken 14818756 times.
✓ Branch 10 taken 1141275 times.
✓ Branch 11 taken 434474 times.
✓ Branch 12 taken 249965 times.
✓ Branch 13 taken 269936 times.
✓ Branch 14 taken 384893 times.
✓ Branch 15 taken 129967 times.
✓ Branch 16 taken 10629 times.
✓ Branch 17 taken 4425 times.
✓ Branch 18 taken 684217 times.
✓ Branch 19 taken 342662 times.
✓ Branch 20 taken 1016185 times.
✓ Branch 21 taken 339414 times.
✓ Branch 22 taken 24077 times.
✓ Branch 23 taken 48517 times.
✓ Branch 24 taken 23865 times.
✓ Branch 25 taken 72079 times.
✓ Branch 26 taken 121 times.
✓ Branch 27 taken 726 times.
✓ Branch 28 taken 121 times.
✓ Branch 29 taken 726 times.
✓ Branch 30 taken 121 times.
✓ Branch 31 taken 605 times.
✓ Branch 32 taken 121 times.
✓ Branch 33 taken 605 times.
✓ Branch 34 taken 121 times.
✓ Branch 35 taken 484 times.
✓ Branch 36 taken 121 times.
✓ Branch 37 taken 484 times.
✓ Branch 38 taken 121 times.
✓ Branch 39 taken 363 times.
✓ Branch 40 taken 141 times.
✓ Branch 41 taken 846 times.
✓ Branch 42 taken 141 times.
✓ Branch 43 taken 705 times.
✓ Branch 44 taken 141 times.
✓ Branch 45 taken 705 times.
✓ Branch 46 taken 141 times.
✓ Branch 47 taken 564 times.
|
3400603771 | for (int eqIdx=0; eqIdx < numEq; ++eqIdx) |
| 45 | 5618936384 | resetEq(eqIdx); | |
| 46 | } | ||
| 47 | |||
| 48 | /*! | ||
| 49 | * \brief Reset the boundary types for one equation. | ||
| 50 | */ | ||
| 51 | void resetEq(int eqIdx) | ||
| 52 | { | ||
| 53 |
24/24✓ Branch 0 taken 499912 times.
✓ Branch 1 taken 4295251 times.
✓ Branch 2 taken 1595541 times.
✓ Branch 3 taken 11111696 times.
✓ Branch 4 taken 4574219 times.
✓ Branch 5 taken 2003683 times.
✓ Branch 6 taken 6203538 times.
✓ Branch 7 taken 1373266 times.
✓ Branch 8 taken 54538 times.
✓ Branch 9 taken 7244375 times.
✓ Branch 10 taken 184147 times.
✓ Branch 11 taken 3595214 times.
✓ Branch 12 taken 116026 times.
✓ Branch 13 taken 84378 times.
✓ Branch 14 taken 1471 times.
✓ Branch 15 taken 271727 times.
✓ Branch 16 taken 15006 times.
✓ Branch 17 taken 63670 times.
✓ Branch 18 taken 26282 times.
✓ Branch 19 taken 3044 times.
✓ Branch 20 taken 2206 times.
✓ Branch 21 taken 5418 times.
✓ Branch 22 taken 315 times.
✓ Branch 23 taken 750 times.
|
8782827024 | boundaryInfo_[eqIdx].visited = false; |
| 54 | |||
| 55 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | boundaryInfo_[eqIdx].isDirichlet = false; |
| 56 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | boundaryInfo_[eqIdx].isNeumann = false; |
| 57 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | boundaryInfo_[eqIdx].isOutflow = false; |
| 58 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | boundaryInfo_[eqIdx].isCouplingDirichlet = false; |
| 59 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | boundaryInfo_[eqIdx].isCouplingNeumann = false; |
| 60 | |||
| 61 |
46/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 499081 times.
✓ Branch 3 taken 1445444 times.
✓ Branch 4 taken 4535590 times.
✓ Branch 5 taken 12829632 times.
✓ Branch 6 taken 7402090 times.
✓ Branch 7 taken 9950290 times.
✓ Branch 8 taken 1525594 times.
✓ Branch 9 taken 236520 times.
✓ Branch 10 taken 297944 times.
✓ Branch 11 taken 376514 times.
✓ Branch 12 taken 127185 times.
✓ Branch 13 taken 352399 times.
✓ Branch 14 taken 139568 times.
✓ Branch 15 taken 712956 times.
✓ Branch 16 taken 147328 times.
✓ Branch 17 taken 9961318 times.
✓ Branch 18 taken 147328 times.
✓ Branch 19 taken 6883320 times.
✓ Branch 20 taken 144908 times.
✓ Branch 21 taken 503498 times.
✓ Branch 22 taken 32221 times.
✓ Branch 23 taken 529561 times.
✓ Branch 24 taken 1001 times.
✓ Branch 25 taken 120069 times.
✓ Branch 26 taken 1001 times.
✓ Branch 27 taken 120069 times.
✓ Branch 28 taken 27078 times.
✓ Branch 29 taken 265846 times.
✓ Branch 30 taken 24446 times.
✓ Branch 31 taken 249118 times.
✓ Branch 32 taken 12373 times.
✓ Branch 33 taken 9911 times.
✓ Branch 34 taken 717 times.
✓ Branch 35 taken 7279 times.
✓ Branch 36 taken 2301 times.
✓ Branch 37 taken 1154 times.
✓ Branch 38 taken 2301 times.
✓ Branch 39 taken 1154 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
10287000542 | eq2pvIdx_[eqIdx] = eqIdx; |
| 62 |
48/48✓ Branch 0 taken 1557562 times.
✓ Branch 1 taken 4603537 times.
✓ Branch 2 taken 677474 times.
✓ Branch 3 taken 4453193 times.
✓ Branch 4 taken 1579218 times.
✓ Branch 5 taken 11295758 times.
✓ Branch 6 taken 1577032 times.
✓ Branch 7 taken 11098826 times.
✓ Branch 8 taken 4668534 times.
✓ Branch 9 taken 2097258 times.
✓ Branch 10 taken 4609300 times.
✓ Branch 11 taken 2097198 times.
✓ Branch 12 taken 6206213 times.
✓ Branch 13 taken 1386641 times.
✓ Branch 14 taken 6206213 times.
✓ Branch 15 taken 1386641 times.
✓ Branch 16 taken 54548 times.
✓ Branch 17 taken 7244375 times.
✓ Branch 18 taken 54548 times.
✓ Branch 19 taken 7244375 times.
✓ Branch 20 taken 184147 times.
✓ Branch 21 taken 3595214 times.
✓ Branch 22 taken 184147 times.
✓ Branch 23 taken 3595214 times.
✓ Branch 24 taken 116026 times.
✓ Branch 25 taken 84352 times.
✓ Branch 26 taken 116026 times.
✓ Branch 27 taken 84352 times.
✓ Branch 28 taken 1471 times.
✓ Branch 29 taken 271701 times.
✓ Branch 30 taken 1471 times.
✓ Branch 31 taken 271727 times.
✓ Branch 32 taken 15006 times.
✓ Branch 33 taken 63696 times.
✓ Branch 34 taken 15006 times.
✓ Branch 35 taken 63696 times.
✓ Branch 36 taken 26282 times.
✓ Branch 37 taken 3070 times.
✓ Branch 38 taken 26282 times.
✓ Branch 39 taken 3070 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5418 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5418 times.
✓ Branch 44 taken 315 times.
✓ Branch 45 taken 750 times.
✓ Branch 46 taken 315 times.
✓ Branch 47 taken 750 times.
|
19050834754 | pv2eqIdx_[eqIdx] = eqIdx; |
| 63 | } | ||
| 64 | |||
| 65 | /*! | ||
| 66 | * \brief Returns true if the boundary types for a given equation | ||
| 67 | * has been specified. | ||
| 68 | * | ||
| 69 | * \param eqIdx The index of the equation | ||
| 70 | */ | ||
| 71 | bool isSet(int eqIdx) const | ||
| 72 | { return boundaryInfo_[eqIdx].visited; } | ||
| 73 | |||
| 74 | /*! | ||
| 75 | * \brief Make sure the boundary conditions are well-posed. | ||
| 76 | * | ||
| 77 | * If they are not, an assertion fails and the program aborts! | ||
| 78 | * (if the NDEBUG macro is not defined) | ||
| 79 | */ | ||
| 80 | void checkWellPosed() const | ||
| 81 | { | ||
| 82 | // if this fails, at least one condition is missing. | ||
| 83 | for (int i=0; i < numEq; ++i) | ||
| 84 | assert(boundaryInfo_[i].visited); | ||
| 85 | } | ||
| 86 | |||
| 87 | /*! | ||
| 88 | * \brief Set all boundary conditions to Neumann. | ||
| 89 | */ | ||
| 90 | void setAllNeumann() | ||
| 91 | { | ||
| 92 |
18/20✓ Branch 0 taken 38347602 times.
✓ Branch 1 taken 16134798 times.
✓ Branch 2 taken 22993850 times.
✓ Branch 3 taken 10382389 times.
✓ Branch 4 taken 10187831 times.
✓ Branch 5 taken 3422205 times.
✓ Branch 6 taken 361410 times.
✓ Branch 7 taken 151080 times.
✓ Branch 8 taken 1172300 times.
✓ Branch 9 taken 446084 times.
✓ Branch 10 taken 67244 times.
✓ Branch 11 taken 33398 times.
✓ Branch 12 taken 228964 times.
✓ Branch 13 taken 85322 times.
✓ Branch 14 taken 74124 times.
✓ Branch 15 taken 24758 times.
✓ Branch 16 taken 648 times.
✓ Branch 17 taken 216 times.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
|
143881091 | for (int eqIdx = 0; eqIdx < numEq; ++eqIdx) |
| 93 | 187073950 | setNeumann(eqIdx); | |
| 94 | } | ||
| 95 | |||
| 96 | /*! | ||
| 97 | * \brief Set all boundary conditions to Dirichlet. | ||
| 98 | */ | ||
| 99 | void setAllDirichlet() | ||
| 100 | { | ||
| 101 |
8/12✓ Branch 0 taken 21567853 times.
✓ Branch 1 taken 10213573 times.
✓ Branch 2 taken 288181 times.
✓ Branch 3 taken 99020 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✓ Branch 6 taken 33880 times.
✓ Branch 7 taken 16940 times.
✓ Branch 8 taken 101640 times.
✓ Branch 9 taken 50820 times.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
|
32734601 | for (int eqIdx = 0; eqIdx < numEq; ++ eqIdx) |
| 102 | 44361386 | setDirichlet(eqIdx); | |
| 103 | } | ||
| 104 | |||
| 105 | /*! | ||
| 106 | * \brief Set all boundary conditions to Dirichlet-like coupling | ||
| 107 | */ | ||
| 108 | void setAllCouplingDirichlet() | ||
| 109 | { | ||
| 110 | for (int eqIdx = 0; eqIdx < numEq; ++eqIdx) | ||
| 111 | setCouplingDirichlet(eqIdx); | ||
| 112 | } | ||
| 113 | |||
| 114 | /*! | ||
| 115 | * \brief Set all boundary conditions to Neumann-like coupling. | ||
| 116 | */ | ||
| 117 | void setAllCouplingNeumann() | ||
| 118 | { | ||
| 119 |
2/2✓ Branch 0 taken 419816 times.
✓ Branch 1 taken 197412 times.
|
617228 | for (int eqIdx = 0; eqIdx < numEq; ++eqIdx) |
| 120 | 839632 | setCouplingNeumann(eqIdx); | |
| 121 | } | ||
| 122 | |||
| 123 | /*! | ||
| 124 | * \brief Set a Neumann boundary condition for a single equation. | ||
| 125 | * | ||
| 126 | * \param eqIdx The index of the equation | ||
| 127 | */ | ||
| 128 | void setNeumann(int eqIdx) | ||
| 129 | { | ||
| 130 |
23/24✓ Branch 0 taken 1058796 times.
✓ Branch 1 taken 1410468 times.
✓ Branch 2 taken 1477853 times.
✓ Branch 3 taken 9258910 times.
✓ Branch 4 taken 28769 times.
✓ Branch 5 taken 217609 times.
✓ Branch 6 taken 184229 times.
✓ Branch 7 taken 579386 times.
✓ Branch 8 taken 11315 times.
✓ Branch 9 taken 6902746 times.
✓ Branch 10 taken 26027 times.
✓ Branch 11 taken 260703 times.
✓ Branch 12 taken 12256 times.
✓ Branch 13 taken 72944 times.
✓ Branch 14 taken 465 times.
✓ Branch 15 taken 4828 times.
✓ Branch 16 taken 213 times.
✓ Branch 17 taken 7271 times.
✓ Branch 18 taken 1860 times.
✓ Branch 19 taken 412 times.
✓ Branch 20 taken 2206 times.
✓ Branch 21 taken 5410 times.
✗ Branch 22 not taken.
✓ Branch 23 taken 8 times.
|
105467744 | resetEq(eqIdx); |
| 131 |
23/24✓ Branch 0 taken 1058796 times.
✓ Branch 1 taken 1410468 times.
✓ Branch 2 taken 1477853 times.
✓ Branch 3 taken 9258910 times.
✓ Branch 4 taken 28769 times.
✓ Branch 5 taken 217609 times.
✓ Branch 6 taken 184229 times.
✓ Branch 7 taken 579386 times.
✓ Branch 8 taken 11315 times.
✓ Branch 9 taken 6902746 times.
✓ Branch 10 taken 26027 times.
✓ Branch 11 taken 260703 times.
✓ Branch 12 taken 12256 times.
✓ Branch 13 taken 72944 times.
✓ Branch 14 taken 465 times.
✓ Branch 15 taken 4828 times.
✓ Branch 16 taken 213 times.
✓ Branch 17 taken 7271 times.
✓ Branch 18 taken 1860 times.
✓ Branch 19 taken 412 times.
✓ Branch 20 taken 2206 times.
✓ Branch 21 taken 5410 times.
✗ Branch 22 not taken.
✓ Branch 23 taken 8 times.
|
105467744 | boundaryInfo_[eqIdx].visited = true; |
| 132 |
46/48✓ Branch 0 taken 1058796 times.
✓ Branch 1 taken 1410468 times.
✓ Branch 2 taken 1058796 times.
✓ Branch 3 taken 1410468 times.
✓ Branch 4 taken 1477853 times.
✓ Branch 5 taken 9258910 times.
✓ Branch 6 taken 1477853 times.
✓ Branch 7 taken 9258910 times.
✓ Branch 8 taken 28769 times.
✓ Branch 9 taken 217609 times.
✓ Branch 10 taken 28769 times.
✓ Branch 11 taken 217609 times.
✓ Branch 12 taken 184229 times.
✓ Branch 13 taken 579386 times.
✓ Branch 14 taken 184229 times.
✓ Branch 15 taken 579386 times.
✓ Branch 16 taken 11315 times.
✓ Branch 17 taken 6902746 times.
✓ Branch 18 taken 11315 times.
✓ Branch 19 taken 6902746 times.
✓ Branch 20 taken 26027 times.
✓ Branch 21 taken 260703 times.
✓ Branch 22 taken 26027 times.
✓ Branch 23 taken 260703 times.
✓ Branch 24 taken 12256 times.
✓ Branch 25 taken 72944 times.
✓ Branch 26 taken 12256 times.
✓ Branch 27 taken 72944 times.
✓ Branch 28 taken 465 times.
✓ Branch 29 taken 4828 times.
✓ Branch 30 taken 465 times.
✓ Branch 31 taken 4828 times.
✓ Branch 32 taken 213 times.
✓ Branch 33 taken 7271 times.
✓ Branch 34 taken 213 times.
✓ Branch 35 taken 7271 times.
✓ Branch 36 taken 1860 times.
✓ Branch 37 taken 412 times.
✓ Branch 38 taken 1860 times.
✓ Branch 39 taken 412 times.
✓ Branch 40 taken 2206 times.
✓ Branch 41 taken 5410 times.
✓ Branch 42 taken 2206 times.
✓ Branch 43 taken 5410 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 8 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 8 times.
|
210935488 | boundaryInfo_[eqIdx].isNeumann = true; |
| 133 | } | ||
| 134 | |||
| 135 | /*! | ||
| 136 | * \brief Set a Dirichlet boundary condition for a single primary | ||
| 137 | * variable | ||
| 138 | * | ||
| 139 | * \param pvIdx The index of the primary variable for which the | ||
| 140 | * Dirichlet condition should apply. | ||
| 141 | * \param eqIdx The index of the equation which should used to set | ||
| 142 | * the Dirichlet condition | ||
| 143 | */ | ||
| 144 | void setDirichlet(int pvIdx, int eqIdx) | ||
| 145 | { | ||
| 146 | 2793655004 | resetEq(eqIdx); | |
| 147 |
8/12✓ Branch 0 taken 223006 times.
✓ Branch 1 taken 205734 times.
✓ Branch 2 taken 206861 times.
✓ Branch 3 taken 191524 times.
✓ Branch 4 taken 40230 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 56224 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 15624 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 12894 times.
✗ Branch 11 not taken.
|
1396814438 | boundaryInfo_[eqIdx].visited = true; |
| 148 |
8/12✓ Branch 0 taken 223006 times.
✓ Branch 1 taken 205734 times.
✓ Branch 2 taken 206861 times.
✓ Branch 3 taken 191524 times.
✓ Branch 4 taken 40230 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 56224 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 15624 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 12894 times.
✗ Branch 11 not taken.
|
1396814438 | boundaryInfo_[eqIdx].isDirichlet = true; |
| 149 | |||
| 150 | // update the equation <-> primary variable mapping | ||
| 151 |
8/12✓ Branch 0 taken 223006 times.
✓ Branch 1 taken 205734 times.
✓ Branch 2 taken 206861 times.
✓ Branch 3 taken 191524 times.
✓ Branch 4 taken 40230 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 56224 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 15624 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 12894 times.
✗ Branch 11 not taken.
|
1396814438 | eq2pvIdx_[eqIdx] = pvIdx; |
| 152 |
8/12✓ Branch 0 taken 223006 times.
✓ Branch 1 taken 205734 times.
✓ Branch 2 taken 206861 times.
✓ Branch 3 taken 191524 times.
✓ Branch 4 taken 40230 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 56224 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 15624 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 12894 times.
✗ Branch 11 not taken.
|
1396814438 | pv2eqIdx_[pvIdx] = eqIdx; |
| 153 | } | ||
| 154 | |||
| 155 | /*! | ||
| 156 | * \brief Set a boundary condition for a single equation to | ||
| 157 | * a Dirichlet-like coupling condition. | ||
| 158 | */ | ||
| 159 | void setCouplingDirichlet(int eqIdx) | ||
| 160 | { | ||
| 161 | resetEq(eqIdx); | ||
| 162 | boundaryInfo_[eqIdx].visited = true; | ||
| 163 | boundaryInfo_[eqIdx].isCouplingDirichlet = true; | ||
| 164 | boundaryInfo_[eqIdx].isDirichlet = true; | ||
| 165 | } | ||
| 166 | |||
| 167 | /*! | ||
| 168 | * \brief Set a boundary condition for a single equation to | ||
| 169 | * a Neumann-like coupling condition. | ||
| 170 | */ | ||
| 171 | void setCouplingNeumann(int eqIdx) | ||
| 172 | { | ||
| 173 | 3568692 | resetEq(eqIdx); | |
| 174 | 3568692 | boundaryInfo_[eqIdx].visited = true; | |
| 175 | 3568692 | boundaryInfo_[eqIdx].isCouplingNeumann = true; | |
| 176 | 7137384 | boundaryInfo_[eqIdx].isNeumann = true; | |
| 177 | } | ||
| 178 | |||
| 179 | /*! | ||
| 180 | * \brief Set a Dirichlet boundary condition for a single primary | ||
| 181 | * variable. | ||
| 182 | * | ||
| 183 | * Depending on the discretization, setting the Dirichlet condition | ||
| 184 | * will replace the balance equation with index equal to pvIdx. | ||
| 185 | * | ||
| 186 | * \param pvIdx The index of the primary variable inside a | ||
| 187 | * PrimaryVariables object. | ||
| 188 | */ | ||
| 189 | void setDirichlet(int pvIdx) | ||
| 190 | { | ||
| 191 |
16/24✓ Branch 0 taken 223006 times.
✓ Branch 1 taken 205734 times.
✓ Branch 2 taken 223006 times.
✓ Branch 3 taken 205734 times.
✓ Branch 4 taken 206861 times.
✓ Branch 5 taken 191524 times.
✓ Branch 6 taken 206861 times.
✓ Branch 7 taken 191524 times.
✓ Branch 8 taken 40230 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 40230 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 56224 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 56224 times.
✗ Branch 15 not taken.
✓ Branch 16 taken 15624 times.
✗ Branch 17 not taken.
✓ Branch 18 taken 15624 times.
✗ Branch 19 not taken.
✓ Branch 20 taken 12894 times.
✗ Branch 21 not taken.
✓ Branch 22 taken 12894 times.
✗ Branch 23 not taken.
|
2793628876 | setDirichlet(pvIdx, pvIdx); |
| 192 | } | ||
| 193 | |||
| 194 | /*! | ||
| 195 | * \brief Returns true if an equation is used to specify a | ||
| 196 | * Dirichlet condition. | ||
| 197 | * | ||
| 198 | * \param eqIdx The index of the equation | ||
| 199 | */ | ||
| 200 | ✗ | bool isDirichlet(unsigned eqIdx) const | |
| 201 |
406/568✓ Branch 0 taken 8421940 times.
✓ Branch 1 taken 7312630 times.
✓ Branch 2 taken 8421940 times.
✓ Branch 3 taken 7312630 times.
✓ Branch 4 taken 148769 times.
✓ Branch 5 taken 8706954 times.
✓ Branch 6 taken 148769 times.
✓ Branch 7 taken 8706954 times.
✓ Branch 8 taken 2260 times.
✓ Branch 9 taken 167594 times.
✓ Branch 10 taken 2260 times.
✓ Branch 11 taken 167594 times.
✓ Branch 12 taken 253762 times.
✓ Branch 13 taken 299344 times.
✓ Branch 14 taken 253762 times.
✓ Branch 15 taken 299344 times.
✓ Branch 16 taken 261011 times.
✓ Branch 17 taken 11388539 times.
✓ Branch 18 taken 261011 times.
✓ Branch 19 taken 11388539 times.
✓ Branch 20 taken 445045 times.
✓ Branch 21 taken 392988 times.
✓ Branch 22 taken 445045 times.
✓ Branch 23 taken 392988 times.
✓ Branch 24 taken 640533 times.
✓ Branch 25 taken 52345 times.
✓ Branch 26 taken 640533 times.
✓ Branch 27 taken 52345 times.
✓ Branch 28 taken 47211 times.
✓ Branch 29 taken 2334337 times.
✓ Branch 30 taken 47211 times.
✓ Branch 31 taken 2334337 times.
✓ Branch 32 taken 5644512 times.
✓ Branch 33 taken 229691 times.
✓ Branch 34 taken 5644512 times.
✓ Branch 35 taken 229691 times.
✓ Branch 36 taken 9358842 times.
✓ Branch 37 taken 4421114 times.
✓ Branch 38 taken 9358842 times.
✓ Branch 39 taken 4421114 times.
✓ Branch 40 taken 5229508 times.
✓ Branch 41 taken 2333 times.
✓ Branch 42 taken 5229508 times.
✓ Branch 43 taken 2333 times.
✓ Branch 44 taken 7979123 times.
✓ Branch 45 taken 6814865 times.
✓ Branch 46 taken 7979123 times.
✓ Branch 47 taken 6814865 times.
✓ Branch 48 taken 5570749 times.
✓ Branch 49 taken 7738973 times.
✓ Branch 50 taken 5570749 times.
✓ Branch 51 taken 7738973 times.
✓ Branch 52 taken 5336928 times.
✓ Branch 53 taken 3959799 times.
✓ Branch 54 taken 5336928 times.
✓ Branch 55 taken 3959799 times.
✓ Branch 56 taken 4136517 times.
✓ Branch 57 taken 4536569 times.
✓ Branch 58 taken 4136517 times.
✓ Branch 59 taken 4536569 times.
✓ Branch 60 taken 957205 times.
✓ Branch 61 taken 1807942 times.
✓ Branch 62 taken 957205 times.
✓ Branch 63 taken 1807942 times.
✓ Branch 64 taken 394368 times.
✓ Branch 65 taken 101257 times.
✓ Branch 66 taken 394368 times.
✓ Branch 67 taken 101257 times.
✓ Branch 68 taken 500650 times.
✓ Branch 69 taken 154486 times.
✓ Branch 70 taken 500650 times.
✓ Branch 71 taken 154486 times.
✓ Branch 72 taken 263022 times.
✓ Branch 73 taken 42592 times.
✓ Branch 74 taken 263022 times.
✓ Branch 75 taken 42592 times.
✓ Branch 76 taken 573805 times.
✓ Branch 77 taken 567863 times.
✓ Branch 78 taken 573805 times.
✓ Branch 79 taken 567863 times.
✓ Branch 80 taken 183689 times.
✓ Branch 81 taken 303472 times.
✓ Branch 82 taken 183689 times.
✓ Branch 83 taken 303472 times.
✓ Branch 84 taken 15966 times.
✓ Branch 85 taken 28278 times.
✓ Branch 86 taken 15966 times.
✓ Branch 87 taken 28278 times.
✗ Branch 88 not taken.
✗ Branch 89 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✓ Branch 92 taken 15 times.
✓ Branch 93 taken 5 times.
✓ Branch 94 taken 15 times.
✓ Branch 95 taken 5 times.
✓ Branch 96 taken 5 times.
✗ Branch 97 not taken.
✓ Branch 98 taken 5 times.
✗ Branch 99 not taken.
✓ Branch 100 taken 20 times.
✗ Branch 101 not taken.
✓ Branch 102 taken 20 times.
✗ Branch 103 not taken.
✗ Branch 104 not taken.
✗ Branch 105 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✓ Branch 108 taken 20 times.
✗ Branch 109 not taken.
✓ Branch 110 taken 20 times.
✗ Branch 111 not taken.
✓ Branch 112 taken 15 times.
✓ Branch 113 taken 5 times.
✓ Branch 114 taken 15 times.
✓ Branch 115 taken 5 times.
✓ Branch 116 taken 5 times.
✗ Branch 117 not taken.
✓ Branch 118 taken 5 times.
✗ Branch 119 not taken.
✓ Branch 120 taken 20 times.
✗ Branch 121 not taken.
✓ Branch 122 taken 20 times.
✗ Branch 123 not taken.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✓ Branch 128 taken 20 times.
✗ Branch 129 not taken.
✓ Branch 130 taken 20 times.
✗ Branch 131 not taken.
✓ Branch 132 taken 15 times.
✓ Branch 133 taken 5 times.
✓ Branch 134 taken 15 times.
✓ Branch 135 taken 5 times.
✓ Branch 136 taken 5 times.
✗ Branch 137 not taken.
✓ Branch 138 taken 5 times.
✗ Branch 139 not taken.
✓ Branch 140 taken 20 times.
✗ Branch 141 not taken.
✓ Branch 142 taken 20 times.
✗ Branch 143 not taken.
✗ Branch 144 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✓ Branch 148 taken 40 times.
✗ Branch 149 not taken.
✓ Branch 150 taken 40 times.
✗ Branch 151 not taken.
✓ Branch 152 taken 15 times.
✓ Branch 153 taken 5 times.
✓ Branch 154 taken 15 times.
✓ Branch 155 taken 5 times.
✓ Branch 156 taken 5 times.
✗ Branch 157 not taken.
✓ Branch 158 taken 5 times.
✗ Branch 159 not taken.
✓ Branch 160 taken 20 times.
✗ Branch 161 not taken.
✓ Branch 162 taken 20 times.
✗ Branch 163 not taken.
✗ Branch 164 not taken.
✗ Branch 165 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 168 taken 15 times.
✓ Branch 169 taken 5 times.
✓ Branch 170 taken 15 times.
✓ Branch 171 taken 5 times.
✓ Branch 172 taken 15 times.
✓ Branch 173 taken 5 times.
✓ Branch 174 taken 15 times.
✓ Branch 175 taken 5 times.
✓ Branch 176 taken 5 times.
✗ Branch 177 not taken.
✓ Branch 178 taken 5 times.
✗ Branch 179 not taken.
✓ Branch 180 taken 20 times.
✗ Branch 181 not taken.
✓ Branch 182 taken 20 times.
✗ Branch 183 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✓ Branch 188 taken 35 times.
✓ Branch 189 taken 5 times.
✓ Branch 190 taken 35 times.
✓ Branch 191 taken 5 times.
✓ Branch 192 taken 15 times.
✓ Branch 193 taken 5 times.
✓ Branch 194 taken 15 times.
✓ Branch 195 taken 5 times.
✓ Branch 196 taken 5 times.
✗ Branch 197 not taken.
✓ Branch 198 taken 5 times.
✗ Branch 199 not taken.
✓ Branch 200 taken 20 times.
✗ Branch 201 not taken.
✓ Branch 202 taken 20 times.
✗ Branch 203 not taken.
✗ Branch 204 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 207 not taken.
✓ Branch 208 taken 35 times.
✓ Branch 209 taken 5 times.
✓ Branch 210 taken 35 times.
✓ Branch 211 taken 5 times.
✓ Branch 212 taken 15 times.
✓ Branch 213 taken 5 times.
✓ Branch 214 taken 15 times.
✓ Branch 215 taken 5 times.
✓ Branch 216 taken 5 times.
✗ Branch 217 not taken.
✓ Branch 218 taken 5 times.
✗ Branch 219 not taken.
✓ Branch 220 taken 20 times.
✗ Branch 221 not taken.
✓ Branch 222 taken 20 times.
✗ Branch 223 not taken.
✗ Branch 224 not taken.
✗ Branch 225 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✓ Branch 228 taken 55 times.
✓ Branch 229 taken 5 times.
✓ Branch 230 taken 55 times.
✓ Branch 231 taken 5 times.
✓ Branch 232 taken 15 times.
✓ Branch 233 taken 5 times.
✓ Branch 234 taken 15 times.
✓ Branch 235 taken 5 times.
✓ Branch 236 taken 5 times.
✗ Branch 237 not taken.
✓ Branch 238 taken 5 times.
✗ Branch 239 not taken.
✓ Branch 240 taken 20 times.
✗ Branch 241 not taken.
✓ Branch 242 taken 20 times.
✗ Branch 243 not taken.
✗ Branch 244 not taken.
✗ Branch 245 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✓ Branch 248 taken 30 times.
✓ Branch 249 taken 10 times.
✓ Branch 250 taken 30 times.
✓ Branch 251 taken 10 times.
✓ Branch 252 taken 15 times.
✓ Branch 253 taken 5 times.
✓ Branch 254 taken 15 times.
✓ Branch 255 taken 5 times.
✓ Branch 256 taken 5 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 5 times.
✗ Branch 259 not taken.
✓ Branch 260 taken 20 times.
✗ Branch 261 not taken.
✓ Branch 262 taken 20 times.
✗ Branch 263 not taken.
✗ Branch 264 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✓ Branch 268 taken 50 times.
✓ Branch 269 taken 10 times.
✓ Branch 270 taken 50 times.
✓ Branch 271 taken 10 times.
✓ Branch 272 taken 15 times.
✓ Branch 273 taken 5 times.
✓ Branch 274 taken 15 times.
✓ Branch 275 taken 5 times.
✓ Branch 276 taken 5 times.
✗ Branch 277 not taken.
✓ Branch 278 taken 5 times.
✗ Branch 279 not taken.
✓ Branch 280 taken 20 times.
✗ Branch 281 not taken.
✓ Branch 282 taken 20 times.
✗ Branch 283 not taken.
✗ Branch 284 not taken.
✗ Branch 285 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 288 taken 50 times.
✓ Branch 289 taken 10 times.
✓ Branch 290 taken 50 times.
✓ Branch 291 taken 10 times.
✓ Branch 292 taken 15 times.
✓ Branch 293 taken 5 times.
✓ Branch 294 taken 15 times.
✓ Branch 295 taken 5 times.
✓ Branch 296 taken 5 times.
✗ Branch 297 not taken.
✓ Branch 298 taken 5 times.
✗ Branch 299 not taken.
✓ Branch 300 taken 20 times.
✗ Branch 301 not taken.
✓ Branch 302 taken 20 times.
✗ Branch 303 not taken.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✓ Branch 308 taken 70 times.
✓ Branch 309 taken 10 times.
✓ Branch 310 taken 70 times.
✓ Branch 311 taken 10 times.
✓ Branch 312 taken 15 times.
✓ Branch 313 taken 5 times.
✓ Branch 314 taken 15 times.
✓ Branch 315 taken 5 times.
✓ Branch 316 taken 5 times.
✗ Branch 317 not taken.
✓ Branch 318 taken 5 times.
✗ Branch 319 not taken.
✓ Branch 320 taken 20 times.
✗ Branch 321 not taken.
✓ Branch 322 taken 20 times.
✗ Branch 323 not taken.
✗ Branch 324 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 327 not taken.
✓ Branch 328 taken 30 times.
✓ Branch 329 taken 10 times.
✓ Branch 330 taken 30 times.
✓ Branch 331 taken 10 times.
✓ Branch 332 taken 15 times.
✓ Branch 333 taken 5 times.
✓ Branch 334 taken 15 times.
✓ Branch 335 taken 5 times.
✓ Branch 336 taken 5 times.
✗ Branch 337 not taken.
✓ Branch 338 taken 5 times.
✗ Branch 339 not taken.
✓ Branch 340 taken 20 times.
✗ Branch 341 not taken.
✓ Branch 342 taken 20 times.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 345 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 348 taken 50 times.
✓ Branch 349 taken 10 times.
✓ Branch 350 taken 50 times.
✓ Branch 351 taken 10 times.
✓ Branch 352 taken 15 times.
✓ Branch 353 taken 5 times.
✓ Branch 354 taken 15 times.
✓ Branch 355 taken 5 times.
✓ Branch 356 taken 5 times.
✗ Branch 357 not taken.
✓ Branch 358 taken 5 times.
✗ Branch 359 not taken.
✓ Branch 360 taken 20 times.
✗ Branch 361 not taken.
✓ Branch 362 taken 20 times.
✗ Branch 363 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 366 not taken.
✗ Branch 367 not taken.
✓ Branch 368 taken 50 times.
✓ Branch 369 taken 10 times.
✓ Branch 370 taken 50 times.
✓ Branch 371 taken 10 times.
✓ Branch 372 taken 15 times.
✓ Branch 373 taken 5 times.
✓ Branch 374 taken 15 times.
✓ Branch 375 taken 5 times.
✓ Branch 376 taken 5 times.
✗ Branch 377 not taken.
✓ Branch 378 taken 5 times.
✗ Branch 379 not taken.
✓ Branch 380 taken 20 times.
✗ Branch 381 not taken.
✓ Branch 382 taken 20 times.
✗ Branch 383 not taken.
✗ Branch 384 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 387 not taken.
✓ Branch 388 taken 70 times.
✓ Branch 389 taken 10 times.
✓ Branch 390 taken 70 times.
✓ Branch 391 taken 10 times.
✓ Branch 392 taken 15 times.
✓ Branch 393 taken 5 times.
✓ Branch 394 taken 15 times.
✓ Branch 395 taken 5 times.
✓ Branch 396 taken 5 times.
✗ Branch 397 not taken.
✓ Branch 398 taken 5 times.
✗ Branch 399 not taken.
✓ Branch 400 taken 20 times.
✗ Branch 401 not taken.
✓ Branch 402 taken 20 times.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 405 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✓ Branch 408 taken 30 times.
✓ Branch 409 taken 10 times.
✓ Branch 410 taken 30 times.
✓ Branch 411 taken 10 times.
✓ Branch 412 taken 15 times.
✓ Branch 413 taken 5 times.
✓ Branch 414 taken 15 times.
✓ Branch 415 taken 5 times.
✓ Branch 416 taken 5 times.
✗ Branch 417 not taken.
✓ Branch 418 taken 5 times.
✗ Branch 419 not taken.
✓ Branch 420 taken 20 times.
✗ Branch 421 not taken.
✓ Branch 422 taken 20 times.
✗ Branch 423 not taken.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 426 not taken.
✗ Branch 427 not taken.
✓ Branch 428 taken 50 times.
✓ Branch 429 taken 10 times.
✓ Branch 430 taken 50 times.
✓ Branch 431 taken 10 times.
✓ Branch 432 taken 15 times.
✓ Branch 433 taken 5 times.
✓ Branch 434 taken 15 times.
✓ Branch 435 taken 5 times.
✓ Branch 436 taken 5 times.
✗ Branch 437 not taken.
✓ Branch 438 taken 5 times.
✗ Branch 439 not taken.
✓ Branch 440 taken 20 times.
✗ Branch 441 not taken.
✓ Branch 442 taken 20 times.
✗ Branch 443 not taken.
✗ Branch 444 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 447 not taken.
✓ Branch 448 taken 50 times.
✓ Branch 449 taken 10 times.
✓ Branch 450 taken 50 times.
✓ Branch 451 taken 10 times.
✓ Branch 452 taken 15 times.
✓ Branch 453 taken 5 times.
✓ Branch 454 taken 15 times.
✓ Branch 455 taken 5 times.
✓ Branch 456 taken 5 times.
✗ Branch 457 not taken.
✓ Branch 458 taken 5 times.
✗ Branch 459 not taken.
✓ Branch 460 taken 20 times.
✗ Branch 461 not taken.
✓ Branch 462 taken 20 times.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 465 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✓ Branch 468 taken 70 times.
✓ Branch 469 taken 10 times.
✓ Branch 470 taken 70 times.
✓ Branch 471 taken 10 times.
✓ Branch 472 taken 30 times.
✓ Branch 473 taken 10 times.
✓ Branch 474 taken 30 times.
✓ Branch 475 taken 10 times.
✓ Branch 476 taken 30 times.
✓ Branch 477 taken 10 times.
✓ Branch 478 taken 30 times.
✓ Branch 479 taken 10 times.
✓ Branch 480 taken 30 times.
✓ Branch 481 taken 10 times.
✓ Branch 482 taken 30 times.
✓ Branch 483 taken 10 times.
✓ Branch 484 taken 30 times.
✓ Branch 485 taken 10 times.
✓ Branch 486 taken 30 times.
✓ Branch 487 taken 10 times.
✓ Branch 488 taken 30 times.
✓ Branch 489 taken 10 times.
✓ Branch 490 taken 30 times.
✓ Branch 491 taken 10 times.
✓ Branch 492 taken 30 times.
✓ Branch 493 taken 10 times.
✓ Branch 494 taken 30 times.
✓ Branch 495 taken 10 times.
✓ Branch 496 taken 30 times.
✓ Branch 497 taken 10 times.
✓ Branch 498 taken 30 times.
✓ Branch 499 taken 10 times.
✓ Branch 500 taken 30 times.
✓ Branch 501 taken 10 times.
✓ Branch 502 taken 30 times.
✓ Branch 503 taken 10 times.
✓ Branch 504 taken 30 times.
✓ Branch 505 taken 10 times.
✓ Branch 506 taken 30 times.
✓ Branch 507 taken 10 times.
✓ Branch 508 taken 30 times.
✓ Branch 509 taken 10 times.
✓ Branch 510 taken 30 times.
✓ Branch 511 taken 10 times.
✓ Branch 512 taken 30 times.
✓ Branch 513 taken 10 times.
✓ Branch 514 taken 30 times.
✓ Branch 515 taken 10 times.
✓ Branch 516 taken 30 times.
✓ Branch 517 taken 10 times.
✓ Branch 518 taken 30 times.
✓ Branch 519 taken 10 times.
✓ Branch 520 taken 30 times.
✓ Branch 521 taken 10 times.
✓ Branch 522 taken 30 times.
✓ Branch 523 taken 10 times.
✓ Branch 524 taken 30 times.
✓ Branch 525 taken 10 times.
✓ Branch 526 taken 30 times.
✓ Branch 527 taken 10 times.
✓ Branch 528 taken 30 times.
✓ Branch 529 taken 10 times.
✓ Branch 530 taken 30 times.
✓ Branch 531 taken 10 times.
✓ Branch 532 taken 30 times.
✓ Branch 533 taken 10 times.
✓ Branch 534 taken 30 times.
✓ Branch 535 taken 10 times.
✓ Branch 536 taken 30 times.
✓ Branch 537 taken 10 times.
✓ Branch 538 taken 30 times.
✓ Branch 539 taken 10 times.
✓ Branch 540 taken 30 times.
✓ Branch 541 taken 10 times.
✓ Branch 542 taken 30 times.
✓ Branch 543 taken 10 times.
✓ Branch 544 taken 30 times.
✓ Branch 545 taken 10 times.
✓ Branch 546 taken 30 times.
✓ Branch 547 taken 10 times.
✓ Branch 548 taken 30 times.
✓ Branch 549 taken 10 times.
✓ Branch 550 taken 30 times.
✓ Branch 551 taken 10 times.
✓ Branch 552 taken 15 times.
✓ Branch 553 taken 5 times.
✓ Branch 554 taken 15 times.
✓ Branch 555 taken 5 times.
✓ Branch 556 taken 15 times.
✓ Branch 557 taken 5 times.
✓ Branch 558 taken 15 times.
✓ Branch 559 taken 5 times.
✓ Branch 560 taken 15 times.
✓ Branch 561 taken 5 times.
✓ Branch 562 taken 15 times.
✓ Branch 563 taken 5 times.
✓ Branch 564 taken 15 times.
✓ Branch 565 taken 5 times.
✓ Branch 566 taken 15 times.
✓ Branch 567 taken 5 times.
|
234178218 | { return boundaryInfo_[eqIdx].isDirichlet || |
| 202 |
276/568✗ Branch 0 not taken.
✓ Branch 1 taken 8421940 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 8421940 times.
✓ Branch 4 taken 153 times.
✓ Branch 5 taken 2240 times.
✓ Branch 6 taken 153 times.
✓ Branch 7 taken 2240 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 102 times.
✗ Branch 10 not taken.
✓ Branch 11 taken 102 times.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✓ Branch 16 taken 255739 times.
✓ Branch 17 taken 86881 times.
✓ Branch 18 taken 255739 times.
✓ Branch 19 taken 86881 times.
✓ Branch 20 taken 346648 times.
✓ Branch 21 taken 249808 times.
✓ Branch 22 taken 346648 times.
✓ Branch 23 taken 249808 times.
✓ Branch 24 taken 346528 times.
✓ Branch 25 taken 165396 times.
✓ Branch 26 taken 346528 times.
✓ Branch 27 taken 165396 times.
✓ Branch 28 taken 13488 times.
✓ Branch 29 taken 33608 times.
✓ Branch 30 taken 13488 times.
✓ Branch 31 taken 33608 times.
✓ Branch 32 taken 5567956 times.
✓ Branch 33 taken 76556 times.
✓ Branch 34 taken 5567956 times.
✓ Branch 35 taken 76556 times.
✓ Branch 36 taken 8904604 times.
✓ Branch 37 taken 15 times.
✓ Branch 38 taken 8904604 times.
✓ Branch 39 taken 15 times.
✓ Branch 40 taken 5229493 times.
✗ Branch 41 not taken.
✓ Branch 42 taken 5229493 times.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✓ Branch 45 taken 7979123 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 7979123 times.
✓ Branch 48 taken 3611598 times.
✓ Branch 49 taken 1959155 times.
✓ Branch 50 taken 3611598 times.
✓ Branch 51 taken 1959155 times.
✓ Branch 52 taken 1048788 times.
✓ Branch 53 taken 4288140 times.
✓ Branch 54 taken 1048788 times.
✓ Branch 55 taken 4288140 times.
✓ Branch 56 taken 2560218 times.
✓ Branch 57 taken 1576299 times.
✓ Branch 58 taken 2560218 times.
✓ Branch 59 taken 1576299 times.
✓ Branch 60 taken 747837 times.
✓ Branch 61 taken 209368 times.
✓ Branch 62 taken 747837 times.
✓ Branch 63 taken 209368 times.
✓ Branch 64 taken 344512 times.
✓ Branch 65 taken 49852 times.
✓ Branch 66 taken 344512 times.
✓ Branch 67 taken 49852 times.
✓ Branch 68 taken 101256 times.
✓ Branch 69 taken 399394 times.
✓ Branch 70 taken 101256 times.
✓ Branch 71 taken 399394 times.
✓ Branch 72 taken 154526 times.
✓ Branch 73 taken 108496 times.
✓ Branch 74 taken 154526 times.
✓ Branch 75 taken 108496 times.
✓ Branch 76 taken 572638 times.
✓ Branch 77 taken 1167 times.
✓ Branch 78 taken 572638 times.
✓ Branch 79 taken 1167 times.
✓ Branch 80 taken 145553 times.
✓ Branch 81 taken 38136 times.
✓ Branch 82 taken 145553 times.
✓ Branch 83 taken 38136 times.
✓ Branch 84 taken 3734 times.
✓ Branch 85 taken 12232 times.
✓ Branch 86 taken 3734 times.
✓ Branch 87 taken 12232 times.
✗ Branch 88 not taken.
✗ Branch 89 not taken.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✗ Branch 92 not taken.
✓ Branch 93 taken 15 times.
✗ Branch 94 not taken.
✓ Branch 95 taken 15 times.
✓ Branch 96 taken 5 times.
✗ Branch 97 not taken.
✓ Branch 98 taken 5 times.
✗ Branch 99 not taken.
✗ Branch 100 not taken.
✓ Branch 101 taken 20 times.
✗ Branch 102 not taken.
✓ Branch 103 taken 20 times.
✗ Branch 104 not taken.
✗ Branch 105 not taken.
✗ Branch 106 not taken.
✗ Branch 107 not taken.
✓ Branch 108 taken 20 times.
✗ Branch 109 not taken.
✓ Branch 110 taken 20 times.
✗ Branch 111 not taken.
✗ Branch 112 not taken.
✓ Branch 113 taken 15 times.
✗ Branch 114 not taken.
✓ Branch 115 taken 15 times.
✓ Branch 116 taken 5 times.
✗ Branch 117 not taken.
✓ Branch 118 taken 5 times.
✗ Branch 119 not taken.
✗ Branch 120 not taken.
✓ Branch 121 taken 20 times.
✗ Branch 122 not taken.
✓ Branch 123 taken 20 times.
✗ Branch 124 not taken.
✗ Branch 125 not taken.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✓ Branch 128 taken 20 times.
✗ Branch 129 not taken.
✓ Branch 130 taken 20 times.
✗ Branch 131 not taken.
✗ Branch 132 not taken.
✓ Branch 133 taken 15 times.
✗ Branch 134 not taken.
✓ Branch 135 taken 15 times.
✓ Branch 136 taken 5 times.
✗ Branch 137 not taken.
✓ Branch 138 taken 5 times.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✓ Branch 141 taken 20 times.
✗ Branch 142 not taken.
✓ Branch 143 taken 20 times.
✗ Branch 144 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 147 not taken.
✓ Branch 148 taken 40 times.
✗ Branch 149 not taken.
✓ Branch 150 taken 40 times.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✓ Branch 153 taken 15 times.
✗ Branch 154 not taken.
✓ Branch 155 taken 15 times.
✓ Branch 156 taken 5 times.
✗ Branch 157 not taken.
✓ Branch 158 taken 5 times.
✗ Branch 159 not taken.
✗ Branch 160 not taken.
✓ Branch 161 taken 20 times.
✗ Branch 162 not taken.
✓ Branch 163 taken 20 times.
✗ Branch 164 not taken.
✗ Branch 165 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✓ Branch 168 taken 15 times.
✗ Branch 169 not taken.
✓ Branch 170 taken 15 times.
✗ Branch 171 not taken.
✗ Branch 172 not taken.
✓ Branch 173 taken 15 times.
✗ Branch 174 not taken.
✓ Branch 175 taken 15 times.
✓ Branch 176 taken 5 times.
✗ Branch 177 not taken.
✓ Branch 178 taken 5 times.
✗ Branch 179 not taken.
✗ Branch 180 not taken.
✓ Branch 181 taken 20 times.
✗ Branch 182 not taken.
✓ Branch 183 taken 20 times.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 186 not taken.
✗ Branch 187 not taken.
✓ Branch 188 taken 35 times.
✗ Branch 189 not taken.
✓ Branch 190 taken 35 times.
✗ Branch 191 not taken.
✗ Branch 192 not taken.
✓ Branch 193 taken 15 times.
✗ Branch 194 not taken.
✓ Branch 195 taken 15 times.
✓ Branch 196 taken 5 times.
✗ Branch 197 not taken.
✓ Branch 198 taken 5 times.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✓ Branch 201 taken 20 times.
✗ Branch 202 not taken.
✓ Branch 203 taken 20 times.
✗ Branch 204 not taken.
✗ Branch 205 not taken.
✗ Branch 206 not taken.
✗ Branch 207 not taken.
✓ Branch 208 taken 35 times.
✗ Branch 209 not taken.
✓ Branch 210 taken 35 times.
✗ Branch 211 not taken.
✗ Branch 212 not taken.
✓ Branch 213 taken 15 times.
✗ Branch 214 not taken.
✓ Branch 215 taken 15 times.
✓ Branch 216 taken 5 times.
✗ Branch 217 not taken.
✓ Branch 218 taken 5 times.
✗ Branch 219 not taken.
✗ Branch 220 not taken.
✓ Branch 221 taken 20 times.
✗ Branch 222 not taken.
✓ Branch 223 taken 20 times.
✗ Branch 224 not taken.
✗ Branch 225 not taken.
✗ Branch 226 not taken.
✗ Branch 227 not taken.
✓ Branch 228 taken 55 times.
✗ Branch 229 not taken.
✓ Branch 230 taken 55 times.
✗ Branch 231 not taken.
✗ Branch 232 not taken.
✓ Branch 233 taken 15 times.
✗ Branch 234 not taken.
✓ Branch 235 taken 15 times.
✓ Branch 236 taken 5 times.
✗ Branch 237 not taken.
✓ Branch 238 taken 5 times.
✗ Branch 239 not taken.
✗ Branch 240 not taken.
✓ Branch 241 taken 20 times.
✗ Branch 242 not taken.
✓ Branch 243 taken 20 times.
✗ Branch 244 not taken.
✗ Branch 245 not taken.
✗ Branch 246 not taken.
✗ Branch 247 not taken.
✓ Branch 248 taken 30 times.
✗ Branch 249 not taken.
✓ Branch 250 taken 30 times.
✗ Branch 251 not taken.
✗ Branch 252 not taken.
✓ Branch 253 taken 15 times.
✗ Branch 254 not taken.
✓ Branch 255 taken 15 times.
✓ Branch 256 taken 5 times.
✗ Branch 257 not taken.
✓ Branch 258 taken 5 times.
✗ Branch 259 not taken.
✗ Branch 260 not taken.
✓ Branch 261 taken 20 times.
✗ Branch 262 not taken.
✓ Branch 263 taken 20 times.
✗ Branch 264 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 267 not taken.
✓ Branch 268 taken 50 times.
✗ Branch 269 not taken.
✓ Branch 270 taken 50 times.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✓ Branch 273 taken 15 times.
✗ Branch 274 not taken.
✓ Branch 275 taken 15 times.
✓ Branch 276 taken 5 times.
✗ Branch 277 not taken.
✓ Branch 278 taken 5 times.
✗ Branch 279 not taken.
✗ Branch 280 not taken.
✓ Branch 281 taken 20 times.
✗ Branch 282 not taken.
✓ Branch 283 taken 20 times.
✗ Branch 284 not taken.
✗ Branch 285 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✓ Branch 288 taken 50 times.
✗ Branch 289 not taken.
✓ Branch 290 taken 50 times.
✗ Branch 291 not taken.
✗ Branch 292 not taken.
✓ Branch 293 taken 15 times.
✗ Branch 294 not taken.
✓ Branch 295 taken 15 times.
✓ Branch 296 taken 5 times.
✗ Branch 297 not taken.
✓ Branch 298 taken 5 times.
✗ Branch 299 not taken.
✗ Branch 300 not taken.
✓ Branch 301 taken 20 times.
✗ Branch 302 not taken.
✓ Branch 303 taken 20 times.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✗ Branch 306 not taken.
✗ Branch 307 not taken.
✓ Branch 308 taken 70 times.
✗ Branch 309 not taken.
✓ Branch 310 taken 70 times.
✗ Branch 311 not taken.
✗ Branch 312 not taken.
✓ Branch 313 taken 15 times.
✗ Branch 314 not taken.
✓ Branch 315 taken 15 times.
✓ Branch 316 taken 5 times.
✗ Branch 317 not taken.
✓ Branch 318 taken 5 times.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✓ Branch 321 taken 20 times.
✗ Branch 322 not taken.
✓ Branch 323 taken 20 times.
✗ Branch 324 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 327 not taken.
✓ Branch 328 taken 30 times.
✗ Branch 329 not taken.
✓ Branch 330 taken 30 times.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✓ Branch 333 taken 15 times.
✗ Branch 334 not taken.
✓ Branch 335 taken 15 times.
✓ Branch 336 taken 5 times.
✗ Branch 337 not taken.
✓ Branch 338 taken 5 times.
✗ Branch 339 not taken.
✗ Branch 340 not taken.
✓ Branch 341 taken 20 times.
✗ Branch 342 not taken.
✓ Branch 343 taken 20 times.
✗ Branch 344 not taken.
✗ Branch 345 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✓ Branch 348 taken 50 times.
✗ Branch 349 not taken.
✓ Branch 350 taken 50 times.
✗ Branch 351 not taken.
✗ Branch 352 not taken.
✓ Branch 353 taken 15 times.
✗ Branch 354 not taken.
✓ Branch 355 taken 15 times.
✓ Branch 356 taken 5 times.
✗ Branch 357 not taken.
✓ Branch 358 taken 5 times.
✗ Branch 359 not taken.
✗ Branch 360 not taken.
✓ Branch 361 taken 20 times.
✗ Branch 362 not taken.
✓ Branch 363 taken 20 times.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 366 not taken.
✗ Branch 367 not taken.
✓ Branch 368 taken 50 times.
✗ Branch 369 not taken.
✓ Branch 370 taken 50 times.
✗ Branch 371 not taken.
✗ Branch 372 not taken.
✓ Branch 373 taken 15 times.
✗ Branch 374 not taken.
✓ Branch 375 taken 15 times.
✓ Branch 376 taken 5 times.
✗ Branch 377 not taken.
✓ Branch 378 taken 5 times.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✓ Branch 381 taken 20 times.
✗ Branch 382 not taken.
✓ Branch 383 taken 20 times.
✗ Branch 384 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 387 not taken.
✓ Branch 388 taken 70 times.
✗ Branch 389 not taken.
✓ Branch 390 taken 70 times.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✓ Branch 393 taken 15 times.
✗ Branch 394 not taken.
✓ Branch 395 taken 15 times.
✓ Branch 396 taken 5 times.
✗ Branch 397 not taken.
✓ Branch 398 taken 5 times.
✗ Branch 399 not taken.
✗ Branch 400 not taken.
✓ Branch 401 taken 20 times.
✗ Branch 402 not taken.
✓ Branch 403 taken 20 times.
✗ Branch 404 not taken.
✗ Branch 405 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✓ Branch 408 taken 30 times.
✗ Branch 409 not taken.
✓ Branch 410 taken 30 times.
✗ Branch 411 not taken.
✗ Branch 412 not taken.
✓ Branch 413 taken 15 times.
✗ Branch 414 not taken.
✓ Branch 415 taken 15 times.
✓ Branch 416 taken 5 times.
✗ Branch 417 not taken.
✓ Branch 418 taken 5 times.
✗ Branch 419 not taken.
✗ Branch 420 not taken.
✓ Branch 421 taken 20 times.
✗ Branch 422 not taken.
✓ Branch 423 taken 20 times.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 426 not taken.
✗ Branch 427 not taken.
✓ Branch 428 taken 50 times.
✗ Branch 429 not taken.
✓ Branch 430 taken 50 times.
✗ Branch 431 not taken.
✗ Branch 432 not taken.
✓ Branch 433 taken 15 times.
✗ Branch 434 not taken.
✓ Branch 435 taken 15 times.
✓ Branch 436 taken 5 times.
✗ Branch 437 not taken.
✓ Branch 438 taken 5 times.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✓ Branch 441 taken 20 times.
✗ Branch 442 not taken.
✓ Branch 443 taken 20 times.
✗ Branch 444 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 447 not taken.
✓ Branch 448 taken 50 times.
✗ Branch 449 not taken.
✓ Branch 450 taken 50 times.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✓ Branch 453 taken 15 times.
✗ Branch 454 not taken.
✓ Branch 455 taken 15 times.
✓ Branch 456 taken 5 times.
✗ Branch 457 not taken.
✓ Branch 458 taken 5 times.
✗ Branch 459 not taken.
✗ Branch 460 not taken.
✓ Branch 461 taken 20 times.
✗ Branch 462 not taken.
✓ Branch 463 taken 20 times.
✗ Branch 464 not taken.
✗ Branch 465 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✓ Branch 468 taken 70 times.
✗ Branch 469 not taken.
✓ Branch 470 taken 70 times.
✗ Branch 471 not taken.
✗ Branch 472 not taken.
✓ Branch 473 taken 30 times.
✗ Branch 474 not taken.
✓ Branch 475 taken 30 times.
✗ Branch 476 not taken.
✓ Branch 477 taken 30 times.
✗ Branch 478 not taken.
✓ Branch 479 taken 30 times.
✗ Branch 480 not taken.
✓ Branch 481 taken 30 times.
✗ Branch 482 not taken.
✓ Branch 483 taken 30 times.
✗ Branch 484 not taken.
✓ Branch 485 taken 30 times.
✗ Branch 486 not taken.
✓ Branch 487 taken 30 times.
✗ Branch 488 not taken.
✓ Branch 489 taken 30 times.
✗ Branch 490 not taken.
✓ Branch 491 taken 30 times.
✗ Branch 492 not taken.
✓ Branch 493 taken 30 times.
✗ Branch 494 not taken.
✓ Branch 495 taken 30 times.
✗ Branch 496 not taken.
✓ Branch 497 taken 30 times.
✗ Branch 498 not taken.
✓ Branch 499 taken 30 times.
✗ Branch 500 not taken.
✓ Branch 501 taken 30 times.
✗ Branch 502 not taken.
✓ Branch 503 taken 30 times.
✗ Branch 504 not taken.
✓ Branch 505 taken 30 times.
✗ Branch 506 not taken.
✓ Branch 507 taken 30 times.
✗ Branch 508 not taken.
✓ Branch 509 taken 30 times.
✗ Branch 510 not taken.
✓ Branch 511 taken 30 times.
✗ Branch 512 not taken.
✓ Branch 513 taken 30 times.
✗ Branch 514 not taken.
✓ Branch 515 taken 30 times.
✗ Branch 516 not taken.
✓ Branch 517 taken 30 times.
✗ Branch 518 not taken.
✓ Branch 519 taken 30 times.
✗ Branch 520 not taken.
✓ Branch 521 taken 30 times.
✗ Branch 522 not taken.
✓ Branch 523 taken 30 times.
✗ Branch 524 not taken.
✓ Branch 525 taken 30 times.
✗ Branch 526 not taken.
✓ Branch 527 taken 30 times.
✗ Branch 528 not taken.
✓ Branch 529 taken 30 times.
✗ Branch 530 not taken.
✓ Branch 531 taken 30 times.
✗ Branch 532 not taken.
✓ Branch 533 taken 30 times.
✗ Branch 534 not taken.
✓ Branch 535 taken 30 times.
✗ Branch 536 not taken.
✓ Branch 537 taken 30 times.
✗ Branch 538 not taken.
✓ Branch 539 taken 30 times.
✗ Branch 540 not taken.
✓ Branch 541 taken 30 times.
✗ Branch 542 not taken.
✓ Branch 543 taken 30 times.
✗ Branch 544 not taken.
✓ Branch 545 taken 30 times.
✗ Branch 546 not taken.
✓ Branch 547 taken 30 times.
✗ Branch 548 not taken.
✓ Branch 549 taken 30 times.
✗ Branch 550 not taken.
✓ Branch 551 taken 30 times.
✓ Branch 552 taken 15 times.
✗ Branch 553 not taken.
✓ Branch 554 taken 15 times.
✗ Branch 555 not taken.
✓ Branch 556 taken 15 times.
✗ Branch 557 not taken.
✓ Branch 558 taken 15 times.
✗ Branch 559 not taken.
✓ Branch 560 taken 15 times.
✗ Branch 561 not taken.
✓ Branch 562 taken 15 times.
✗ Branch 563 not taken.
✓ Branch 564 taken 15 times.
✗ Branch 565 not taken.
✓ Branch 566 taken 15 times.
✗ Branch 567 not taken.
|
111230834 | boundaryInfo_[eqIdx].isCouplingDirichlet; |
| 203 | } | ||
| 204 | |||
| 205 | /*! | ||
| 206 | * \brief Returns true if all equations are used to specify a | ||
| 207 | * Dirichlet condition. | ||
| 208 | */ | ||
| 209 | ✗ | bool hasOnlyDirichlet() const | |
| 210 | { | ||
| 211 |
88/96✓ Branch 0 taken 523239 times.
✓ Branch 1 taken 2076121 times.
✓ Branch 2 taken 523239 times.
✓ Branch 3 taken 2076121 times.
✓ Branch 4 taken 523239 times.
✓ Branch 5 taken 2076121 times.
✓ Branch 6 taken 523239 times.
✓ Branch 7 taken 2076121 times.
✓ Branch 8 taken 1147135 times.
✓ Branch 9 taken 16654775 times.
✓ Branch 10 taken 1147135 times.
✓ Branch 11 taken 16654775 times.
✓ Branch 12 taken 1147135 times.
✓ Branch 13 taken 16654775 times.
✓ Branch 14 taken 1147135 times.
✓ Branch 15 taken 16654775 times.
✓ Branch 16 taken 380328 times.
✓ Branch 17 taken 2962542 times.
✓ Branch 18 taken 380328 times.
✓ Branch 19 taken 2962542 times.
✓ Branch 20 taken 380328 times.
✓ Branch 21 taken 2962542 times.
✓ Branch 22 taken 380328 times.
✓ Branch 23 taken 2962542 times.
✓ Branch 24 taken 404000 times.
✓ Branch 25 taken 2760578 times.
✓ Branch 26 taken 404000 times.
✓ Branch 27 taken 2760578 times.
✓ Branch 28 taken 404000 times.
✓ Branch 29 taken 2760578 times.
✓ Branch 30 taken 404000 times.
✓ Branch 31 taken 2760578 times.
✓ Branch 32 taken 7493 times.
✓ Branch 33 taken 12451 times.
✓ Branch 34 taken 7493 times.
✓ Branch 35 taken 12451 times.
✓ Branch 36 taken 7493 times.
✓ Branch 37 taken 12451 times.
✓ Branch 38 taken 7493 times.
✓ Branch 39 taken 12451 times.
✓ Branch 40 taken 520 times.
✓ Branch 41 taken 1952 times.
✓ Branch 42 taken 520 times.
✓ Branch 43 taken 1952 times.
✓ Branch 44 taken 520 times.
✓ Branch 45 taken 1952 times.
✓ Branch 46 taken 520 times.
✓ Branch 47 taken 1952 times.
✓ Branch 48 taken 15 times.
✓ Branch 49 taken 6685 times.
✓ Branch 50 taken 15 times.
✓ Branch 51 taken 6685 times.
✓ Branch 52 taken 15 times.
✓ Branch 53 taken 6685 times.
✓ Branch 54 taken 15 times.
✓ Branch 55 taken 6685 times.
✓ Branch 56 taken 380 times.
✓ Branch 57 taken 1412 times.
✓ Branch 58 taken 380 times.
✓ Branch 59 taken 1412 times.
✓ Branch 60 taken 380 times.
✓ Branch 61 taken 1412 times.
✓ Branch 62 taken 380 times.
✓ Branch 63 taken 1412 times.
✓ Branch 64 taken 120 times.
✓ Branch 65 taken 440 times.
✓ Branch 66 taken 120 times.
✓ Branch 67 taken 440 times.
✓ Branch 68 taken 120 times.
✓ Branch 69 taken 440 times.
✓ Branch 70 taken 120 times.
✓ Branch 71 taken 440 times.
✗ Branch 72 not taken.
✓ Branch 73 taken 32 times.
✗ Branch 74 not taken.
✓ Branch 75 taken 32 times.
✗ Branch 76 not taken.
✓ Branch 77 taken 32 times.
✗ Branch 78 not taken.
✓ Branch 79 taken 32 times.
✗ Branch 80 not taken.
✓ Branch 81 taken 8 times.
✗ Branch 82 not taken.
✓ Branch 83 taken 8 times.
✗ Branch 84 not taken.
✓ Branch 85 taken 8 times.
✗ Branch 86 not taken.
✓ Branch 87 taken 8 times.
✓ Branch 88 taken 30 times.
✓ Branch 89 taken 106 times.
✓ Branch 90 taken 30 times.
✓ Branch 91 taken 106 times.
✓ Branch 92 taken 30 times.
✓ Branch 93 taken 106 times.
✓ Branch 94 taken 30 times.
✓ Branch 95 taken 106 times.
|
107761448 | return std::all_of(boundaryInfo_.begin(), |
| 212 | boundaryInfo_.end(), | ||
| 213 |
15/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 387333 times.
✓ Branch 3 taken 11747 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 11747 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 11747 times.
✗ Branch 8 not taken.
✓ Branch 9 taken 11747 times.
✓ Branch 10 taken 2369500 times.
✓ Branch 11 taken 112470 times.
✓ Branch 12 taken 10308119 times.
✓ Branch 13 taken 2111250 times.
✓ Branch 14 taken 11380086 times.
✓ Branch 15 taken 2420385 times.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✓ Branch 28 taken 24192 times.
✓ Branch 29 taken 16128 times.
✓ Branch 30 taken 7872 times.
✓ Branch 31 taken 32528 times.
|
29181610 | [](const BoundaryInfo& b){ return b.isDirichlet || |
| 214 |
7/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 387333 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✓ Branch 11 taken 2369500 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 10308119 times.
✓ Branch 14 taken 11372214 times.
✓ Branch 15 taken 7872 times.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✗ Branch 28 not taken.
✓ Branch 29 taken 24192 times.
✓ Branch 30 taken 7872 times.
✗ Branch 31 not taken.
|
24477102 | b.isCouplingDirichlet; } |
| 215 | ✗ | ); | |
| 216 | } | ||
| 217 | |||
| 218 | /*! | ||
| 219 | * \brief Returns true if some equation is used to specify a | ||
| 220 | * Dirichlet condition. | ||
| 221 | */ | ||
| 222 | bool hasDirichlet() const | ||
| 223 | { | ||
| 224 |
92/96✓ Branch 0 taken 1972488 times.
✓ Branch 1 taken 18941588 times.
✓ Branch 2 taken 1972488 times.
✓ Branch 3 taken 18941588 times.
✓ Branch 4 taken 1972488 times.
✓ Branch 5 taken 18941588 times.
✓ Branch 6 taken 1972488 times.
✓ Branch 7 taken 18941588 times.
✓ Branch 8 taken 872088 times.
✓ Branch 9 taken 19854376 times.
✓ Branch 10 taken 872088 times.
✓ Branch 11 taken 19854376 times.
✓ Branch 12 taken 872088 times.
✓ Branch 13 taken 19854376 times.
✓ Branch 14 taken 872088 times.
✓ Branch 15 taken 19854376 times.
✓ Branch 16 taken 654589 times.
✓ Branch 17 taken 12856414 times.
✓ Branch 18 taken 654589 times.
✓ Branch 19 taken 12856414 times.
✓ Branch 20 taken 654589 times.
✓ Branch 21 taken 12856414 times.
✓ Branch 22 taken 654589 times.
✓ Branch 23 taken 12856414 times.
✓ Branch 24 taken 561670 times.
✓ Branch 25 taken 9613075 times.
✓ Branch 26 taken 561670 times.
✓ Branch 27 taken 9613075 times.
✓ Branch 28 taken 561670 times.
✓ Branch 29 taken 9613075 times.
✓ Branch 30 taken 561670 times.
✓ Branch 31 taken 9613075 times.
✓ Branch 32 taken 310291 times.
✓ Branch 33 taken 1482075 times.
✓ Branch 34 taken 310291 times.
✓ Branch 35 taken 1482075 times.
✓ Branch 36 taken 310291 times.
✓ Branch 37 taken 1482075 times.
✓ Branch 38 taken 310291 times.
✓ Branch 39 taken 1482075 times.
✓ Branch 40 taken 210170 times.
✓ Branch 41 taken 279486 times.
✓ Branch 42 taken 210170 times.
✓ Branch 43 taken 279486 times.
✓ Branch 44 taken 210170 times.
✓ Branch 45 taken 279486 times.
✓ Branch 46 taken 210170 times.
✓ Branch 47 taken 279486 times.
✓ Branch 48 taken 276174 times.
✓ Branch 49 taken 272434 times.
✓ Branch 50 taken 276174 times.
✓ Branch 51 taken 272434 times.
✓ Branch 52 taken 276174 times.
✓ Branch 53 taken 272434 times.
✓ Branch 54 taken 276174 times.
✓ Branch 55 taken 272434 times.
✓ Branch 56 taken 5186 times.
✓ Branch 57 taken 247570 times.
✓ Branch 58 taken 5186 times.
✓ Branch 59 taken 247570 times.
✓ Branch 60 taken 5186 times.
✓ Branch 61 taken 247570 times.
✓ Branch 62 taken 5186 times.
✓ Branch 63 taken 247570 times.
✓ Branch 64 taken 8243 times.
✓ Branch 65 taken 146192 times.
✓ Branch 66 taken 8243 times.
✓ Branch 67 taken 146192 times.
✓ Branch 68 taken 8243 times.
✓ Branch 69 taken 146192 times.
✓ Branch 70 taken 8243 times.
✓ Branch 71 taken 146192 times.
✓ Branch 72 taken 15753 times.
✓ Branch 73 taken 19709 times.
✓ Branch 74 taken 15753 times.
✓ Branch 75 taken 19709 times.
✓ Branch 76 taken 15753 times.
✓ Branch 77 taken 19709 times.
✓ Branch 78 taken 15753 times.
✓ Branch 79 taken 19709 times.
✓ Branch 80 taken 1000 times.
✓ Branch 81 taken 506 times.
✓ Branch 82 taken 1000 times.
✓ Branch 83 taken 506 times.
✓ Branch 84 taken 1000 times.
✓ Branch 85 taken 506 times.
✓ Branch 86 taken 1000 times.
✓ Branch 87 taken 506 times.
✓ Branch 88 taken 26 times.
✗ Branch 89 not taken.
✓ Branch 90 taken 26 times.
✗ Branch 91 not taken.
✓ Branch 92 taken 26 times.
✗ Branch 93 not taken.
✓ Branch 94 taken 26 times.
✗ Branch 95 not taken.
|
274404412 | return std::any_of(boundaryInfo_.begin(), |
| 225 | boundaryInfo_.end(), | ||
| 226 |
19/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 3146472 times.
✓ Branch 3 taken 105581 times.
✓ Branch 4 taken 3146472 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 3146472 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 3146472 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 11876968 times.
✓ Branch 11 taken 546548 times.
✓ Branch 12 taken 25994343 times.
✓ Branch 13 taken 2571956 times.
✓ Branch 14 taken 60148736 times.
✓ Branch 15 taken 651532 times.
✓ Branch 16 taken 417131 times.
✓ Branch 17 taken 7267 times.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 87032 times.
✓ Branch 27 taken 75056 times.
✓ Branch 28 taken 305469 times.
✓ Branch 29 taken 675002 times.
✓ Branch 30 taken 405672 times.
✓ Branch 31 taken 34933 times.
|
116489114 | [](const BoundaryInfo& b){ return b.isDirichlet || |
| 227 |
12/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 3146472 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 3146472 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 3146472 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 3146472 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 11876968 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 25994343 times.
✗ Branch 13 not taken.
✓ Branch 14 taken 97088 times.
✓ Branch 15 taken 60051648 times.
✗ Branch 16 not taken.
✓ Branch 17 taken 417131 times.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 87032 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 305469 times.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
✓ Branch 31 taken 405672 times.
|
111821239 | b.isCouplingDirichlet; } |
| 228 | ); | ||
| 229 | } | ||
| 230 | |||
| 231 | /*! | ||
| 232 | * \brief Returns true if an equation is used to specify a | ||
| 233 | * Neumann condition. | ||
| 234 | * | ||
| 235 | * \param eqIdx The index of the equation | ||
| 236 | */ | ||
| 237 | bool isNeumann(unsigned eqIdx) const | ||
| 238 | { | ||
| 239 |
56/88✓ Branch 0 taken 5661352 times.
✓ Branch 1 taken 94599035 times.
✓ Branch 2 taken 5661352 times.
✓ Branch 3 taken 94599035 times.
✓ Branch 4 taken 39142 times.
✓ Branch 5 taken 768208 times.
✓ Branch 6 taken 39142 times.
✓ Branch 7 taken 768208 times.
✓ Branch 8 taken 13818610 times.
✓ Branch 9 taken 216854 times.
✓ Branch 10 taken 13818610 times.
✓ Branch 11 taken 216854 times.
✓ Branch 12 taken 1996676 times.
✓ Branch 13 taken 1564352 times.
✓ Branch 14 taken 1996676 times.
✓ Branch 15 taken 1564352 times.
✓ Branch 16 taken 8324626 times.
✓ Branch 17 taken 672428 times.
✓ Branch 18 taken 8324626 times.
✓ Branch 19 taken 672428 times.
✓ Branch 20 taken 40 times.
✓ Branch 21 taken 460102 times.
✓ Branch 22 taken 40 times.
✓ Branch 23 taken 460102 times.
✓ Branch 24 taken 15 times.
✗ Branch 25 not taken.
✓ Branch 26 taken 15 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 35 times.
✗ Branch 29 not taken.
✓ Branch 30 taken 35 times.
✗ Branch 31 not taken.
✓ Branch 32 taken 35 times.
✗ Branch 33 not taken.
✓ Branch 34 taken 35 times.
✗ Branch 35 not taken.
✓ Branch 36 taken 55 times.
✗ Branch 37 not taken.
✓ Branch 38 taken 55 times.
✗ Branch 39 not taken.
✓ Branch 40 taken 30 times.
✗ Branch 41 not taken.
✓ Branch 42 taken 30 times.
✗ Branch 43 not taken.
✓ Branch 44 taken 50 times.
✗ Branch 45 not taken.
✓ Branch 46 taken 50 times.
✗ Branch 47 not taken.
✓ Branch 48 taken 50 times.
✗ Branch 49 not taken.
✓ Branch 50 taken 50 times.
✗ Branch 51 not taken.
✓ Branch 52 taken 70 times.
✗ Branch 53 not taken.
✓ Branch 54 taken 70 times.
✗ Branch 55 not taken.
✓ Branch 56 taken 30 times.
✗ Branch 57 not taken.
✓ Branch 58 taken 30 times.
✗ Branch 59 not taken.
✓ Branch 60 taken 50 times.
✗ Branch 61 not taken.
✓ Branch 62 taken 50 times.
✗ Branch 63 not taken.
✓ Branch 64 taken 50 times.
✗ Branch 65 not taken.
✓ Branch 66 taken 50 times.
✗ Branch 67 not taken.
✓ Branch 68 taken 70 times.
✗ Branch 69 not taken.
✓ Branch 70 taken 70 times.
✗ Branch 71 not taken.
✓ Branch 72 taken 30 times.
✗ Branch 73 not taken.
✓ Branch 74 taken 30 times.
✗ Branch 75 not taken.
✓ Branch 76 taken 50 times.
✗ Branch 77 not taken.
✓ Branch 78 taken 50 times.
✗ Branch 79 not taken.
✓ Branch 80 taken 50 times.
✗ Branch 81 not taken.
✓ Branch 82 taken 50 times.
✗ Branch 83 not taken.
✓ Branch 84 taken 70 times.
✗ Branch 85 not taken.
✓ Branch 86 taken 70 times.
✗ Branch 87 not taken.
|
256244330 | return boundaryInfo_[eqIdx].isNeumann || |
| 240 |
52/88✓ Branch 0 taken 5617284 times.
✓ Branch 1 taken 44068 times.
✓ Branch 2 taken 5617284 times.
✓ Branch 3 taken 44068 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 39142 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 39142 times.
✓ Branch 8 taken 3516771 times.
✓ Branch 9 taken 10301839 times.
✓ Branch 10 taken 3516771 times.
✓ Branch 11 taken 10301839 times.
✓ Branch 12 taken 179116 times.
✓ Branch 13 taken 1817560 times.
✓ Branch 14 taken 179116 times.
✓ Branch 15 taken 1817560 times.
✓ Branch 16 taken 8320686 times.
✓ Branch 17 taken 3940 times.
✓ Branch 18 taken 8320686 times.
✓ Branch 19 taken 3940 times.
✗ Branch 20 not taken.
✓ Branch 21 taken 40 times.
✗ Branch 22 not taken.
✓ Branch 23 taken 40 times.
✗ Branch 24 not taken.
✓ Branch 25 taken 15 times.
✗ Branch 26 not taken.
✓ Branch 27 taken 15 times.
✗ Branch 28 not taken.
✓ Branch 29 taken 35 times.
✗ Branch 30 not taken.
✓ Branch 31 taken 35 times.
✗ Branch 32 not taken.
✓ Branch 33 taken 35 times.
✗ Branch 34 not taken.
✓ Branch 35 taken 35 times.
✗ Branch 36 not taken.
✓ Branch 37 taken 55 times.
✗ Branch 38 not taken.
✓ Branch 39 taken 55 times.
✗ Branch 40 not taken.
✓ Branch 41 taken 30 times.
✗ Branch 42 not taken.
✓ Branch 43 taken 30 times.
✗ Branch 44 not taken.
✓ Branch 45 taken 50 times.
✗ Branch 46 not taken.
✓ Branch 47 taken 50 times.
✗ Branch 48 not taken.
✓ Branch 49 taken 50 times.
✗ Branch 50 not taken.
✓ Branch 51 taken 50 times.
✗ Branch 52 not taken.
✓ Branch 53 taken 70 times.
✗ Branch 54 not taken.
✓ Branch 55 taken 70 times.
✗ Branch 56 not taken.
✓ Branch 57 taken 30 times.
✗ Branch 58 not taken.
✓ Branch 59 taken 30 times.
✗ Branch 60 not taken.
✓ Branch 61 taken 50 times.
✗ Branch 62 not taken.
✓ Branch 63 taken 50 times.
✗ Branch 64 not taken.
✓ Branch 65 taken 50 times.
✗ Branch 66 not taken.
✓ Branch 67 taken 50 times.
✗ Branch 68 not taken.
✓ Branch 69 taken 70 times.
✗ Branch 70 not taken.
✓ Branch 71 taken 70 times.
✗ Branch 72 not taken.
✓ Branch 73 taken 30 times.
✗ Branch 74 not taken.
✓ Branch 75 taken 30 times.
✗ Branch 76 not taken.
✓ Branch 77 taken 50 times.
✗ Branch 78 not taken.
✓ Branch 79 taken 50 times.
✗ Branch 80 not taken.
✓ Branch 81 taken 50 times.
✗ Branch 82 not taken.
✓ Branch 83 taken 50 times.
✗ Branch 84 not taken.
✓ Branch 85 taken 70 times.
✗ Branch 86 not taken.
✓ Branch 87 taken 70 times.
|
59682372 | boundaryInfo_[eqIdx].isCouplingNeumann; |
| 241 | } | ||
| 242 | |||
| 243 | /*! | ||
| 244 | * \brief Returns true if all equations are used to specify a | ||
| 245 | * Neumann condition. | ||
| 246 | */ | ||
| 247 | bool hasOnlyNeumann() const | ||
| 248 | { | ||
| 249 |
24/32✓ Branch 0 taken 1324910 times.
✓ Branch 1 taken 4680 times.
✓ Branch 2 taken 1324910 times.
✓ Branch 3 taken 4680 times.
✓ Branch 4 taken 1324910 times.
✓ Branch 5 taken 4680 times.
✓ Branch 6 taken 1324910 times.
✓ Branch 7 taken 4680 times.
✓ Branch 8 taken 966044 times.
✓ Branch 9 taken 2400 times.
✓ Branch 10 taken 966044 times.
✓ Branch 11 taken 2400 times.
✓ Branch 12 taken 966044 times.
✓ Branch 13 taken 2400 times.
✓ Branch 14 taken 966044 times.
✓ Branch 15 taken 2400 times.
✓ Branch 16 taken 583492 times.
✗ Branch 17 not taken.
✓ Branch 18 taken 583492 times.
✗ Branch 19 not taken.
✓ Branch 20 taken 583492 times.
✗ Branch 21 not taken.
✓ Branch 22 taken 583492 times.
✗ Branch 23 not taken.
✓ Branch 24 taken 144672 times.
✗ Branch 25 not taken.
✓ Branch 26 taken 144672 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 144672 times.
✗ Branch 29 not taken.
✓ Branch 30 taken 144672 times.
✗ Branch 31 not taken.
|
12104792 | return std::all_of(boundaryInfo_.begin(), |
| 250 | boundaryInfo_.end(), | ||
| 251 |
4/16✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✓ Branch 11 taken 1576176 times.
✗ Branch 12 not taken.
✓ Branch 13 taken 2326444 times.
✓ Branch 14 taken 7080 times.
✓ Branch 15 taken 3019118 times.
|
6928818 | [](const BoundaryInfo& b){ return b.isNeumann || |
| 252 |
1/16✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✓ Branch 14 taken 7080 times.
✗ Branch 15 not taken.
|
7080 | b.isCouplingNeumann; } |
| 253 | ); | ||
| 254 | } | ||
| 255 | |||
| 256 | /*! | ||
| 257 | * \brief Returns true if some equation is used to specify a | ||
| 258 | * Neumann condition. | ||
| 259 | */ | ||
| 260 | ✗ | bool hasNeumann() const | |
| 261 | { | ||
| 262 |
72/72✓ Branch 0 taken 32554981 times.
✓ Branch 1 taken 14981561 times.
✓ Branch 2 taken 32554981 times.
✓ Branch 3 taken 14981561 times.
✓ Branch 4 taken 32554981 times.
✓ Branch 5 taken 14981561 times.
✓ Branch 6 taken 32554981 times.
✓ Branch 7 taken 14981561 times.
✓ Branch 8 taken 7026220 times.
✓ Branch 9 taken 1805022 times.
✓ Branch 10 taken 7026220 times.
✓ Branch 11 taken 1805022 times.
✓ Branch 12 taken 7026220 times.
✓ Branch 13 taken 1805022 times.
✓ Branch 14 taken 7026220 times.
✓ Branch 15 taken 1805022 times.
✓ Branch 16 taken 15806572 times.
✓ Branch 17 taken 317632 times.
✓ Branch 18 taken 15806572 times.
✓ Branch 19 taken 317632 times.
✓ Branch 20 taken 15806572 times.
✓ Branch 21 taken 317632 times.
✓ Branch 22 taken 15806572 times.
✓ Branch 23 taken 317632 times.
✓ Branch 24 taken 9814358 times.
✓ Branch 25 taken 171841 times.
✓ Branch 26 taken 9814358 times.
✓ Branch 27 taken 171841 times.
✓ Branch 28 taken 9814358 times.
✓ Branch 29 taken 171841 times.
✓ Branch 30 taken 9814358 times.
✓ Branch 31 taken 171841 times.
✓ Branch 32 taken 1055754 times.
✓ Branch 33 taken 11688 times.
✓ Branch 34 taken 1055754 times.
✓ Branch 35 taken 11688 times.
✓ Branch 36 taken 1055754 times.
✓ Branch 37 taken 11688 times.
✓ Branch 38 taken 1055754 times.
✓ Branch 39 taken 11688 times.
✓ Branch 40 taken 170982 times.
✓ Branch 41 taken 366324 times.
✓ Branch 42 taken 170982 times.
✓ Branch 43 taken 366324 times.
✓ Branch 44 taken 170982 times.
✓ Branch 45 taken 366324 times.
✓ Branch 46 taken 170982 times.
✓ Branch 47 taken 366324 times.
✓ Branch 48 taken 91340 times.
✓ Branch 49 taken 44 times.
✓ Branch 50 taken 91340 times.
✓ Branch 51 taken 44 times.
✓ Branch 52 taken 91340 times.
✓ Branch 53 taken 44 times.
✓ Branch 54 taken 91340 times.
✓ Branch 55 taken 44 times.
✓ Branch 56 taken 133566 times.
✓ Branch 57 taken 304 times.
✓ Branch 58 taken 133566 times.
✓ Branch 59 taken 304 times.
✓ Branch 60 taken 133566 times.
✓ Branch 61 taken 304 times.
✓ Branch 62 taken 133566 times.
✓ Branch 63 taken 304 times.
✓ Branch 64 taken 249231 times.
✓ Branch 65 taken 17144 times.
✓ Branch 66 taken 249231 times.
✓ Branch 67 taken 17144 times.
✓ Branch 68 taken 249231 times.
✓ Branch 69 taken 17144 times.
✓ Branch 70 taken 249231 times.
✓ Branch 71 taken 17144 times.
|
338403688 | return std::any_of(boundaryInfo_.begin(), |
| 263 | boundaryInfo_.end(), | ||
| 264 |
28/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 9160359 times.
✓ Branch 3 taken 14871484 times.
✓ Branch 4 taken 9071839 times.
✓ Branch 5 taken 88520 times.
✓ Branch 6 taken 8976095 times.
✓ Branch 7 taken 95744 times.
✓ Branch 8 taken 8412375 times.
✓ Branch 9 taken 563720 times.
✓ Branch 10 taken 4680371 times.
✓ Branch 11 taken 12808725 times.
✓ Branch 12 taken 12278969 times.
✓ Branch 13 taken 15314447 times.
✓ Branch 14 taken 16618255 times.
✓ Branch 15 taken 19762481 times.
✓ Branch 16 taken 9951 times.
✓ Branch 17 taken 499292 times.
✓ Branch 18 taken 226356 times.
✗ Branch 19 not taken.
✓ Branch 20 taken 182808 times.
✓ Branch 21 taken 43548 times.
✓ Branch 22 taken 73894 times.
✓ Branch 23 taken 108914 times.
✓ Branch 24 taken 73894 times.
✗ Branch 25 not taken.
✓ Branch 26 taken 926620 times.
✓ Branch 27 taken 33252 times.
✓ Branch 28 taken 1634761 times.
✓ Branch 29 taken 691476 times.
✓ Branch 30 taken 1724185 times.
✓ Branch 31 taken 188672 times.
|
139121007 | [](const BoundaryInfo& b){ return b.isNeumann || |
| 265 |
15/32✗ Branch 0 not taken.
✗ Branch 1 not taken.
✓ Branch 2 taken 9160359 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 9071839 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 8976095 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 8412375 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 4680371 times.
✗ Branch 11 not taken.
✓ Branch 12 taken 12278969 times.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✓ Branch 15 taken 16618255 times.
✗ Branch 16 not taken.
✓ Branch 17 taken 9951 times.
✓ Branch 18 taken 226356 times.
✗ Branch 19 not taken.
✓ Branch 20 taken 182808 times.
✗ Branch 21 not taken.
✓ Branch 22 taken 73894 times.
✗ Branch 23 not taken.
✓ Branch 24 taken 73894 times.
✗ Branch 25 not taken.
✓ Branch 26 taken 926620 times.
✗ Branch 27 not taken.
✓ Branch 28 taken 1634761 times.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
✓ Branch 31 taken 1724185 times.
|
74050732 | b.isCouplingNeumann; } |
| 266 | ✗ | ); | |
| 267 | } | ||
| 268 | |||
| 269 | /*! | ||
| 270 | * \brief Returns true if an equation is used to specify an | ||
| 271 | * Dirichlet coupling condition. | ||
| 272 | * | ||
| 273 | * \param eqIdx The index of the equation | ||
| 274 | */ | ||
| 275 | bool isCouplingDirichlet(unsigned eqIdx) const | ||
| 276 |
6/24✗ Branch 0 not taken.
✓ Branch 1 taken 965022 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 965022 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 550494 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 550494 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✓ Branch 13 taken 244 times.
✗ Branch 14 not taken.
✓ Branch 15 taken 244 times.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
|
3031520 | { return boundaryInfo_[eqIdx].isCouplingDirichlet; } |
| 277 | |||
| 278 | /*! | ||
| 279 | * \brief Returns true if some equation is used to specify an | ||
| 280 | * Dirichlet coupling condition. | ||
| 281 | */ | ||
| 282 | bool hasCouplingDirichlet() const | ||
| 283 | { | ||
| 284 | return std::any_of(boundaryInfo_.begin(), | ||
| 285 | boundaryInfo_.end(), | ||
| 286 | [](const BoundaryInfo& b){ return b.isCouplingDirichlet; } | ||
| 287 | ); | ||
| 288 | } | ||
| 289 | |||
| 290 | /*! | ||
| 291 | * \brief Returns true if an equation is used to specify an | ||
| 292 | * Neumann coupling condition. | ||
| 293 | * | ||
| 294 | * \param eqIdx The index of the equation | ||
| 295 | */ | ||
| 296 | bool isCouplingNeumann(unsigned eqIdx) const | ||
| 297 | { return boundaryInfo_[eqIdx].isCouplingNeumann; } | ||
| 298 | |||
| 299 | /*! | ||
| 300 | * \brief Returns true if some equation is used to specify an | ||
| 301 | * Neumann coupling condition. | ||
| 302 | */ | ||
| 303 | bool hasCouplingNeumann() const | ||
| 304 | { | ||
| 305 |
16/16✓ Branch 0 taken 48952 times.
✓ Branch 1 taken 192 times.
✓ Branch 2 taken 48952 times.
✓ Branch 3 taken 192 times.
✓ Branch 4 taken 48952 times.
✓ Branch 5 taken 192 times.
✓ Branch 6 taken 48952 times.
✓ Branch 7 taken 192 times.
✓ Branch 8 taken 51624 times.
✓ Branch 9 taken 72 times.
✓ Branch 10 taken 51624 times.
✓ Branch 11 taken 72 times.
✓ Branch 12 taken 51624 times.
✓ Branch 13 taken 72 times.
✓ Branch 14 taken 51624 times.
✓ Branch 15 taken 72 times.
|
403360 | return std::any_of(boundaryInfo_.begin(), |
| 306 | boundaryInfo_.end(), | ||
| 307 |
4/28✗ Branch 0 not taken.
✗ Branch 1 not taken.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✓ Branch 11 taken 48544 times.
✓ Branch 12 taken 864 times.
✓ Branch 13 taken 264 times.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✓ Branch 26 taken 51168 times.
✗ Branch 27 not taken.
|
100840 | [](const BoundaryInfo& b){ return b.isCouplingNeumann; } |
| 308 | ); | ||
| 309 | } | ||
| 310 | |||
| 311 | /*! | ||
| 312 | * \brief Returns true if an equation is used to specify a | ||
| 313 | * coupling condition. | ||
| 314 | * | ||
| 315 | * \param eqIdx The index of the equation | ||
| 316 | */ | ||
| 317 | bool isCoupling(unsigned eqIdx) const | ||
| 318 | { | ||
| 319 | return boundaryInfo_[eqIdx].isCouplingDirichlet | ||
| 320 | || boundaryInfo_[eqIdx].isCouplingNeumann; | ||
| 321 | } | ||
| 322 | |||
| 323 | /*! | ||
| 324 | * \brief Returns true if some equation is used to specify a | ||
| 325 | * coupling condition. | ||
| 326 | */ | ||
| 327 | bool hasCoupling() const | ||
| 328 | { | ||
| 329 | for (int i = 0; i < numEq; ++i) | ||
| 330 | if (isCoupling(i)) | ||
| 331 | return true; | ||
| 332 | return false; | ||
| 333 | } | ||
| 334 | |||
| 335 | /*! | ||
| 336 | * \brief Returns the index of the equation which should be used | ||
| 337 | * for the Dirichlet condition of the pvIdx's primary | ||
| 338 | * variable. | ||
| 339 | * | ||
| 340 | * \param pvIdx The index of the primary variable which is be set | ||
| 341 | * by the Dirichlet condition. | ||
| 342 | */ | ||
| 343 | unsigned dirichletToEqIndex(unsigned pvIdx) const | ||
| 344 | { return pv2eqIdx_[pvIdx]; } | ||
| 345 | |||
| 346 | /*! | ||
| 347 | * \brief Returns the index of the primary variable which should | ||
| 348 | * be used for the Dirichlet condition given an equation | ||
| 349 | * index. | ||
| 350 | * | ||
| 351 | * \param eqIdx The index of the equation which is used to set | ||
| 352 | * the Dirichlet condition. | ||
| 353 | */ | ||
| 354 | ✗ | unsigned eqToDirichletIndex(unsigned eqIdx) const | |
| 355 |
6/20✗ Branch 0 not taken.
✓ Branch 1 taken 1568042 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1568042 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 240838 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 240838 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✓ Branch 13 taken 58710 times.
✗ Branch 14 not taken.
✓ Branch 15 taken 58710 times.
✗ Branch 16 not taken.
✗ Branch 17 not taken.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
|
3735282 | { return eq2pvIdx_[eqIdx]; } |
| 356 | |||
| 357 | protected: | ||
| 358 | //! use bitfields to minimize the size | ||
| 359 | struct BoundaryInfo { | ||
| 360 | bool visited : 1; | ||
| 361 | bool isDirichlet : 1; | ||
| 362 | bool isNeumann : 1; | ||
| 363 | bool isOutflow : 1; | ||
| 364 | bool isCouplingDirichlet : 1; | ||
| 365 | bool isCouplingNeumann : 1; | ||
| 366 | }; | ||
| 367 | |||
| 368 | std::array<BoundaryInfo, numEq> boundaryInfo_; | ||
| 369 | std::array<unsigned int, numEq> eq2pvIdx_, pv2eqIdx_; | ||
| 370 | }; | ||
| 371 | |||
| 372 | } // end namespace Dumux | ||
| 373 | |||
| 374 | #endif | ||
| 375 |