Z3
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 AST
get

The AST value of the parameter.

Definition at line 230 of file FuncDecl.cs.

§ Double

double Double
get

The double value of the parameter.

Definition at line 224 of file FuncDecl.cs.

§ FuncDecl

The FunctionDeclaration value of the parameter.

Definition at line 232 of file FuncDecl.cs.

§ Int

int Int
get

The int value of the parameter.

Definition at line 222 of file FuncDecl.cs.

§ ParameterKind

Z3_parameter_kind ParameterKind
get

The kind of the parameter.

Definition at line 239 of file FuncDecl.cs.

§ Rational

string Rational
get

The rational string value of the parameter.

Definition at line 234 of file FuncDecl.cs.

§ Sort

Sort Sort
get

The Sort value of the parameter.

Definition at line 228 of file FuncDecl.cs.

§ Symbol

The Symbol value of the parameter.

Definition at line 226 of file FuncDecl.cs.