Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules 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. 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...
 
- Public Member Functions inherited from Z3Object
void Dispose ()
 Disposes of the underlying native Z3 object. More...
 

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.

35  {
36  Contract.Requires(name != null);
37 
38  Native.Z3_params_set_bool(Context.nCtx, NativeObject, name.NativeObject, (value) ? 1 : 0);
39  }
void Add ( Symbol  name,
uint  value 
)
inline

Adds a parameter setting.

Definition at line 44 of file Params.cs.

45  {
46  Contract.Requires(name != null);
47 
48  Native.Z3_params_set_uint(Context.nCtx, NativeObject, name.NativeObject, value);
49  }
void Add ( Symbol  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 54 of file Params.cs.

55  {
56  Contract.Requires(name != null);
57 
58  Native.Z3_params_set_double(Context.nCtx, NativeObject, name.NativeObject, value);
59  }
void Add ( Symbol  name,
string  value 
)
inline

Adds a parameter setting.

Definition at line 64 of file Params.cs.

65  {
66  Contract.Requires(value != null);
67 
68  Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, Context.MkSymbol(value).NativeObject);
69  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
void Add ( Symbol  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 74 of file Params.cs.

75  {
76  Contract.Requires(name != null);
77  Contract.Requires(value != null);
78 
79  Native.Z3_params_set_symbol(Context.nCtx, NativeObject, name.NativeObject, value.NativeObject);
80  }
void Add ( string  name,
bool  value 
)
inline

Adds a parameter setting.

Definition at line 85 of file Params.cs.

86  {
87  Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, (value) ? 1 : 0);
88  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
void Add ( string  name,
uint  value 
)
inline

Adds a parameter setting.

Definition at line 93 of file Params.cs.

94  {
95  Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
96  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
void Add ( string  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 101 of file Params.cs.

102  {
103  Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
104  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
void Add ( string  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 109 of file Params.cs.

110  {
111  Contract.Requires(value != null);
112 
113  Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value.NativeObject);
114  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
void Add ( string  name,
string  value 
)
inline

Adds a parameter setting.

Definition at line 119 of file Params.cs.

120  {
121  Contract.Requires(value != null);
122 
123  Native.Z3_params_set_symbol(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, Context.MkSymbol(value).NativeObject);
124  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:84
override string ToString ( )
inline

A string representation of the parameter set.

Definition at line 129 of file Params.cs.

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