20#ifndef WATER_PHASE_CONSISTENCY_CHECKS_HPP_INCLUDED
21#define WATER_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::Water {
34 template <
typename Scalar>
53 return {
"Non-negative minimum water saturation" };
59 return {
"0 <= SWL < 1" };
88 template <
typename Scalar>
107 return {
"Positive maximum water saturation" };
113 return {
"0 < SWU <= 1" };
142 template <
typename Scalar>
163 return {
"Mobile water saturation" };
169 return {
"SWL <= SWCR < SWU" };
Base class for all phase saturation function consistency checks.
Definition PhaseCheckBase.hpp:35
Verify that critical gas saturation is in valid range.
Definition WaterPhaseConsistencyChecks.hpp:144
std::string condition() const override
Textual representation of the consistency condition.
Definition WaterPhaseConsistencyChecks.hpp:167
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:147
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:153
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition WaterPhaseConsistencyChecks.hpp:176
std::string description() const override
Descriptive textual summary of this check.
Definition WaterPhaseConsistencyChecks.hpp:161
Verify that maximum gas saturation is in valid range.
Definition WaterPhaseConsistencyChecks.hpp:90
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition WaterPhaseConsistencyChecks.hpp:120
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:99
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:93
std::string description() const override
Descriptive textual summary of this check.
Definition WaterPhaseConsistencyChecks.hpp:105
std::string condition() const override
Textual representation of the consistency condition.
Definition WaterPhaseConsistencyChecks.hpp:111
Verify that minimum gas saturation is in valid range.
Definition WaterPhaseConsistencyChecks.hpp:36
std::size_t numExportedCheckValues() const override
Number of Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:39
std::string condition() const override
Textual representation of the consistency condition.
Definition WaterPhaseConsistencyChecks.hpp:57
std::string description() const override
Descriptive textual summary of this check.
Definition WaterPhaseConsistencyChecks.hpp:51
void exportCheckValues(Scalar *exportedCheckValues) const override
Get a linearised copy of the Scalar values involved in the check.
Definition WaterPhaseConsistencyChecks.hpp:45
void columnNames(std::string *headers) const override
Retrieve names of the exported check values.
Definition WaterPhaseConsistencyChecks.hpp:66
constexpr auto getPropValue()
get the value data member of a property
Definition propertysystem.hh:242
Definition SatfuncConsistencyChecks.hpp:35