RetroSearch Browse

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

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

◆ params() [1/2] ◆ params() [2/2] ◆ ~params()

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

void Z3_API Z3_params_dec_ref(Z3_context c, Z3_params p)

Decrement the reference counter of the given parameter set.

◆ operator Z3_params() operator Z3_params ( ) const inline ◆ operator=()

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

535

object::operator=(s);

536

m_params = s.m_params;

◆ set() [1/5] void set ( char const * k, bool b ) inline

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

void Z3_API Z3_params_set_bool(Z3_context c, Z3_params p, Z3_symbol k, bool v)

Add a Boolean parameter k with value v to the parameter set p.

Referenced by solver::set().

◆ set() [2/5] void set ( char const * k, char const * s ) inline

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

void Z3_API Z3_params_set_symbol(Z3_context c, Z3_params p, Z3_symbol k, Z3_symbol v)

Add a symbol parameter k with value v to the parameter set p.

◆ set() [3/5] void set ( char const * k, double n ) inline

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

void Z3_API Z3_params_set_double(Z3_context c, Z3_params p, Z3_symbol k, double v)

Add a double parameter k with value v to the parameter set p.

◆ set() [4/5] void set ( char const * k, symbol const & s ) inline ◆ set() [5/5] void set ( char const * k, unsigned n ) inline

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

void Z3_API Z3_params_set_uint(Z3_context c, Z3_params p, Z3_symbol k, unsigned v)

Add a unsigned parameter k with value v to the parameter set p.

◆ operator<< std::ostream& operator<< ( std::ostream & out, params const & p ) friend

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

Z3_string Z3_API Z3_params_to_string(Z3_context c, Z3_params p)

Convert a parameter set into a string. This function is mainly used for printing the contents of a pa...

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