MimIR 0.1
MimIR is my Intermediate Representation
|
#include "mim/plug/autodiff/autodiff.h"
#include <mim/config.h>
#include <mim/pass/pass.h>
#include <mim/pass/pipelinebuilder.h>
#include <mim/plug/compile/pass/internal_cleanup.h>
#include <mim/plug/mem/mem.h>
#include "mim/plug/autodiff/pass/autodiff_eval.h"
#include "mim/plug/autodiff/pass/autodiff_zero.h"
#include "mim/plug/autodiff/pass/autodiff_zero_cleanup.h"
Go to the source code of this file.
Namespaces | |
namespace | mim |
namespace | mim::plug |
namespace | mim::plug::autodiff |
The automatic differentiation Plugin | |
Functions | |
MIM_EXPORT 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) |
MIM_EXPORT Plugin mim_get_plugin | ( | ) |
Definition at line 19 of file autodiff.cpp.
References mim::plug::autodiff::register_normalizers(), and mim::register_pass().