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::matrix |
The matrix Plugin | |
Macros | |
#define | INTERNAL_PREFIX "internal_mapRed_" |
Functions | |
const Def * | mim::plug::matrix::zero_int (World &w, Ref n, Ref S, Ref mem, nat_t m) |
mat.zero: [n: Nat, S: «n; Nat», m: Nat] -> mat.Mat (n,S,(Idx m)); | |
const Def * | mim::plug::matrix::op_read (Ref mem, Ref matrix, Ref idx) |
#define INTERNAL_PREFIX "internal_mapRed_" |
Definition at line 11 of file matrix.h.
Referenced by mim_get_plugin().