21 using System.Diagnostics.Contracts;
28 [ContractVerification(
true)]
36 Contract.Requires(p != null);
45 Contract.Requires(name != null);
58 for (uint i = 0; i < sz; ++i) {
85 Contract.Requires(ctx != null);
90 public DecRefQueue() : base() { }
91 public DecRefQueue(uint move_limit) : base(move_limit) { }
92 internal override void IncRef(
Context ctx, IntPtr obj)
97 internal override void DecRef(
Context ctx, IntPtr obj)
103 internal override void IncRef(IntPtr o)
109 internal override void DecRef(IntPtr o)
static uint Z3_param_descrs_size(Z3_context a0, Z3_param_descrs a1)
Z3_param_kind
Z3_param_kind
static void Z3_param_descrs_dec_ref(Z3_context a0, Z3_param_descrs a1)
void Validate(Params p)
validate a set of parameters.
override string ToString()
Retrieves a string representation of the ParamDescrs.
static void Z3_param_descrs_inc_ref(Z3_context a0, Z3_param_descrs a1)
static uint Z3_param_descrs_get_kind(Z3_context a0, Z3_param_descrs a1, IntPtr a2)
A Params objects represents a configuration in the form of Symbol/value pairs.
static void Z3_params_validate(Z3_context a0, Z3_params a1, Z3_param_descrs a2)
A ParamDescrs describes a set of parameters.
The main interaction with Z3 happens via the Context.
IDecRefQueue ParamDescrs_DRQ
ParamDescrs DRQ
static string Z3_param_descrs_to_string(Z3_context a0, Z3_param_descrs a1)
Internal base class for interfacing with native Z3 objects. Should not be used externally.
Z3_param_kind GetKind(Symbol name)
Retrieve kind of parameter.
static IntPtr Z3_param_descrs_get_name(Z3_context a0, Z3_param_descrs a1, uint a2)
Symbols are used to name several term and type constructors.