Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Data Structures | Public Member Functions
Params Class Reference

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

+ Inheritance diagram for Params:

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, 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.
 
override string ToString ()
 A string representation of the parameter set.
 
- Public Member Functions inherited from Z3Object
void Dispose ()
 Disposes of the underlying native Z3 object.
 

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,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 64 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 75 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 83 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 91 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 99 of file Params.cs.

{
Contract.Requires(value != null);
Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value.NativeObject);
}
override string ToString ( )
inline

A string representation of the parameter set.

Definition at line 109 of file Params.cs.

{
return Native.Z3_params_to_string(Context.nCtx, NativeObject);
}