A RetroSearch Logo

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

Search Query:

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

Z3: constructor_list Class Reference

Definition at line 3534 of file z3++.h.

◆ constructor_list()

Definition at line 3588 of file z3++.h.

3589

array<Z3_constructor> cons(cs.size());

3590  for

(

unsigned

i = 0; i < cs.size(); ++i)

Z3_constructor_list Z3_API Z3_mk_constructor_list(Z3_context c, unsigned num_constructors, Z3_constructor const constructors[])

Create list of constructors.

◆ ~constructor_list()

Definition at line 3539 of file z3++.h.

void Z3_API Z3_del_constructor_list(Z3_context c, Z3_constructor_list clist)

Reclaim memory allocated for constructor list.

◆ operator Z3_constructor_list() operator Z3_constructor_list ( ) const inline

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