Class 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)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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)
    • Method Detail

      • buildFunctionOutput

        public ru.ispras.fortress.solver.function.Function buildFunctionOutput​(java.lang.String name)