MimIR 0.1
MimIR is my Intermediate Representation
|
Go to the source code of this file.
Namespaces | |
namespace | mim |
namespace | mim::plug |
namespace | mim::plug::autodiff |
The automatic differentiation Plugin | |
Functions | |
%autodiff.Tangent | |
const Def * | mim::plug::autodiff::tangent_type_fun (const Def *) |
%autodiff.zero | |
const Def * | mim::plug::autodiff::zero_def (const Def *T) |
const Def * | mim::plug::autodiff::zero_pullback (const Def *E, const Def *A) |
%autodiff.sum | |
const Def * | mim::plug::autodiff::op_sum (const Def *T, Defs) |
Helpers | |
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 Def * | mim::plug::autodiff::id_pullback (const Def *) |
const Pi * | mim::plug::autodiff::autodiff_type_fun_pi (const Pi *) |
const Def * | mim::plug::autodiff::autodiff_type_fun (const Def *) |