public final class FormulaBuilder
extends java.lang.Object
Constructor and Description |
---|
FormulaBuilder() |
Modifier and Type | Method and Description |
---|---|
static MirContext |
buildMir(java.lang.String name,
MirArchive archive,
java.util.List<MirContext> body) |
static MirContext |
buildMir(java.lang.String name,
Model m,
MirArchive archive,
java.util.List<IsaPrimitive> insns) |
public static MirContext buildMir(java.lang.String name, Model m, MirArchive archive, java.util.List<IsaPrimitive> insns)
public static MirContext buildMir(java.lang.String name, MirArchive archive, java.util.List<MirContext> body)