Searched refs:imatrix (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | imatrix.h | 31 FILE: imatrix.h
44 } imatrix; typedef in typeref:struct:_imatrix
47 extern imatrix* imatrixNew(int);
48 extern void imatrixDelete(imatrix*);
49 extern void imatrixFPrint(imatrix*,FILE *);
50 extern void imatrixPrint(imatrix*);
51 extern void imatrixSet(imatrix*,int,int);
52 extern void imatrixClr(imatrix*,int,int);
53 extern int imatrixDepends(imatrix*,int,int);
|
| H A D | imatrix.c | 31 FILE: imatrix.cc
40 #include "imatrix.h"
45 imatrix* imatrixNew(int size)
47 imatrix *mtx = NEW(imatrix,1);
78 void imatrixDelete(imatrix *mtx)
91 void imatrixFPrint(imatrix *mtx, FILE *ofile)
110 void imatrixPrint(imatrix *mtx)
116 void imatrixSet(imatrix *mtx, int a, int b)
122 void imatrixClr(imatrix *mt
[all...] |
| H A D | makefile | 7 OBJ = bddio.o bddop.o bvec.o cache.o fdd.o imatrix.o kernel.o \
9 CFILES = bddio.c bddop.c bvec.c cache.c fdd.c imatrix.c kernel.c \
|
| H A D | reorder.c | 44 #include "imatrix.h"
92 static imatrix *iactmtx;
|
Completed in 29 milliseconds