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);
85 public void Add(
string name,
bool value)
93 public void Add(
string name, uint value)
101 public void Add(
string name,
double value)
111 Contract.Requires(value != null);
119 public void Add(
string name,
string value)
121 Contract.Requires(value != null);
138 Contract.Requires(ctx != null);
143 public override void IncRef(Context ctx, IntPtr obj)
145 Native.Z3_params_inc_ref(ctx.nCtx, obj);
148 public override void DecRef(Context ctx, IntPtr obj)
150 Native.Z3_params_dec_ref(ctx.nCtx, obj);
154 internal override void IncRef(IntPtr o)
156 Context.Params_DRQ.IncAndClear(Context, o);
160 internal override void DecRef(IntPtr o)
162 Context.Params_DRQ.Add(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.
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 ParameterSet 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 void Z3_params_set_double(Z3_context a0, Z3_params a1, IntPtr a2, double a3)
Z3_params Z3_API Z3_mk_params(__in Z3_context c)
Create a Z3 (empty) parameter set. Starting at Z3 4.0, parameter sets are used to configure many comp...
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.
void Add(string name, double value)
Adds a parameter setting.