20#ifndef GAS_PHASE_CONSISTENCY_CHECKS_HPP_INCLUDED
21#define GAS_PHASE_CONSISTENCY_CHECKS_HPP_INCLUDED
23#include <opm/simulators/utils/satfunc/PhaseCheckBase.hpp>
24#include <opm/simulators/utils/satfunc/SatfuncConsistencyChecks.hpp>
29namespace Opm::Satfunc::PhaseChecks::Gas {
34 template <
typename Scalar>
53 return {
"Non-negative minimum gas saturation" };
59 return {
"0 <= SGL < 1" };
88 template <
typename Scalar>
107 return {
"Positive maximum gas saturation must not exceed one" };
113 return {
"0 < SGU <= 1" };
142 template <
typename Scalar>
163 return {
"Mobile gas saturation" };
169 return {
"SGL <= SGCR < SGU" };
Verify that critical gas saturation is in valid range.
Definition GasPhaseConsistencyChecks.hpp:144
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:147
std::string description() const override
Descriptive textual summary of this check.
Definition GasPhaseConsistencyChecks.hpp:161
std::string condition() const override
Textual representation of the consistency condition.
Definition GasPhaseConsistencyChecks.hpp:167
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition GasPhaseConsistencyChecks.hpp:176
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:153
Verify that maximum gas saturation is in valid range.
Definition GasPhaseConsistencyChecks.hpp:90
std::string description() const override
Descriptive textual summary of this check.
Definition GasPhaseConsistencyChecks.hpp:105
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition GasPhaseConsistencyChecks.hpp:120
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:93
std::string condition() const override
Textual representation of the consistency condition.
Definition GasPhaseConsistencyChecks.hpp:111
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:99
Verify that minimum gas saturation is in valid range.
Definition GasPhaseConsistencyChecks.hpp:36
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:39
std::string description() const override
Descriptive textual summary of this check.
Definition GasPhaseConsistencyChecks.hpp:51
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition GasPhaseConsistencyChecks.hpp:45
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition GasPhaseConsistencyChecks.hpp:66
std::string condition() const override
Textual representation of the consistency condition.
Definition GasPhaseConsistencyChecks.hpp:57
Base class for all phase saturation function consistency checks.
Definition PhaseCheckBase.hpp:35
constexpr auto getPropValue()
get the value data member of a property
Definition propertysystem.hh:242
Definition SatfuncConsistencyChecks.hpp:35