MimIR 0.1
MimIR is my Intermediate Representation
Loading...
Searching...
No Matches
matrix.h File Reference
Include dependency graph for matrix.h:
This graph shows which files directly or indirectly include this file:

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 Defmim::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 Defmim::plug::matrix::op_read (Ref mem, Ref matrix, Ref idx)
 

Macro Definition Documentation

◆ INTERNAL_PREFIX

#define INTERNAL_PREFIX   "internal_mapRed_"

Definition at line 10 of file matrix.h.

Referenced by mim_get_plugin().