autodiff.h File Reference

#include "thorin/world.h"
#include "thorin/plug/autodiff/autogen.h"

Include dependency graph for autodiff.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	thorin
namespace	thorin::plug
namespace	thorin::plug::autodiff
	The automatic differentiation Plugin

Functions
%autodiff.Tangent
const Def *	thorin::plug::autodiff::tangent_type_fun (const Def *)
%autodiff.zero
const Def *	thorin::plug::autodiff::zero_def (const Def *T)
const Def *	thorin::plug::autodiff::zero_pullback (const Def *E, const Def *A)
%autodiff.sum
const Def *	thorin::plug::autodiff::op_sum (const Def *T, Defs)
Helpers
const Pi *	thorin::plug::autodiff::pullback_type (const Def *E, const Def *A)
	computes pb type E* -> A* E - type of the expression (return type for a function) A - type of the argument (point of orientation resp.
const Def *	thorin::plug::autodiff::id_pullback (const Def *)
const Pi *	thorin::plug::autodiff::autodiff_type_fun_pi (const Pi *)
const Def *	thorin::plug::autodiff::autodiff_type_fun (const Def *)