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