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_tuple_sort.html below:

Z3: TupleSort Class Reference

Tuple sorts. More...

Inheritance diagram for TupleSort:

Tuple sorts.

Definition at line 28 of file TupleSort.cs.

The field declarations.

Definition at line 53 of file TupleSort.cs.

FuncDecl[] res =

FuncDecl[n];

(uint i = 0; i < n; i++)

res[i] =

FuncDecl(

, Native.Z3_get_tuple_sort_field_decl(

.nCtx, NativeObject, i));

uint NumFields

The number of fields in the tuple.

Context Context

Access Context object

The constructor function of the tuple.

Definition at line 33 of file TupleSort.cs.

FuncDecl(

, Native.Z3_get_tuple_sort_mk_decl(

.nCtx, NativeObject));

The number of fields in the tuple.

Definition at line 45 of file TupleSort.cs.

{

Native.Z3_get_tuple_sort_num_fields(

.nCtx, NativeObject); }

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