Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_func_decl_1_1_parameter.html below:

Z3: FuncDecl.Parameter Class Reference

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

Function declarations can have Parameters associated with them.

Definition at line 207 of file FuncDecl.cs.

The AST value of the parameter.

Definition at line 227 of file FuncDecl.cs.

Z3_parameter_kind ParameterKind

The kind of the parameter.

Z3_parameter_kind

The different kinds of parameters that can be associated with function symbols.

The double value of the parameter.

Definition at line 221 of file FuncDecl.cs.

The FunctionDeclaration value of the parameter.

Definition at line 229 of file FuncDecl.cs.

{

{

(

!=

.Z3_PARAMETER_FUNC_DECL)

Z3Exception(

);

fd; } }

The int value of the parameter.

Definition at line 219 of file FuncDecl.cs.

The kind of the parameter.

Definition at line 236 of file FuncDecl.cs.

{

{

kind; } }

The rational string value of the parameter.

Definition at line 231 of file FuncDecl.cs.

{

{

(

!=

.Z3_PARAMETER_RATIONAL)

Z3Exception(

);

r; } }

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4