|
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 *) |