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));
◆ Add() [2/10]
Params Add |
( |
string |
name, |
|
|
double |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 108 of file Params.cs.
110 Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, value);
◆ 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);
133 Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, Context.
MkSymbol(value).NativeObject);
◆ 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.
101 Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, value);
◆ 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);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.