Public Member Functions | |
int | getInt () throws Z3Exception |
double | getDouble () throws Z3Exception |
Symbol | getSymbol () throws Z3Exception |
Sort | getSort () throws Z3Exception |
AST | getAST () throws Z3Exception |
FuncDecl | getFuncDecl () throws Z3Exception |
String | getRational () throws Z3Exception |
Z3_parameter_kind | getParameterKind () throws Z3Exception |
Function declarations can have Parameters associated with them.
Definition at line 212 of file FuncDecl.java.
|
inline |
The AST value of the parameter.
Definition at line 266 of file FuncDecl.java.
|
inline |
The double value of the parameter.
Definition at line 236 of file FuncDecl.java.
|
inline |
The FunctionDeclaration value of the parameter.
Definition at line 276 of file FuncDecl.java.
|
inline |
The int value of the parameter.
Definition at line 226 of file FuncDecl.java.
|
inline |
The kind of the parameter.
Definition at line 296 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 286 of file FuncDecl.java.
|
inline |
The Sort value of the parameter.
Definition at line 256 of file FuncDecl.java.
|
inline |
The Symbol value of the parameter.
Definition at line 246 of file FuncDecl.java.