matrix.h File Reference

#include <mim/world.h>
#include "mim/plug/matrix/autogen.h"

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

Functions
const Def *	mim::plug::matrix::zero_int (World &w, const Def *n, const Def *S, const Def *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 (const Def *mem, const Def *matrix, const Def *idx)

Variables
static constexpr auto	mim::plug::matrix::internal_prefix = "internal_mapRed_"