FuncDecl.Parameter (z3-turnkey 4.10.1 API)

java.lang.Object
- com.microsoft.z3.FuncDecl.Parameter

Enclosing class:

FuncDecl<R extends Sort>
```
public static class FuncDecl.Parameter
extends Object
```
Function declarations can have Parameters associated with them.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`AST`	`getAST()`	The AST value of the parameter.
`double`	`getDouble()`	The double value of the parameter.
`FuncDecl<?>`	`getFuncDecl()`	The FunctionDeclaration value of the parameter.
`int`	`getInt()`	The int value of the parameter.
`Z3_parameter_kind`	`getParameterKind()`	The kind of the parameter.
`String`	`getRational()`	The rational string value of the parameter.
`Sort`	`getSort()`	The Sort value of the parameter.
`Symbol`	`getSymbol()`	The Symbol value of the parameter.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getInt
```
public int getInt()
```
    The int value of the parameter.
  - getDouble
```
public double getDouble()
```
    The double value of the parameter.
  - getSymbol
```
public Symbol getSymbol()
```
    The Symbol value of the parameter.
  - getSort
```
public Sort getSort()
```
    The Sort value of the parameter.
  - getAST
```
public AST getAST()
```
    The AST value of the parameter.
  - getFuncDecl
```
public FuncDecl<?> getFuncDecl()
```
    The FunctionDeclaration value of the parameter.
  - getRational
```
public String getRational()
```
    The rational string value of the parameter.
  - getParameterKind
```
public Z3_parameter_kind getParameterKind()
```
    The kind of the parameter.