https://mooseframework.inl.gov
PiecewiseByBlockLambdaFunctor.h
Go to the documentation of this file.
1 //* This file is part of the MOOSE framework
2 //* https://mooseframework.inl.gov
3 //*
4 //* All rights reserved, see COPYRIGHT for full restrictions
5 //* https://github.com/idaholab/moose/blob/master/COPYRIGHT
6 //*
7 //* Licensed under LGPL 2.1, please see LICENSE for details
8 //* https://www.gnu.org/licenses/lgpl-2.1.html
9 
10 #pragma once
11 
12 #include "MooseMesh.h"
13 #include "MooseTypes.h"
14 #include "MooseError.h"
15 #include "MooseFunctor.h"
16 #include "Moose.h"
17 #include "Limiter.h"
18 #include "MathFVUtils.h"
19 #include "GreenGaussGradient.h"
20 
21 #include "libmesh/elem.h"
22 #include "libmesh/remote_elem.h"
23 #include "libmesh/tensor_tools.h"
24 
25 #include <unordered_map>
26 #include <functional>
27 
31 template <typename T>
33 {
34 public:
35  template <typename PolymorphicLambda>
36  PiecewiseByBlockLambdaFunctor(const std::string & name,
37  PolymorphicLambda my_lammy,
38  const std::set<ExecFlagType> & clearance_schedule,
39  const MooseMesh & mesh,
40  const std::set<SubdomainID> & block_ids);
41 
48  template <typename PolymorphicLambda>
49  void setFunctor(const MooseMesh & mesh,
50  const std::set<SubdomainID> & block_ids,
51  PolymorphicLambda my_lammy);
52 
53  virtual ~PiecewiseByBlockLambdaFunctor() = default;
54 
55  bool isExtrapolatedBoundaryFace(const FaceInfo & fi,
56  const Elem * elem,
57  const Moose::StateArg & time) const override;
58 
59  bool hasBlocks(SubdomainID id) const override;
60 
61  bool supportsFaceArg() const override final { return true; }
62  bool supportsElemSideQpArg() const override final { return true; }
63 
65  using typename Moose::FunctorBase<T>::ValueType;
66  using typename Moose::FunctorBase<T>::DotType;
68 
69 protected:
70  using ElemFn = std::function<T(const Moose::ElemArg &, const Moose::StateArg &)>;
71  using FaceFn = std::function<T(const Moose::FaceArg &, const Moose::StateArg &)>;
72  using ElemQpFn = std::function<T(const Moose::ElemQpArg &, const Moose::StateArg &)>;
73  using ElemSideQpFn = std::function<T(const Moose::ElemSideQpArg &, const Moose::StateArg &)>;
74  using ElemPointFn = std::function<T(const Moose::ElemPointArg &, const Moose::StateArg &)>;
75  using NodeFn = std::function<T(const Moose::NodeArg &, const Moose::StateArg &)>;
76 
77  ValueType evaluate(const Moose::ElemArg & elem_arg, const Moose::StateArg & time) const override;
78  ValueType evaluate(const Moose::FaceArg & face, const Moose::StateArg & time) const override;
79  ValueType evaluate(const Moose::ElemQpArg & elem_qp, const Moose::StateArg & time) const override;
80  ValueType evaluate(const Moose::ElemSideQpArg & elem_side_qp,
81  const Moose::StateArg & time) const override;
82  ValueType evaluate(const Moose::ElemPointArg & elem_point,
83  const Moose::StateArg & time) const override;
84  ValueType evaluate(const Moose::NodeArg & node_arg, const Moose::StateArg & time) const override;
85 
88  const Moose::StateArg &) const override;
90  const Moose::StateArg &) const override;
91 
92 private:
99  template <typename C>
101  const std::unordered_map<SubdomainID, C> & functors) const;
102 
106  std::string subdomainNameAndID(SubdomainID sub_id) const;
107 
110  std::unordered_map<SubdomainID, ElemFn> _elem_functor;
111 
114  std::unordered_map<SubdomainID, FaceFn> _face_functor;
115 
117  std::unordered_map<SubdomainID, ElemQpFn> _elem_qp_functor;
118 
120  std::unordered_map<SubdomainID, ElemSideQpFn> _elem_side_qp_functor;
121 
123  std::unordered_map<SubdomainID, ElemPointFn> _elem_point_functor;
124 
126  std::unordered_map<SubdomainID, NodeFn> _node_functor;
127 
129  const MooseMesh & _mesh;
130 };
131 
132 template <typename T>
133 template <typename PolymorphicLambda>
135  const std::string & name,
136  PolymorphicLambda my_lammy,
137  const std::set<ExecFlagType> & clearance_schedule,
138  const MooseMesh & mesh,
139  const std::set<SubdomainID> & block_ids)
140  : Moose::FunctorBase<T>(name, clearance_schedule), _mesh(mesh)
141 {
142  setFunctor(mesh, block_ids, my_lammy);
143 }
144 
145 template <typename T>
146 template <typename PolymorphicLambda>
147 void
149  const std::set<SubdomainID> & block_ids,
150  PolymorphicLambda my_lammy)
151 {
152  mooseAssert(&mesh == &_mesh,
153  "We should always be setting this functor with the same mesh. We may relax this "
154  "assertion later");
155 
156  auto add_lammy = [this, my_lammy](const SubdomainID block_id)
157  {
158  auto pr = _elem_functor.emplace(block_id, my_lammy);
159  if (!pr.second)
160  mooseError("No insertion for the functor material property '",
161  this->functorName(),
162  "' for block id ",
163  block_id,
164  ". Another material must already declare this property on that block.");
165  _face_functor.emplace(block_id, my_lammy);
166  _elem_qp_functor.emplace(block_id, my_lammy);
167  _elem_side_qp_functor.emplace(block_id, my_lammy);
168  _elem_point_functor.emplace(block_id, my_lammy);
169  _node_functor.emplace(block_id, my_lammy);
170  };
171 
172  for (const auto block_id : block_ids)
173  add_lammy(block_id);
174 
175  // Handle special case of ANY_BLOCK_ID and empty block restriction that also cover
176  // INVALID_BLOCK_ID
177  if (block_ids.count(Moose::ANY_BLOCK_ID) || block_ids.empty() ||
178  block_ids == mesh.meshSubdomains())
179  add_lammy(Moose::INVALID_BLOCK_ID);
180 }
181 
182 template <typename T>
183 bool
185  const Elem *,
186  const Moose::StateArg &) const
187 {
188  if (!fi.neighborPtr())
189  return true;
190 
191  const bool defined_on_elem = _elem_functor.count(fi.elem().subdomain_id());
192  const bool defined_on_neighbor = _elem_functor.count(fi.neighbor().subdomain_id());
193  const bool extrapolated = (defined_on_elem + defined_on_neighbor) == 1;
194 
195  mooseAssert(defined_on_elem || defined_on_neighbor,
196  "This shouldn't be called if we aren't defined on either side.");
197  return extrapolated;
198 }
199 
200 template <typename T>
201 bool
203 {
204  // If any of the maps has a functor for that block, it has the block
205  const bool has_blocks = _elem_functor.count(id);
206  mooseAssert(has_blocks == _face_functor.count(id),
207  "All functor sets should agree on whether we have this sub id");
208  mooseAssert(has_blocks == _elem_qp_functor.count(id),
209  "All functor sets should agree on whether we have this sub id");
210  mooseAssert(has_blocks == _elem_side_qp_functor.count(id),
211  "All functor sets should agree on whether we have this sub id");
212  return has_blocks;
213 }
214 
215 template <typename T>
216 std::string
218 {
219  const auto & name = _mesh.getSubdomainName(sub_id);
220  if (name.empty())
221  return Moose::stringify(sub_id);
222  return "'" + name + "' (" + Moose::stringify(sub_id) + ")";
223 }
224 
225 template <typename T>
226 template <typename C>
227 void
229  const SubdomainID sub_id, const std::unordered_map<SubdomainID, C> & functors) const
230 {
231  std::vector<std::string> block_names_and_ids;
232  block_names_and_ids.reserve(functors.size());
233  for (const auto & [available_sub_id, functor] : functors)
234  {
235  libmesh_ignore(functor);
236  block_names_and_ids.push_back(subdomainNameAndID(available_sub_id));
237  }
238  mooseError("The provided subdomain ",
239  subdomainNameAndID(sub_id),
240  " doesn't exist in the map for lambda functor '",
241  this->functorName(),
242  "'! This is likely because you did not provide a functor material "
243  "definition on that subdomain.\nSubdomains in the map: ",
244  Moose::stringify(block_names_and_ids));
245 }
246 
247 template <typename T>
250  const Moose::StateArg & time) const
251 {
252  const Elem * const elem = elem_arg.elem;
253  mooseAssert(elem && elem != libMesh::remote_elem,
254  "The element must be non-null and non-remote in functor material properties");
255  auto it = _elem_functor.find(elem->subdomain_id());
256  if (it == _elem_functor.end())
257  subdomainErrorMessage(elem->subdomain_id(), _elem_functor);
258 
259  return it->second(elem_arg, time);
260 }
261 
262 template <typename T>
265  const Moose::StateArg & time) const
266 {
267  using namespace Moose::FV;
268 
269  if (face.face_side)
270  {
271  const auto sub_id = face.face_side->subdomain_id();
272  auto it = _face_functor.find(sub_id);
273  if (it == _face_functor.end())
274  subdomainErrorMessage(sub_id, _face_functor);
275 
276  return it->second(face, time);
277  }
278 
279  mooseAssert(this->isInternalFace(*face.fi),
280  "If we did not have a face side, then we must be an internal face");
281  return interpolate(*this, face, time);
282 }
283 
284 template <typename T>
287  const Moose::StateArg & time) const
288 {
289  const auto sub_id = elem_qp.elem->subdomain_id();
290  auto it = _elem_qp_functor.find(sub_id);
291  if (it == _elem_qp_functor.end())
292  subdomainErrorMessage(sub_id, _elem_qp_functor);
293 
294  return it->second(elem_qp, time);
295 }
296 
297 template <typename T>
300  const Moose::StateArg & time) const
301 {
302  const auto sub_id = elem_side_qp.elem->subdomain_id();
303  auto it = _elem_side_qp_functor.find(sub_id);
304  if (it == _elem_side_qp_functor.end())
305  subdomainErrorMessage(sub_id, _elem_side_qp_functor);
306 
307  return it->second(elem_side_qp, time);
308 }
309 
310 template <typename T>
313  const Moose::StateArg & time) const
314 {
315  const Elem * const elem = elem_point_arg.elem;
316  mooseAssert(elem && elem != libMesh::remote_elem,
317  "The element must be non-null and non-remote in functor material properties");
318  auto it = _elem_point_functor.find(elem->subdomain_id());
319  if (it == _elem_point_functor.end())
320  subdomainErrorMessage(elem->subdomain_id(), _elem_point_functor);
321 
322  return it->second(elem_point_arg, time);
323 }
324 
325 template <typename T>
328  const Moose::StateArg & time) const
329 {
330  mooseAssert(node_arg.node, "The node must be non-null in functor material properties");
331  if (node_arg.subdomain_ids->size() != 1)
332  mooseError("We do not currently support multi-subdomain evaluation of nodal arguments");
333  const auto sub_id = *(node_arg.subdomain_ids->begin());
334  auto it = _node_functor.find(sub_id);
335  if (it == _node_functor.end())
336  subdomainErrorMessage(sub_id, _node_functor);
337 
338  return it->second(node_arg, time);
339 }
340 
341 template <typename T>
344  const Moose::StateArg & time) const
345 {
346  return Moose::FV::greenGaussGradient(elem_arg, time, *this, true, _mesh);
347 }
348 
349 template <typename T>
352  const Moose::StateArg & time) const
353 {
354  return Moose::FV::greenGaussGradient(face_arg, time, *this, true, _mesh);
355 }
std::string name(const ElemQuality q)
ValueType evaluate(const Moose::ElemArg &elem_arg, const Moose::StateArg &time) const override
Evaluate the functor with a given element.
A material property that is evaluated on-the-fly via calls to various overloads of operator() ...
std::function< T(const Moose::NodeArg &, const Moose::StateArg &)> NodeFn
bool supportsFaceArg() const override final
Whether this functor supports evaluation with FaceArg.
Base class template for functor objects.
Definition: MooseFunctor.h:137
std::unordered_map< SubdomainID, ElemFn > _elem_functor
Functors that return element average values (or cell centroid values or whatever the implementer want...
void mooseError(Args &&... args)
Emit an error message with the given stringified, concatenated args and terminate the application...
Definition: MooseError.h:311
std::unordered_map< SubdomainID, ElemPointFn > _elem_point_functor
Functors that return evaluations at an arbitrary physical point in an element.
const libMesh::Elem * face_side
A member that can be used to indicate whether there is a sidedness to this face.
std::function< T(const Moose::ElemPointArg &, const Moose::StateArg &)> ElemPointFn
const Elem & elem() const
Definition: FaceInfo.h:85
libMesh::VectorValue< T > greenGaussGradient(const ElemArg &elem_arg, const StateArg &state_arg, const FunctorBase< T > &functor, const bool two_term_boundary_expansion, const MooseMesh &mesh, const bool force_green_gauss=false)
Compute a cell gradient using the method of Green-Gauss.
std::unordered_map< SubdomainID, ElemSideQpFn > _elem_side_qp_functor
Functors that will evaluate elements at side quadrature points.
void subdomainErrorMessage(SubdomainID sub_id, const std::unordered_map< SubdomainID, C > &functors) const
Provide a useful error message about lack of functor material property on the provided subdomain sub_...
MeshBase & mesh
GradientType evaluateGradient(const Moose::ElemArg &elem_arg, const Moose::StateArg &) const override
Evaluate the functor gradient with a given element.
A structure that is used to evaluate Moose functors at an arbitrary physical point contained within a...
const libMesh::Node * node
The node which defines our location in space.
typename FunctorReturnType< T, FunctorEvaluationKind::Gradient >::type GradientType
This rigmarole makes it so that a user can create functors that return containers (std::vector...
Definition: MooseFunctor.h:149
virtual ~PiecewiseByBlockLambdaFunctor()=default
const SubdomainID INVALID_BLOCK_ID
Definition: MooseTypes.C:20
This data structure is used to store geometric and variable related metadata about each cell face in ...
Definition: FaceInfo.h:37
void libmesh_ignore(const Args &...)
std::unordered_map< SubdomainID, ElemQpFn > _elem_qp_functor
Functors that will evaluate elements at quadrature points.
const std::set< SubdomainID > * subdomain_ids
Indicates what subdomains this argument should be associated with.
std::unordered_map< SubdomainID, NodeFn > _node_functor
Functors that return nodal values.
const Elem * neighborPtr() const
Definition: FaceInfo.h:88
std::unordered_map< SubdomainID, FaceFn > _face_functor
Functors that return the property value on the requested side of the face (e.g.
A structure defining a "face" evaluation calling argument for Moose functors.
PiecewiseByBlockLambdaFunctor(const std::string &name, PolymorphicLambda my_lammy, const std::set< ExecFlagType > &clearance_schedule, const MooseMesh &mesh, const std::set< SubdomainID > &block_ids)
void setFunctor(const MooseMesh &mesh, const std::set< SubdomainID > &block_ids, PolymorphicLambda my_lammy)
Set the functor that will be used in calls to evaluate overloads.
const FaceInfo * fi
a face information object which defines our location in space
const MooseMesh & _mesh
The mesh that this functor operates on.
std::function< T(const Moose::ElemArg &, const Moose::StateArg &)> ElemFn
const libMesh::Elem * elem
MooseMesh wraps a libMesh::Mesh object and enhances its capabilities by caching additional data and s...
Definition: MooseMesh.h:93
const Elem & neighbor() const
Definition: FaceInfo.h:220
const libMesh::Elem * elem
A structure that is used to evaluate Moose functors logically at an element/cell center.
std::string subdomainNameAndID(SubdomainID sub_id) const
Format a subdomain ID with its name, when available.
Argument for requesting functor evaluation at a quadrature point location in an element.
const libMesh::Elem * elem
The element.
std::string stringify(const T &t)
conversion to string
Definition: Conversion.h:64
std::function< T(const Moose::ElemSideQpArg &, const Moose::StateArg &)> ElemSideQpFn
bool supportsElemSideQpArg() const override final
Whether this functor supports evaluation with ElemSideQpArg.
std::function< T(const Moose::FaceArg &, const Moose::StateArg &)> FaceFn
const SubdomainID ANY_BLOCK_ID
Definition: MooseTypes.C:19
subdomain_id_type subdomain_id() const
std::function< T(const Moose::ElemQpArg &, const Moose::StateArg &)> ElemQpFn
bool hasBlocks(SubdomainID id) const override
Returns whether the functor is defined on this block.
State argument for evaluating functors.
MOOSE now contains C++17 code, so give a reasonable error message stating what the user can do to add...
bool isExtrapolatedBoundaryFace(const FaceInfo &fi, const Elem *elem, const Moose::StateArg &time) const override
Returns whether this (sided) face is an extrapolated boundary face for this functor.
const libMesh::Elem * elem
The element.
void interpolate(InterpMethod m, T &result, const T2 &value1, const T3 &value2, const FaceInfo &fi, const bool one_is_elem)
Provides interpolation of face values for non-advection-specific purposes (although it can/will still...
Definition: MathFVUtils.h:285
Argument for requesting functor evaluation at quadrature point locations on an element side...
const RemoteElem * remote_elem