libdune-grid-doc/doxygen/a04453.html

template<class G>

concept Dune::Concept::Geometry =  requires(const G g, typename G::GlobalCoordinate global, typename G::LocalCoordinate local)

{

  typename G::ctype;

  { G::mydimension                     } -> std::convertible_to<int>;

  { G::coorddimension                  } -> std::convertible_to<int>;

  { g.type()                           } -> std::same_as<Dune::GeometryType>;

  { g.affine()                         } -> std::convertible_to<bool>;

  { g.corners()                        } -> std::convertible_to<int>;

  { g.corner( int{})              } -> std::convertible_to<typename G::GlobalCoordinate>;

  { g.global(local)                    } -> std::convertible_to<typename G::GlobalCoordinate>;

  { g.local(global)                    } -> std::convertible_to<typename G::LocalCoordinate>;

  { g.integrationElement(local)        } -> std::convertible_to<typename G::Volume>;

  { g.volume()                         } -> std::convertible_to<typename G::Volume>;

  { g.center()                         } -> std::convertible_to<typename G::GlobalCoordinate>;

  { g.jacobian(local)                  } -> std::convertible_to<typename G::Jacobian>;

  { g.jacobianInverse(local)           } -> std::convertible_to<typename G::JacobianInverse>;

  { g.jacobianTransposed(local)        } -> std::convertible_to<typename G::JacobianTransposed>;

  { g.jacobianInverseTransposed(local) } -> std::convertible_to<typename G::JacobianInverseTransposed>;

  { referenceElement(g)                } -> ReferenceElement;

}

Dune::referenceElement
auto referenceElement(const Geometry< mydim, cdim, GridImp, GeometryImp > &geo) -> decltype(referenceElement(geo, geo.impl()))
Definition common/geometry.hh:558

Dune::Concept::Geometry
Model of a geometry object.
Definition concepts/geometry.hh:29