Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
Properties
FuncDecl.Parameter Class Reference

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...
 

Detailed Description

Function declarations can have Parameters associated with them.

Definition at line 210 of file FuncDecl.cs.

Property Documentation

AST AST
get

The AST value of the parameter.

Definition at line 230 of file FuncDecl.cs.

double Double
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.

int Int
get

The int value of the parameter.

Definition at line 222 of file FuncDecl.cs.

Z3_parameter_kind ParameterKind
get

The kind of the parameter.

Definition at line 239 of file FuncDecl.cs.

string Rational
get

The rational string value of the parameter.

Definition at line 234 of file FuncDecl.cs.

Sort Sort
get

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.