RetroSearch Browse

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

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

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

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

void Z3_API Z3_param_descrs_dec_ref(Z3_context c, Z3_param_descrs p)

Decrement the reference counter of the given parameter description set.

◆ documentation() std::string documentation ( symbol const & s ) inline

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

Z3_error_code check_error() const

Z3_string Z3_API Z3_param_descrs_get_documentation(Z3_context c, Z3_param_descrs p, Z3_symbol s)

Retrieve documentation string corresponding to parameter name s.

◆ global_param_descrs()

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

param_descrs(context &c, Z3_param_descrs d)

Z3_param_descrs Z3_API Z3_get_global_param_descrs(Z3_context c)

Retrieve description of global parameters.

◆ kind() ◆ name() ◆ operator=()

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

508

m_descrs = o.m_descrs;

509

object::operator=(o);

◆ simplify_param_descrs()

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

Z3_param_descrs Z3_API Z3_simplify_get_param_descrs(Z3_context c)

Return the parameter description set for the simplify procedure.

◆ size() ◆ to_string() std::string to_string ( ) const inline

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

Z3_string Z3_API Z3_param_descrs_to_string(Z3_context c, Z3_param_descrs p)

Convert a parameter description set into a string. This function is mainly used for printing the cont...

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