Function declarations can have Parameters associated with them. More...
Properties | |
int | Int [get] |
The int value of the parameter. More... | |
double | Double [get] |
The double value of the parameter. More... | |
Symbol | Symbol [get] |
The Symbol value of the parameter. More... | |
Sort | Sort [get] |
The Sort value of the parameter. More... | |
AST | AST [get] |
The AST value of the parameter. More... | |
FuncDecl | FuncDecl [get] |
The FunctionDeclaration value of the parameter. More... | |
string | Rational [get] |
The rational string value of the parameter. More... | |
Z3_parameter_kind | ParameterKind [get] |
The kind of the parameter. More... | |
Function declarations can have Parameters associated with them.
Definition at line 210 of file FuncDecl.cs.
The AST value of the parameter.
Definition at line 230 of file FuncDecl.cs.
|
get |
The double value of the parameter.
Definition at line 224 of file FuncDecl.cs.
The FunctionDeclaration value of the parameter.
Definition at line 232 of file FuncDecl.cs.
|
get |
The int value of the parameter.
Definition at line 222 of file FuncDecl.cs.
|
get |
The kind of the parameter.
Definition at line 239 of file FuncDecl.cs.
|
get |
The rational string value of the parameter.
Definition at line 234 of file FuncDecl.cs.
The Sort value of the parameter.
Definition at line 228 of file FuncDecl.cs.
The Symbol value of the parameter.
Definition at line 226 of file FuncDecl.cs.