A ParameterSet represents a configuration in the form of Symbol/value pairs.
More...
Data Structures |
class | DecRefQueue |
Public Member Functions |
void | Add (Symbol name, bool value) |
| Adds a parameter setting.
|
void | Add (Symbol name, uint value) |
| Adds a parameter setting.
|
void | Add (Symbol name, double value) |
| Adds a parameter setting.
|
void | Add (Symbol name, string value) |
| Adds a parameter setting.
|
void | Add (Symbol name, Symbol value) |
| Adds a parameter setting.
|
void | Add (string name, bool value) |
| Adds a parameter setting.
|
void | Add (string name, uint value) |
| Adds a parameter setting.
|
void | Add (string name, double value) |
| Adds a parameter setting.
|
void | Add (string name, Symbol value) |
| Adds a parameter setting.
|
void | Add (string name, string value) |
| Adds a parameter setting.
|
override string | ToString () |
| A string representation of the parameter set.
|
Detailed Description
A ParameterSet represents a configuration in the form of Symbol/value pairs.
Definition at line 29 of file Params.cs.
Member Function Documentation
void Add |
( |
Symbol |
name, |
|
|
bool |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 34 of file Params.cs.
{
Contract.Requires(name != null);
Native.Z3_params_set_bool(Context.nCtx, NativeObject, name.NativeObject, (value) ? 1 : 0);
}
void Add |
( |
Symbol |
name, |
|
|
uint |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 44 of file Params.cs.
{
Contract.Requires(name != null);
Native.Z3_params_set_uint(Context.nCtx, NativeObject, name.NativeObject, value);
}
void Add |
( |
Symbol |
name, |
|
|
double |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 54 of file Params.cs.
{
Contract.Requires(name != null);
Native.Z3_params_set_double(Context.nCtx, NativeObject, name.NativeObject, value);
}
void Add |
( |
Symbol |
name, |
|
|
string |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 64 of file Params.cs.
{
Contract.Requires(value != null);
Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, Context.MkSymbol(value).NativeObject);
}
Adds a parameter setting.
Definition at line 74 of file Params.cs.
{
Contract.Requires(name != null);
Contract.Requires(value != null);
Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
}
void Add |
( |
string |
name, |
|
|
bool |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 85 of file Params.cs.
{
Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, (value) ? 1 : 0);
}
void Add |
( |
string |
name, |
|
|
uint |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 93 of file Params.cs.
{
Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
}
void Add |
( |
string |
name, |
|
|
double |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 101 of file Params.cs.
{
Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
}
void Add |
( |
string |
name, |
|
|
Symbol |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 109 of file Params.cs.
{
Contract.Requires(value != null);
Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value.NativeObject);
}
void Add |
( |
string |
name, |
|
|
string |
value |
|
) |
| [inline] |
Adds a parameter setting.
Definition at line 119 of file Params.cs.
{
Contract.Requires(value != null);
Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, Context.MkSymbol(value).NativeObject);
}
A string representation of the parameter set.
Definition at line 129 of file Params.cs.
{
return Native.Z3_params_to_string(Context.nCtx, NativeObject);
}