RetroSearch Browse

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

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

Z3: config Class Reference

Z3 global configuration object. More...

config () ~config () operator Z3_config () const void set (char const *param, char const *value) Set global parameter param with string value. More...
void set (char const *param, bool value) Set global parameter param with Boolean value. More...
void set (char const *param, int value) Set global parameter param with integer value. More...

Z3 global configuration object.

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

◆ config()

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

Z3_config Z3_API Z3_mk_config(void)

Create a configuration object for the Z3 context object.

◆ ~config()

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

void Z3_API Z3_del_config(Z3_config c)

Delete the given configuration object.

◆ operator Z3_config() operator Z3_config ( ) const inline ◆ set() [1/3] void set ( char const * param, bool value ) inline

Set global parameter param with Boolean value.

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

void Z3_API Z3_set_param_value(Z3_config c, Z3_string param_id, Z3_string param_value)

Set a configuration parameter.

◆ set() [2/3] void set ( char const * param, char const * value ) inline

Set global parameter param with string value.

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

◆ set() [3/3] void set ( char const * param, int value ) inline

Set global parameter param with integer value.

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

130 auto

str = std::to_string(value);

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