autodiff.cpp File Reference

#include "mim/plug/autodiff/autodiff.h"
#include <mim/config.h>
#include <mim/phase.h>
#include <mim/plug/mem/mem.h>
#include "mim/plug/autodiff/pass/eval.h"

Include dependency graph for autodiff.cpp:

Go to the source code of this file.

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

Functions
void	reg_stages (Flags2Stages &stages)
Plugin	mim_get_plugin ()
Helpers
const Def *	mim::plug::autodiff::id_pullback (const Def *)
const Pi *	mim::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 Pi *	mim::plug::autodiff::autodiff_type_fun_pi (const Pi *)
const Def *	mim::plug::autodiff::autodiff_type_fun (const Def *)
%autodiff.zero
const Def *	mim::plug::autodiff::zero_pullback (const Def *E, const Def *A)
const Def *	mim::plug::autodiff::zero_def (const Def *T)
%autodiff.Tangent
const Def *	mim::plug::autodiff::tangent_type_fun (const Def *)
%autodiff.sum
const Def *	mim::plug::autodiff::op_sum (const Def *T, Defs)

Function Documentation

mim_get_plugin()

Plugin mim_get_plugin

(

)

Definition at line 25 of file autodiff.cpp.

References MIM_EXPORT, reg_stages(), and mim::plug::autodiff::register_normalizers().

reg_stages()

void reg_stages

(

Flags2Stages &

stages

)

Definition at line 14 of file autodiff.cpp.

References mim::Stage::hook(), mim::Axm::isa(), MIM_REPL, and mim::plug::autodiff::zero_def().