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

Z3: Constructor Class Reference

Constructors are used for datatype sorts. More...

Constructors are used for datatype sorts.

Definition at line 28 of file Constructor.cs.

The function declarations of the accessors

Definition at line 74 of file Constructor.cs.

IntPtr constructor = IntPtr.Zero;

IntPtr tester = IntPtr.Zero;

IntPtr[] accessors =

IntPtr[n];

Native.Z3_query_constructor(

.nCtx, NativeObject, n, ref constructor, ref tester, accessors);

FuncDecl[] t =

FuncDecl[n];

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

t[i] =

FuncDecl(

, accessors[i]);

Context Context

Access Context object

The function declaration of the constructor.

Definition at line 44 of file Constructor.cs.

IntPtr constructor = IntPtr.Zero;

IntPtr tester = IntPtr.Zero;

IntPtr[] accessors =

IntPtr[n];

Native.Z3_query_constructor(

.nCtx, NativeObject, n, ref constructor, ref tester, accessors);

FuncDecl(

, constructor);

The number of fields of the constructor.

Definition at line 33 of file Constructor.cs.

The function declaration of the tester.

Definition at line 59 of file Constructor.cs.

IntPtr constructor = IntPtr.Zero;

IntPtr tester = IntPtr.Zero;

IntPtr[] accessors =

IntPtr[n];

Native.Z3_query_constructor(

.nCtx, NativeObject, n, ref constructor, ref tester, accessors);

FuncDecl(

, tester);

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