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 java.util.List<ru.ispras.fortress.expression.Node>
buildFormulas(Model model, java.util.List<IsaPrimitive> sequence)
-
-
-
Method Detail
-
buildFormulas
public static java.util.List<ru.ispras.fortress.expression.Node> buildFormulas(Model model, java.util.List<IsaPrimitive> sequence)
-
-