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

Function declarations can have Parameters associated with them. More...

Properties

int Int [get]
 The int value of the parameter.
double Double [get]
 The double value of the parameter.
Symbol Symbol [get]
 The Symbol value of the parameter.
Sort Sort [get]
 The Sort value of the parameter.
AST AST [get]
 The AST value of the parameter.
FuncDecl FuncDecl [get]
 The FunctionDeclaration value of the parameter.
string Rational [get]
 The rational string value of the parameter.
Z3_parameter_kind ParameterKind [get]
 The kind of the parameter.

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.

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.

Symbol Symbol [get]

The Symbol value of the parameter.

Definition at line 226 of file FuncDecl.cs.

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines