porousmediumflow/tracer/volumevariables.hh

Go to the documentation of this file.

// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
// vi: set et ts=4 sw=4 sts=4:
/*****************************************************************************
 *   See the file COPYING for full copying permissions.                      *
 *                                                                           *
 *   This program is free software: you can redistribute it and/or modify    *
 *   it under the terms of the GNU General Public License as published by    *
 *   the Free Software Foundation, either version 3 of the License, or       *
 *   (at your option) any later version.                                     *
 *                                                                           *
 *   This program is distributed in the hope that it will be useful,         *
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of          *
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the            *
 *   GNU General Public License for more details.                            *
 *                                                                           *
 *   You should have received a copy of the GNU General Public License       *
 *   along with this program.  If not, see <http://www.gnu.org/licenses/>.   *
 *****************************************************************************/
#ifndef DUMUX_TRACER_VOLUME_VARIABLES_HH
#define DUMUX_TRACER_VOLUME_VARIABLES_HH
 
#include <cassert>
#include <array>
#include <type_traits>
 
#include <dune/common/std/type_traits.hh>
 
#include <dumux/porousmediumflow/volumevariables.hh>
#include <dumux/material/solidstates/updatesolidvolumefractions.hh>
 
namespace Dumux {
 
namespace Detail {
// helper structs and functions detecting if the user-defined spatial params class
// has user-specified functions saturation() for multi-phase tracer.
template <typename T, typename ...Ts>
using SaturationDetector = decltype(std::declval<T>().spatialParams().saturation(std::declval<Ts>()...));
 
template<class T, typename ...Args>
static constexpr bool hasSaturation()
{ return Dune::Std::is_detected<SaturationDetector, T, Args...>::value; }
 
} // end namespace Detail
 
template <class Traits>
class TracerVolumeVariables
: public PorousMediumFlowVolumeVariables<Traits>
{
    using ParentType = PorousMediumFlowVolumeVariables<Traits>;
    using Scalar = typename Traits::PrimaryVariables::value_type;
    static constexpr bool useMoles = Traits::ModelTraits::useMoles();
    using EffDiffModel = typename Traits::EffectiveDiffusivityModel;
    static constexpr int numFluidComps = ParentType::numFluidComponents();
 
public:
    using FluidSystem = typename Traits::FluidSystem;
    using SolidState = typename Traits::SolidState;
    using Indices = typename Traits::ModelTraits::Indices;
 
    template<class ElemSol, class Problem, class Element, class Scv>
    void update(const ElemSol &elemSol,
                const Problem &problem,
                const Element &element,
                const Scv &scv)
    {
        // update parent type sets primary variables
        ParentType::update(elemSol, problem, element, scv);
 
        updateSolidVolumeFractions(elemSol, problem, element, scv, solidState_, numFluidComps);
 
        // the spatial params special to the tracer model
        fluidDensity_ = problem.spatialParams().fluidDensity(element, scv);
        fluidMolarMass_ = problem.spatialParams().fluidMolarMass(element, scv);
 
        if constexpr (Detail::hasSaturation<Problem, Element, Scv>())
            fluidSaturation_ = problem.spatialParams().saturation(element, scv);
 
        for (int compIdx = 0; compIdx < ParentType::numFluidComponents(); ++compIdx)
        {
            moleOrMassFraction_[compIdx] = this->priVars()[compIdx];
            diffCoeff_[compIdx] = FluidSystem::binaryDiffusionCoefficient(compIdx, problem, element, scv);
            effectiveDiffCoeff_[compIdx] = EffDiffModel::effectiveDiffusionCoefficient(*this, 0, 0, compIdx);
        }
    }
 
    Scalar density(int phaseIdx = 0) const
    { return fluidDensity_; }
 
    Scalar averageMolarMass(int phaseIdx = 0) const
    { return fluidMolarMass_; }
 
    const SolidState &solidState() const
    { return solidState_; }
 
    Scalar saturation(int phaseIdx = 0) const
    { return fluidSaturation_ ; }
 
    Scalar mobility(int phaseIdx = 0) const
    { return 1.0; }
 
    Scalar molarDensity(int phaseIdx = 0) const
    { return fluidDensity_/fluidMolarMass_; }
 
    Scalar moleFraction(int phaseIdx, int compIdx) const
    { return useMoles ? moleOrMassFraction_[compIdx] : moleOrMassFraction_[compIdx]/FluidSystem::molarMass(compIdx)*fluidMolarMass_; }
 
    Scalar massFraction(int phaseIdx, int compIdx) const
    { return useMoles ? moleOrMassFraction_[compIdx]*FluidSystem::molarMass(compIdx)/fluidMolarMass_ : moleOrMassFraction_[compIdx]; }
 
    Scalar molarity(int phaseIdx, int compIdx) const
    { return moleFraction(phaseIdx, compIdx)*molarDensity(); }
 
    Scalar diffusionCoefficient(int phaseIdx, int compIIdx, int compJIdx) const
    {
        if (phaseIdx != compIIdx) std::swap(compIIdx, compJIdx);
        assert(phaseIdx == 0);
        assert(phaseIdx == compIIdx);
        return diffCoeff_[compJIdx]; }
 
    Scalar effectiveDiffusionCoefficient(int phaseIdx, int compIIdx, int compJIdx) const
    {
        if (phaseIdx != compIIdx) std::swap(compIIdx, compJIdx);
        assert(phaseIdx == 0);
        assert(phaseIdx == compIIdx);
        return effectiveDiffCoeff_[compJIdx];
    }
 
    Scalar porosity() const
    { return solidState_.porosity(); }
 
protected:
    SolidState solidState_;
    Scalar fluidDensity_, fluidMolarMass_;
    Scalar fluidSaturation_ = 1.0;
 
    std::array<Scalar, numFluidComps> diffCoeff_;
    std::array<Scalar, numFluidComps> effectiveDiffCoeff_;
    std::array<Scalar, numFluidComps> moleOrMassFraction_;
};
 
} // end namespace Dumux
 
#endif