Class NmlToSmtTranslator.FunctionBuilder
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.NmlToSmtTranslator.FunctionBuilder
-
- Enclosing class:
- NmlToSmtTranslator
public static final class NmlToSmtTranslator.FunctionBuilder extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description FunctionBuilder(ru.ispras.fortress.data.types.TypeVariant stateTy, MirContext mir, java.util.Map<java.lang.String,ru.ispras.fortress.solver.function.Function> funcs)
FunctionBuilder(ru.ispras.fortress.data.types.TypeVariant stateTy, MirContext mir, java.util.Map<java.lang.String,ru.ispras.fortress.solver.function.Function> funcs, java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> overrides)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.fortress.solver.function.Function
buildFunctionOutput(java.lang.String name)
-
-
-
Constructor Detail
-
FunctionBuilder
public FunctionBuilder(ru.ispras.fortress.data.types.TypeVariant stateTy, MirContext mir, java.util.Map<java.lang.String,ru.ispras.fortress.solver.function.Function> funcs)
-
FunctionBuilder
public FunctionBuilder(ru.ispras.fortress.data.types.TypeVariant stateTy, MirContext mir, java.util.Map<java.lang.String,ru.ispras.fortress.solver.function.Function> funcs, java.util.Map<java.lang.String,ru.ispras.fortress.expression.Node> overrides)
-
-