CoDiPack  2.2.0
A Code Differentiation Package
SciComp TU Kaiserslautern
Loading...
Searching...
No Matches
statementEvaluatorTapeInterface.hpp
1/*
2 * CoDiPack, a Code Differentiation Package
3 *
4 * Copyright (C) 2015-2024 Chair for Scientific Computing (SciComp), University of Kaiserslautern-Landau
5 * Homepage: http://scicomp.rptu.de
6 * Contact: Prof. Nicolas R. Gauger (codi@scicomp.uni-kl.de)
7 *
8 * Lead developers: Max Sagebaum, Johannes Blühdorn (SciComp, University of Kaiserslautern-Landau)
9 *
10 * This file is part of CoDiPack (http://scicomp.rptu.de/software/codi).
11 *
12 * CoDiPack is free software: you can redistribute it and/or
13 * modify it under the terms of the GNU General Public License
14 * as published by the Free Software Foundation, either version 3 of the
15 * License, or (at your option) any later version.
16 *
17 * CoDiPack is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty
19 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
20 *
21 * See the GNU General Public License for more details.
22 * You should have received a copy of the GNU
23 * General Public License along with CoDiPack.
24 * If not, see <http://www.gnu.org/licenses/>.
25 *
26 * For other licensing options please contact us.
27 *
28 * Authors:
29 * - SciComp, University of Kaiserslautern-Landau:
30 * - Max Sagebaum
31 * - Johannes Blühdorn
32 * - Former members:
33 * - Tim Albring
34 */
35#pragma once
36
37#include "../../misc/macros.hpp"
38#include "../../misc/memberStore.hpp"
39
41namespace codi {
42
54 template<typename T_Real>
56 public:
57
58 using Real = CODI_DD(T_Real, double);
59
60 /*******************************************************************************/
62
64 template<typename Expr, typename... Args>
65 static Real statementEvaluateForward(Args&&... args);
66
68 template<typename Expr, typename... Args>
69 static Real statementEvaluatePrimal(Args&&... args);
70
72 template<typename Expr, typename... Args>
73 static void statementEvaluateReverse(Args&&... args);
74 };
75
90 template<typename T_Real>
92 public:
93
94 using Real = CODI_DD(T_Real, double);
95
96 /*******************************************************************************/
98
100 template<typename Func, typename... Args>
101 static Real statementEvaluateForwardFull(Func const& inner, size_t const& maxActiveArgs,
102 size_t const& maxConstantArgs, Args&&... args);
103
105 template<typename Func, typename... Args>
106 static Real statementEvaluatePrimalFull(Func const& inner, size_t const& maxActiveArgs,
107 size_t const& maxConstantArgs, Args&&... args);
108
110 template<typename Func, typename... Args>
111 static void statementEvaluateReverseFull(Func const& inner, size_t const& maxActiveArgs,
112 size_t const& maxConstantArgs, Args&&... args);
113
115 template<typename Expr, typename... Args>
116 static Real statementEvaluateForwardInner(Args&&... args);
117
119 template<typename Expr, typename... Args>
120 static Real statementEvaluatePrimalInner(Args&&... args);
121
123 template<typename Expr, typename... Args>
124 static void statementEvaluateReverseInner(Args&&... args);
125 };
126}
#define CODI_DD(Type, Default)
Abbreviation for CODI_DECLARE_DEFAULT.
Definition macros.hpp:94
CoDiPack - Code Differentiation Package.
Definition codi.hpp:90
Tape side interface for StatementEvaluatorInterface.
Definition statementEvaluatorTapeInterface.hpp:91
static void statementEvaluateReverseFull(Func const &inner, size_t const &maxActiveArgs, size_t const &maxConstantArgs, Args &&... args)
Load the expression data and evaluate the expression in a reverse mode.
static Real statementEvaluatePrimalInner(Args &&... args)
Evaluate expression in a primal setting.
static Real statementEvaluateForwardInner(Args &&... args)
Evaluate expression in a forward mode.
static void statementEvaluateReverseInner(Args &&... args)
Evaluate expression in a reverse mode.
T_Real Real
See StatementEvaluatorInnerTapeInterface.
Definition statementEvaluatorTapeInterface.hpp:94
static Real statementEvaluatePrimalFull(Func const &inner, size_t const &maxActiveArgs, size_t const &maxConstantArgs, Args &&... args)
Load the expression data and evaluate the expression in a primal setting.
static Real statementEvaluateForwardFull(Func const &inner, size_t const &maxActiveArgs, size_t const &maxConstantArgs, Args &&... args)
Load the expression data and evaluate the expression in a forward mode.
Tape side interface for StatementEvaluatorInterface.
Definition statementEvaluatorTapeInterface.hpp:55
static Real statementEvaluatePrimal(Args &&... args)
Evaluate primal expression.
T_Real Real
See StatementEvaluatorTapeInterface.
Definition statementEvaluatorTapeInterface.hpp:58
static void statementEvaluateReverse(Args &&... args)
Evaluate expression in a reverse mode.
static Real statementEvaluateForward(Args &&... args)
Evaluate expression in a forward mode.