A Params objects represents a configuration in the form of Symbol/value pairs.
More...
|
void | Add (Symbol name, bool value) |
| Adds a parameter setting. More...
|
|
void | Add (Symbol name, uint value) |
| Adds a parameter setting. More...
|
|
void | Add (Symbol name, double value) |
| Adds a parameter setting. More...
|
|
void | Add (Symbol name, string value) |
| Adds a parameter setting. More...
|
|
void | Add (Symbol name, Symbol value) |
| Adds a parameter setting. More...
|
|
void | Add (string name, bool value) |
| Adds a parameter setting. More...
|
|
void | Add (string name, uint value) |
| Adds a parameter setting. More...
|
|
void | Add (string name, double value) |
| Adds a parameter setting. More...
|
|
void | Add (string name, Symbol value) |
| Adds a parameter setting. More...
|
|
void | 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 29 of file Params.cs.
§ Add() [1/10]
void Add |
( |
Symbol |
name, |
|
|
bool |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 34 of file Params.cs.
36 Contract.Requires(name != null);
38 Native.Z3_params_set_bool(Context.nCtx, NativeObject, name.NativeObject, (value) ? 1 : 0);
§ Add() [2/10]
void Add |
( |
Symbol |
name, |
|
|
uint |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 44 of file Params.cs.
46 Contract.Requires(name != null);
48 Native.Z3_params_set_uint(Context.nCtx, NativeObject, name.NativeObject, value);
§ Add() [3/10]
void Add |
( |
Symbol |
name, |
|
|
double |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 54 of file Params.cs.
56 Contract.Requires(name != null);
58 Native.Z3_params_set_double(Context.nCtx, NativeObject, name.NativeObject, value);
§ Add() [4/10]
void Add |
( |
Symbol |
name, |
|
|
string |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 64 of file Params.cs.
66 Contract.Requires(value != null);
68 Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, Context.
MkSymbol(value).NativeObject);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ Add() [5/10]
Adds a parameter setting.
Definition at line 74 of file Params.cs.
76 Contract.Requires(name != null);
77 Contract.Requires(value != null);
79 Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
§ Add() [6/10]
void Add |
( |
string |
name, |
|
|
bool |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 86 of file Params.cs.
88 Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, (value) ? 1 : 0);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ Add() [7/10]
void Add |
( |
string |
name, |
|
|
uint |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 94 of file Params.cs.
96 Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, value);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ Add() [8/10]
void Add |
( |
string |
name, |
|
|
double |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 102 of file Params.cs.
104 Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, value);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ Add() [9/10]
void Add |
( |
string |
name, |
|
|
Symbol |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 110 of file Params.cs.
112 Contract.Requires(value != null);
114 Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, value.NativeObject);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ Add() [10/10]
void Add |
( |
string |
name, |
|
|
string |
value |
|
) |
| |
|
inline |
Adds a parameter setting.
Definition at line 120 of file Params.cs.
122 Contract.Requires(name != null);
123 Contract.Requires(value != null);
125 Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.
MkSymbol(name).NativeObject, Context.
MkSymbol(value).NativeObject);
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
§ ToString()
override string ToString |
( |
| ) |
|
|
inline |
A string representation of the parameter set.
Definition at line 131 of file Params.cs.
133 return Native.Z3_params_to_string(Context.nCtx, NativeObject);