Class NmlFunction
- java.lang.Object
-
- ru.ispras.microtesk.translator.nml.ir.shared.NmlFunction
-
public final class NmlFunction extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description NmlFunction(java.lang.String name, java.util.Map<java.lang.String,Primitive> params, Type type)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Expr
getBody()
ru.ispras.fortress.solver.function.Function
getDefinition()
java.lang.String
getName()
java.util.List<Primitive>
getParameterList()
java.util.Map<java.lang.String,Primitive>
getParameters()
Type
getValueType()
boolean
isDefined()
void
setBody(Expr e)
-
-
-
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()
-
-