autodiff.h

Go to the documentation of this file.

#pragma once
 
#include "mim/world.h"
 
#include "mim/plug/autodiff/autogen.h"
 
namespace mim::plug::autodiff {
 
/// @name %%autodiff.Tangent
///@{
const Def* tangent_type_fun(const Def*);
///@}
 
/// @name %%autodiff.zero
///@{
const Def* zero_def(const Def* T);
const Def* zero_pullback(const Def* E, const Def* A);
///@}
 
/// @name %%autodiff.sum
///@{
const Def* op_sum(const Def* T, Defs);
///@}
 
/// @name Helpers
///@{
const Pi* pullback_type(const Def* E, const Def* A);
const Def* id_pullback(const Def*);
const Pi* autodiff_type_fun_pi(const Pi*);
const Def* autodiff_type_fun(const Def*);
///@}
 
} // namespace mim::plug::autodiff