Class FormulaBuilder
- java.lang.Object
-
- ru.ispras.microtesk.tools.symexec.FormulaBuilder
-
public final class FormulaBuilder extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description FormulaBuilder()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static MirContext
buildMir(java.lang.String name, Model m, MirArchive archive, java.util.List<IsaPrimitive> insns)
static MirContext
buildMir(java.lang.String name, MirArchive archive, java.util.List<MirContext> body)
-
-
-
Method Detail
-
buildMir
public static MirContext buildMir(java.lang.String name, Model m, MirArchive archive, java.util.List<IsaPrimitive> insns)
-
buildMir
public static MirContext buildMir(java.lang.String name, MirArchive archive, java.util.List<MirContext> body)
-
-