Z3
Data Structures | Public Member Functions
Params Class Reference

A Params objects 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 Params objects represents a configuration in the form of Symbol/value pairs.

Definition at line 29 of file Params.cs.

Member Function Documentation

§ Add() [1/10]

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  }

§ Add() [2/10]

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  }

§ Add() [3/10]

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  }

§ Add() [4/10]

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:91

§ Add() [5/10]

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  }

§ Add() [6/10]

void Add ( string  name,
bool  value 
)
inline

Adds a parameter setting.

Definition at line 86 of file Params.cs.

87  {
88  Native.Z3_params_set_bool(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, (value) ? 1 : 0);
89  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:91

§ Add() [7/10]

void Add ( string  name,
uint  value 
)
inline

Adds a parameter setting.

Definition at line 94 of file Params.cs.

95  {
96  Native.Z3_params_set_uint(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
97  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:91

§ Add() [8/10]

void Add ( string  name,
double  value 
)
inline

Adds a parameter setting.

Definition at line 102 of file Params.cs.

103  {
104  Native.Z3_params_set_double(Context.nCtx, NativeObject, Context.MkSymbol(name).NativeObject, value);
105  }
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
Definition: Context.cs:91

§ Add() [9/10]

void Add ( string  name,
Symbol  value 
)
inline

Adds a parameter setting.

Definition at line 110 of file Params.cs.

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

§ Add() [10/10]

void Add ( string  name,
string  value 
)
inline

Adds a parameter setting.

Definition at line 120 of file Params.cs.

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

§ ToString()

override string ToString ( )
inline

A string representation of the parameter set.

Definition at line 131 of file Params.cs.

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