Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <cstddef>
       7             : 
       8             : #include "DataStructures/Tensor/IndexType.hpp"
       9             : 
      10             : class DataVector;
      11             : 
      12             : namespace Ccz4 {
      13             : /// \brief Tags for the CCZ4 formulation of Einstein equations
      14             : namespace Tags {
      15             : // Quantities of interest
      16             : template <typename DataType>
      17             : struct ConformalFactor;
      18             : template <typename DataType>
      19             : struct ConformalFactorSquared;
      20             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      21             : struct ATilde;
      22             : template <typename DataType>
      23             : struct TraceATilde;
      24             : template <typename DataType>
      25             : struct LogLapse;
      26             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      27             : struct FieldA;
      28             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      29             : struct FieldB;
      30             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      31             : struct FieldD;
      32             : template <typename DataType>
      33             : struct LogConformalFactor;
      34             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      35             : struct FieldP;
      36             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      37             : struct FieldDUp;
      38             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      39             : struct ConformalChristoffelSecondKind;
      40             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      41             : struct DerivConformalChristoffelSecondKind;
      42             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      43             : struct ChristoffelSecondKind;
      44             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      45             : struct Ricci;
      46             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      47             : struct GradGradLapse;
      48             : template <typename DataType>
      49             : struct DivergenceLapse;
      50             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      51             : struct ContractedConformalChristoffelSecondKind;
      52             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      53             : struct DerivContractedConformalChristoffelSecondKind;
      54             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      55             : struct GammaHat;
      56             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      57             : struct SpatialZ4Constraint;
      58             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      59             : struct SpatialZ4ConstraintUp;
      60             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      61             : struct GradSpatialZ4Constraint;
      62             : template <typename DataType>
      63             : struct RicciScalarPlusDivergenceZ4Constraint;
      64             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      65             : struct AuxiliaryShiftB;
      66             : template <typename DataType>
      67             : struct K0;
      68             : template <typename DataType>
      69             : struct Eta;
      70             : struct GammaDriverParam;
      71             : struct Kappa1;
      72             : struct Kappa2;
      73             : struct Kappa3;
      74             : struct EvolveLapseAndShift;
      75             : struct ConstrainedEvolution;
      76             : struct KreissOligerEpsilon;
      77             : 
      78             : // Temporary expressions for computing above quantities of interest
      79             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      80             : struct GammaHatMinusContractedConformalChristoffel;
      81             : template <typename DataType>
      82             : struct KMinus2ThetaC;
      83             : template <typename DataType>
      84             : struct KMinusK0Minus2ThetaC;
      85             : template <typename DataType>
      86             : struct ContractedFieldB;
      87             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      88             : struct ConformalMetricTimesFieldB;
      89             : template <typename DataType>
      90             : struct LapseTimesRicciScalarPlus2DivergenceZ4Constraint;
      91             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      92             : struct ConformalMetricTimesTraceATilde;
      93             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      94             : struct LapseTimesATilde;
      95             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      96             : struct FieldDUpTimesATilde;
      97             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
      98             : struct LapseTimesDerivATilde;
      99             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     100             : struct InverseConformalMetricTimesDerivATilde;
     101             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     102             : struct ATildeMinusOneThirdConformalMetricTimesTraceATilde;
     103             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     104             : struct LapseTimesFieldA;
     105             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     106             : struct ShiftTimesDerivGammaHat;
     107             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     108             : struct InverseTauTimesConformalMetric;
     109             : template <typename DataType>
     110             : struct LapseTimesSlicingCondition;
     111             : template <typename DataType>
     112             : struct DetConformalSpatialMetric;
     113             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     114             : struct InvATilde;
     115             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     116             : struct ATildeTimesFieldB;
     117             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     118             : struct SymmetrizedDerivFieldB;
     119             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     120             : struct ContractedSymmetrizedDerivFieldB;
     121             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     122             : struct ContractedFieldDUp;
     123             : template <typename DataType>
     124             : struct HalfConformalFactorSquared;
     125             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     126             : struct DerivGammaHatMinusContractedConformalChristoffel;
     127             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     128             : struct ContractedChristoffelSecondKind;
     129             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     130             : struct ContractedDerivConformalChristoffelDifference;
     131             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     132             : struct LapseTimesConformalMetric;
     133             : template <typename DataType, size_t Dim, typename Frame = Frame::Inertial>
     134             : struct SpatialRicciTensor;
     135             : }  // namespace Tags
     136             : 
     137             : /// \brief Input option tags for the CCZ4 evolution system
     138             : namespace OptionTags {
     139             : struct Group;
     140             : }  // namespace OptionTags
     141             : }  // namespace Ccz4