Class NmlFunction


  • public final class NmlFunction
    extends java.lang.Object
    • Constructor Detail

      • NmlFunction

        public NmlFunction​(java.lang.String name,
                           java.util.Map<java.lang.String,​Primitive> params,
                           Type type)
    • Method Detail

      • getName

        public java.lang.String getName()
      • getParameters

        public java.util.Map<java.lang.String,​Primitive> getParameters()
      • getParameterList

        public java.util.List<Primitive> getParameterList()
      • getValueType

        public Type getValueType()
      • getDefinition

        public ru.ispras.fortress.solver.function.Function getDefinition()
      • getBody

        public Expr getBody()
      • setBody

        public void setBody​(Expr e)
      • isDefined

        public boolean isDefined()