21 using System.Diagnostics.Contracts;
28 [ContractVerification(
true)]
36 Contract.Requires(name != null);
46 Contract.Requires(name != null);
56 Contract.Requires(name != null);
66 Contract.Requires(value != null);
76 Contract.Requires(name != null);
77 Contract.Requires(value != null);
86 public void Add(
string name,
bool value)
94 public void Add(
string name, uint value)
102 public void Add(
string name,
double value)
112 Contract.Requires(value != null);
120 public void Add(
string name,
string value)
122 Contract.Requires(name != null);
123 Contract.Requires(value != null);
140 Contract.Requires(ctx != null);
145 public DecRefQueue() : base() { }
146 public DecRefQueue(uint move_limit) : base(move_limit) { }
147 internal override void IncRef(
Context ctx, IntPtr obj)
152 internal override void DecRef(
Context ctx, IntPtr obj)
158 internal override void IncRef(IntPtr o)
164 internal override void DecRef(IntPtr o)
static void Z3_params_set_uint(Z3_context a0, Z3_params a1, IntPtr a2, uint a3)
void Add(string name, uint value)
Adds a parameter setting.
void Add(Symbol name, bool value)
Adds a parameter setting.
IDecRefQueue Params_DRQ
Params DRQ
void Add(string name, string 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.
override string ToString()
A string representation of the parameter set.
void Add(string name, Symbol value)
Adds a parameter setting.
static string Z3_params_to_string(Z3_context a0, Z3_params a1)
void Add(string name, bool value)
Adds a parameter setting.
A Params objects represents a configuration in the form of Symbol/value pairs.
void Add(Symbol name, double value)
Adds a parameter setting.
static void Z3_params_set_symbol(Z3_context a0, Z3_params a1, IntPtr a2, IntPtr a3)
IntSymbol MkSymbol(int i)
Creates a new symbol using an integer.
The main interaction with Z3 happens via the Context.
static Z3_params Z3_mk_params(Z3_context a0)
static void Z3_params_set_double(Z3_context a0, Z3_params a1, IntPtr a2, double a3)
Internal base class for interfacing with native Z3 objects. Should not be used externally.
static void Z3_params_set_bool(Z3_context a0, Z3_params a1, IntPtr a2, int a3)
Symbols are used to name several term and type constructors.
void Add(Symbol name, uint value)
Adds a parameter setting.
static void Z3_params_inc_ref(Z3_context a0, Z3_params a1)
void Add(string name, double value)
Adds a parameter setting.
static void Z3_params_dec_ref(Z3_context a0, Z3_params a1)