20#ifndef OIL_PHASE_CONSISTENCY_CHECKS_HPP_INCLUDED
21#define OIL_PHASE_CONSISTENCY_CHECKS_HPP_INCLUDED
23#include <opm/simulators/utils/satfunc/SatfuncConsistencyChecks.hpp>
24#include <opm/simulators/utils/satfunc/PhaseCheckBase.hpp>
29namespace Opm::Satfunc::PhaseChecks::Oil {
34 template <
typename Scalar>
47 exportedCheckValues[0] = this->sogcr_;
53 return {
"Non-negative critical oil saturation in G/O system" };
59 return {
"0 <= SOGCR < 1" };
88 template <
typename Scalar>
101 exportedCheckValues[0] = this->swl_;
102 exportedCheckValues[1] = this->sgu_;
103 exportedCheckValues[2] = this->swl_ + this->sgu_;
109 return {
"Non-negative minimum oil saturation in G/O system" };
115 return {
"SWL + SGU <= 1" };
126 headers[2] =
"SWL + SGU";
150 template <
typename Scalar>
163 exportedCheckValues[0] = this->swl_;
164 exportedCheckValues[1] = this->sgl_;
165 exportedCheckValues[2] = this->sogcr_;
166 exportedCheckValues[3] = Scalar{1} - (this->swl_ + this->sgl_);
172 return {
"Mobile oil saturation in G/O system at minimum gas saturation" };
178 return {
"SOGCR < 1 - SWL - SGL" };
189 headers[2] =
"SOGCR";
190 headers[3] =
"1 - SWL - SGL";
217 template <
typename Scalar>
230 exportedCheckValues[0] = this->swl_;
231 exportedCheckValues[1] = this->sgcr_;
232 exportedCheckValues[2] = this->sogcr_;
233 exportedCheckValues[3] = Scalar{1} - (this->swl_ + this->sgcr_);
239 return {
"Mobile oil saturation in G/O system at critical gas saturation" };
245 return {
"SOGCR < 1 - SWL - SGCR" };
256 headers[2] =
"SOGCR";
257 headers[3] =
"1 - SWL - SGCR";
285 template <
typename Scalar>
298 exportedCheckValues[0] = this->sowcr_;
304 return {
"Non-negative critical oil saturation in O/W system" };
310 return {
"0 <= SOWCR < 1" };
319 headers[0] =
"SOWCR";
339 template <
typename Scalar>
352 exportedCheckValues[0] = this->sgl_;
353 exportedCheckValues[1] = this->swu_;
354 exportedCheckValues[2] = this->sgl_ + this->swu_;
360 return {
"Non-negative minimum oil saturation in G/O system" };
366 return {
"SGL + SWU <= 1" };
377 headers[2] =
"SGL + SWU";
401 template <
typename Scalar>
414 exportedCheckValues[0] = this->swl_;
415 exportedCheckValues[1] = this->sgl_;
416 exportedCheckValues[2] = this->sowcr_;
417 exportedCheckValues[3] = Scalar{1} - (this->swl_ + this->sgl_);
423 return {
"Mobile oil saturation in O/W system at minimum water saturation" };
429 return {
"SOWCR < 1 - SWL - SGL" };
440 headers[2] =
"SOWCR";
441 headers[3] =
"1 - SWL - SGL";
468 template <
typename Scalar>
481 exportedCheckValues[0] = this->sgl_;
482 exportedCheckValues[1] = this->swcr_;
483 exportedCheckValues[2] = this->sowcr_;
484 exportedCheckValues[3] = Scalar{1} - this->swcr_ - this->sgl_;
490 return {
"Mobile oil saturation in O/W system at critical water saturation" };
496 return {
"SOWCR < 1 - SWCR - SGL" };
507 headers[2] =
"SOWCR";
508 headers[3] =
"1 - SWCR - SGL";
Verify that critical oil saturation in gas/oil system is strictly smaller than oil saturation at crit...
Definition OilPhaseConsistencyChecks.hpp:219
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:237
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:228
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:252
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:222
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:243
Verify that critical oil saturation in gas/oil system is strictly smaller than maximum oil saturation...
Definition OilPhaseConsistencyChecks.hpp:152
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:176
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:185
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:155
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:170
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:161
Verify that critical oil saturation in oil/water system is strictly smaller than oil saturation at cr...
Definition OilPhaseConsistencyChecks.hpp:470
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:494
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:503
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:473
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:479
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:488
Verify that critical oil saturation in oil/water system is strictly smaller than maximum oil saturati...
Definition OilPhaseConsistencyChecks.hpp:403
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:427
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:406
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:436
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:412
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:421
Verify that critical oil saturation in gas/oil system is in valid range.
Definition OilPhaseConsistencyChecks.hpp:36
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:66
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:39
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:51
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:45
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:57
Verify that critical oil saturation in oil/water system is in valid range.
Definition OilPhaseConsistencyChecks.hpp:287
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:302
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:308
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:290
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:317
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:296
Verify that minimum oil saturation in gas/oil system is in valid range.
Definition OilPhaseConsistencyChecks.hpp:90
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:93
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:99
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:122
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:113
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:107
Verify that minimum oil saturation in oil/water system is in valid range.
Definition OilPhaseConsistencyChecks.hpp:341
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:350
std::string condition() const override
Textual representation of the consistency condition.
Definition OilPhaseConsistencyChecks.hpp:364
std::string description() const override
Descriptive textual summary of this check.
Definition OilPhaseConsistencyChecks.hpp:358
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition OilPhaseConsistencyChecks.hpp:373
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition OilPhaseConsistencyChecks.hpp:344
Base class for all phase saturation function consistency checks.
Definition PhaseCheckBase.hpp:35
Definition SatfuncConsistencyChecks.hpp:35