RetroSearch Browse

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

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

Z3: Params Class Reference

A Params objects represents a configuration in the form of Symbol/value pairs. More...

Params Add (Symbol name, bool value) Adds a parameter setting. More...
Params Add (Symbol name, uint value) Adds a parameter setting. More...
Params Add (Symbol name, double value) Adds a parameter setting. More...
Params Add (Symbol name, string value) Adds a parameter setting. More...
Params Add (Symbol name, Symbol value) Adds a parameter setting. More...
Params Add (string name, bool value) Adds a parameter setting. More...
Params Add (string name, uint value) Adds a parameter setting. More...
Params Add (string name, double value) Adds a parameter setting. More...
Params Add (string name, Symbol value) Adds a parameter setting. More...
Params Add (string name, string value) Adds a parameter setting. More...
override string ToString () A string representation of the parameter set. More...
void Dispose () Disposes of the underlying native Z3 object. More...

A Params objects represents a configuration in the form of Symbol/value pairs.

Definition at line 28 of file Params.cs.

◆ Add() [1/10] Params Add ( string name, bool value ) inline

Adds a parameter setting.

Definition at line 90 of file Params.cs.

92

Native.Z3_params_set_bool(

Context

.nCtx, NativeObject,

Context

MkSymbol

(name).NativeObject, (

byte

)(value ? 1 : 0));

IntSymbol MkSymbol(int i)

Creates a new symbol using an integer.

Context Context

Access Context object

◆ Add() [2/10] Params Add ( string name, double value ) inline

Adds a parameter setting.

Definition at line 108 of file Params.cs.

◆ Add() [3/10] Params Add ( string name, string value ) inline

Adds a parameter setting.

Definition at line 128 of file Params.cs.

130

Debug.Assert(name !=

null

);

131

Debug.Assert(value !=

null

);

◆ Add() [4/10]

Adds a parameter setting.

Definition at line 117 of file Params.cs.

119

Debug.Assert(value !=

null

);

121

Native.Z3_params_set_symbol(

Context

.nCtx, NativeObject,

Context

MkSymbol

(name).NativeObject, value.NativeObject);

◆ Add() [5/10] Params Add ( string name, uint value ) inline

Adds a parameter setting.

Definition at line 99 of file Params.cs.

◆ Add() [6/10]

Adds a parameter setting.

Definition at line 33 of file Params.cs.

35

Debug.Assert(name !=

null

);

37

Native.Z3_params_set_bool(

Context

.nCtx, NativeObject, name.NativeObject, (

byte

)(value ? 1 : 0));

Referenced by Optimize.Set(), and Solver.Set().

◆ Add() [7/10]

Adds a parameter setting.

Definition at line 55 of file Params.cs.

57

Debug.Assert(name !=

null

);

59

Native.Z3_params_set_double(

Context

.nCtx, NativeObject, name.NativeObject, value);

◆ Add() [8/10]

Adds a parameter setting.

Definition at line 66 of file Params.cs.

68

Debug.Assert(value !=

null

);

70

Native.Z3_params_set_symbol(

Context

.nCtx, NativeObject, name.NativeObject,

Context

MkSymbol

(value).NativeObject);

◆ Add() [9/10]

Adds a parameter setting.

Definition at line 77 of file Params.cs.

79

Debug.Assert(name !=

null

);

80

Debug.Assert(value !=

null

);

82

Native.Z3_params_set_symbol(

Context

.nCtx, NativeObject, name.NativeObject, value.NativeObject);

◆ Add() [10/10]

Adds a parameter setting.

Definition at line 44 of file Params.cs.

46

Debug.Assert(name !=

null

);

48

Native.Z3_params_set_uint(

Context

.nCtx, NativeObject, name.NativeObject, value);

◆ ToString() override string ToString ( ) inline

A string representation of the parameter set.

Definition at line 140 of file Params.cs.

142 return

Native.Z3_params_to_string(

Context

.nCtx, NativeObject);

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