Public Member Functions | |
int | getInt () |
double | getDouble () |
Symbol | getSymbol () |
Sort | getSort () |
AST | getAST () |
FuncDecl | getFuncDecl () |
String | getRational () |
Z3_parameter_kind | getParameterKind () |
Function declarations can have Parameters associated with them.
Definition at line 206 of file FuncDecl.java.
|
inline |
The AST value of the parameter.
Definition at line 260 of file FuncDecl.java.
|
inline |
The double value of the parameter.
Definition at line 230 of file FuncDecl.java.
|
inline |
The FunctionDeclaration value of the parameter.
Definition at line 270 of file FuncDecl.java.
|
inline |
The int value of the parameter.
Definition at line 220 of file FuncDecl.java.
|
inline |
The kind of the parameter.
Definition at line 290 of file FuncDecl.java.
Referenced by FuncDecl.Parameter.getAST(), FuncDecl.Parameter.getDouble(), FuncDecl.Parameter.getFuncDecl(), FuncDecl.Parameter.getInt(), FuncDecl.Parameter.getRational(), FuncDecl.Parameter.getSort(), and FuncDecl.Parameter.getSymbol().
|
inline |
The rational string value of the parameter.
Definition at line 280 of file FuncDecl.java.
|
inline |
The Sort value of the parameter.
Definition at line 250 of file FuncDecl.java.
|
inline |
The Symbol value of the parameter.
Definition at line 240 of file FuncDecl.java.