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);
88 internal class DecRefQueue : IDecRefQueue
90 public DecRefQueue() : base() { }
91 public DecRefQueue(uint move_limit) : base(move_limit) { }
92 internal override void IncRef(Context ctx, IntPtr obj)
94 Native.Z3_param_descrs_inc_ref(ctx.nCtx, obj);
97 internal override void DecRef(Context ctx, IntPtr obj)
99 Native.Z3_param_descrs_dec_ref(ctx.nCtx, obj);
103 internal override void IncRef(IntPtr o)
105 Context.ParamDescrs_DRQ.IncAndClear(Context, o);
109 internal override void DecRef(IntPtr o)
111 Context.ParamDescrs_DRQ.Add(o);
static uint Z3_param_descrs_size(Z3_context a0, Z3_param_descrs a1)
Z3_param_kind
Z3_param_kind
void Validate(Params p)
validate a set of parameters.
override string ToString()
Retrieves a string representation of the ParamDescrs.
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.
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.