|
MimIR 0.1
MimIR is my Intermediate Representation
|
#include <memory>#include "mim/check.h"#include "mim/def.h"#include "mim/lam.h"#include "mim/lattice.h"#include "mim/rule.h"#include "mim/tuple.h"Go to the source code of this file.
Classes | |
| class | mim::Rewriter |
| Recurseivly rebuilds part of a program into the provided World w.r.t. Rewriter::map. More... | |
| class | mim::VarRewriter |
| class | mim::Zonker |
Namespaces | |
| namespace | mim |
Macros | |
rewrite | |
Recursively rewrite old Defs. | |
| #define | CODE_IMM(N) |
| #define | CODE_MUT(N) |
| #define CODE_IMM | ( | N | ) |
Definition at line 85 of file rewrite.h.
Referenced by mim::Rewriter::rewrite_imm().
| #define CODE_MUT | ( | N | ) |
Definition at line 86 of file rewrite.h.
Referenced by mim::Rewriter::rewrite_mut().