A RetroSearch Logo

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

Search Query:

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

Z3: ParamDescrs Class Reference

A ParamDescrs describes a set of parameters. More...

A ParamDescrs describes a set of parameters.

Definition at line 28 of file ParamDescrs.cs.

◆ GetDocumentation() string GetDocumentation ( Symbol  name ) inline

Retrieve documentation of parameter.

Definition at line 51 of file ParamDescrs.cs.

53

Debug.Assert(name !=

null

);

54  return

Native.Z3_param_descrs_get_documentation(

Context

.nCtx, NativeObject, name.NativeObject);

Context Context

Access Context object

◆ GetKind()

Retrieve kind of parameter.

Definition at line 42 of file ParamDescrs.cs.

44

Debug.Assert(name !=

null

);

45  return

(

Z3_param_kind

)Native.Z3_param_descrs_get_kind(

Context

.nCtx, NativeObject, name.NativeObject);

Z3_param_kind

The different kinds of parameters that can be associated with parameter sets. (see Z3_mk_params).

◆ ToString() override string ToString ( ) inline

Retrieves a string representation of the ParamDescrs.

Definition at line 84 of file ParamDescrs.cs.

86  return

Native.Z3_param_descrs_to_string(

Context

.nCtx, NativeObject);

◆ Validate()

validate a set of parameters.

Definition at line 33 of file ParamDescrs.cs.

35

Debug.Assert(p !=

null

);

36

Native.Z3_params_validate(

Context

.nCtx, p.NativeObject, NativeObject);

◆ Names

Retrieve all names of parameters.

Definition at line 60 of file ParamDescrs.cs.

64

uint sz = Native.Z3_param_descrs_size(

Context

.nCtx, NativeObject);

65

Symbol[] names =

new

Symbol[sz];

66  for

(uint i = 0; i < sz; ++i) {

67

names[i] = Symbol.Create(

Context

, Native.Z3_param_descrs_get_name(

Context

.nCtx, NativeObject, i));

◆ Size

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