autodiff.cpp File Reference

#include "mim/plug/autodiff/autodiff.h"
#include <algorithm>
#include <mim/config.h>
#include <mim/phase.h>
#include <mim/plug/mem/mem.h>
#include "mim/plug/autodiff/phase/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
static void	reg_phases (Flags2Phases &phases)
	MIM_PLUGIN_ENTRY (autodiff)
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_PLUGIN_ENTRY()

MIM_PLUGIN_ENTRY

(

autodiff

)

Definition at line 27 of file autodiff.cpp.

References MIM_PLUGIN_ENTRY, reg_phases(), and mim::plug::autodiff::register_normalizers().

reg_phases()

void reg_phases ( Flags2Phases & phases )

static

Definition at line 16 of file autodiff.cpp.

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

Referenced by MIM_PLUGIN_ENTRY(), and reg_phases().