ecfvdiscretization.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:
/*
  This file is part of the Open Porous Media project (OPM).
 
  OPM 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 2 of the License, or
  (at your option) any later version.
 
  OPM 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 OPM.  If not, see <http://www.gnu.org/licenses/>.
 
  Consult the COPYING file in the top-level source directory of this
  module for the precise wording of the license and the list of
  copyright holders.
*/
#ifndef EWOMS_ECFV_DISCRETIZATION_HH
#define EWOMS_ECFV_DISCRETIZATION_HH
 
#include <opm/material/densead/Math.hpp>
 
#include <opm/models/discretization/common/fvbasediscretization.hh>
#include <opm/models/discretization/ecfv/ecfvbaseoutputmodule.hh>
#include <opm/models/discretization/ecfv/ecfvgridcommhandlefactory.hh>
#include <opm/models/discretization/ecfv/ecfvproperties.hh>
#include <opm/models/discretization/ecfv/ecfvstencil.hh>
 
#include <opm/simulators/linalg/elementborderlistfromgrid.hh>
 
#if HAVE_DUNE_FEM
#include <opm/models/discretization/common/fvbasediscretizationfemadapt.hh>
#include <dune/fem/space/common/functionspace.hh>
#include <dune/fem/space/finitevolume.hh>
#endif
 
#include <cstddef>
#include <string>
 
namespace Opm {
 
template <class TypeTag>
class EcfvDiscretization;
 
}
 
namespace Opm::Properties {
 
template<class TypeTag>
struct Stencil<TypeTag, TTag::EcfvDiscretization>
{
private:
    using Scalar = GetPropType<TypeTag, Properties::Scalar>;
    using GridView = GetPropType<TypeTag, Properties::GridView>;
 
public:
    using type = EcfvStencil<Scalar, GridView>;
};
 
template<class TypeTag>
struct DofMapper<TypeTag, TTag::EcfvDiscretization>
{ using type = GetPropType<TypeTag, Properties::ElementMapper>; };
 
template<class TypeTag>
struct Discretization<TypeTag, TTag::EcfvDiscretization>
{ using type = EcfvDiscretization<TypeTag>; };
 
template<class TypeTag>
struct DiscBaseOutputModule<TypeTag, TTag::EcfvDiscretization>
{ using type = EcfvBaseOutputModule<TypeTag>; };
 
template<class TypeTag>
struct GridCommHandleFactory<TypeTag, TTag::EcfvDiscretization>
{ using type = EcfvGridCommHandleFactory<TypeTag>; };
 
#if HAVE_DUNE_FEM
template<class TypeTag>
struct DiscreteFunctionSpace<TypeTag, TTag::EcfvDiscretization>
{
private:
    using Scalar = GetPropType<TypeTag, Properties::Scalar>  ;
    using GridPart = GetPropType<TypeTag, Properties::GridPart>;
    enum { numEq = getPropValue<TypeTag, Properties::NumEq>() };
    using FunctionSpace = Dune::Fem::FunctionSpace<typename GridPart::GridType::ctype,
                                                   Scalar,
                                                   GridPart::GridType::dimensionworld,
                                                   numEq>;
 
public:
    using type = Dune::Fem::FiniteVolumeSpace< FunctionSpace, GridPart, 0 >;
};
#else
template <class TypeTag>
struct DummySpaceEcfv
{
    using DiscreteFunctionSpace = GetPropType<TypeTag, Properties::DiscreteFunctionSpace>;
    explicit DummySpaceEcfv(const DiscreteFunctionSpace&) {}
    explicit DummySpaceEcfv(const int&) {}
};
 
template <class TypeTag>
struct DiscreteFunctionSpace<TypeTag, TTag::EcfvDiscretization>
{ using type = DummySpaceEcfv<TypeTag>; };
#endif
 
template<class TypeTag>
struct BorderListCreator<TypeTag, TTag::EcfvDiscretization>
{
private:
    using ElementMapper = GetPropType<TypeTag, Properties::ElementMapper>;
    using GridView = GetPropType<TypeTag, Properties::GridView>;
 
public:
    using type = Linear::ElementBorderListFromGrid<GridView, ElementMapper>;
};
 
template<class TypeTag>
struct LinearizeNonLocalElements<TypeTag, TTag::EcfvDiscretization>
{ static constexpr bool value = true; };
 
template<class TypeTag>
struct UseLinearizationLock<TypeTag, TTag::EcfvDiscretization>
{ static constexpr bool value = false; };
 
} // namespace Opm::Properties
 
namespace Opm {
 
template<class TypeTag>
class EcfvDiscretization : public GetPropType<TypeTag, Properties::BaseDiscretizationType>
{
    using ParentType = GetPropType<TypeTag, Properties::BaseDiscretizationType>;
    using Implementation = GetPropType<TypeTag, Properties::Model>;
    using DofMapper = GetPropType<TypeTag, Properties::DofMapper>;
    using PrimaryVariables = GetPropType<TypeTag, Properties::PrimaryVariables>;
    using SolutionVector = GetPropType<TypeTag, Properties::SolutionVector>;
    using GridView = GetPropType<TypeTag, Properties::GridView>;
    using Simulator = GetPropType<TypeTag, Properties::Simulator>;
 
public:
    explicit EcfvDiscretization(Simulator& simulator)
        : ParentType(simulator)
    {}
 
    static std::string discretizationName()
    { return "ecfv"; }
 
    std::size_t numGridDof() const
    { return static_cast<std::size_t>(this->gridView_.size(/*codim=*/0)); }
 
    const DofMapper& dofMapper() const
    { return this->elementMapper(); }
 
    void syncOverlap()
    {
        // syncronize the solution on the ghost and overlap elements
        using GhostSyncHandle = GridCommHandleGhostSync<PrimaryVariables,
                                                        SolutionVector,
                                                        DofMapper,
                                                        /*commCodim=*/0>;
 
        auto ghostSync = GhostSyncHandle(this->solution(/*timeIdx=*/0),
                                         asImp_().dofMapper());
        this->gridView().communicate(ghostSync,
                                     Dune::InteriorBorder_All_Interface,
                                     Dune::ForwardCommunication);
    }
 
    template <class Restarter>
    void serialize(Restarter& res)
    { res.template serializeEntities</*codim=*/0>(asImp_(), this->gridView_); }
 
    template <class Restarter>
    void deserialize(Restarter& res)
    {
        res.template deserializeEntities</*codim=*/0>(asImp_(), this->gridView_);
        this->solution(/*timeIdx=*/1) = this->solution(/*timeIdx=*/0);
    }
 
private:
    Implementation& asImp_()
    { return *static_cast<Implementation*>(this); }
 
    const Implementation& asImp_() const
    { return *static_cast<const Implementation*>(this); }
};
 
} // namespace Opm
 
#endif