19package com.microsoft.z3;
30 Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
31 name.getNativeObject(), (value));
39 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(),
40 name.getNativeObject(), value);
49 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
50 name.getNativeObject(),
51 getContext().mkSymbol(value).getNativeObject());
60 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
61 name.getNativeObject(), value.getNativeObject());
69 Native.paramsSetBool(getContext().nCtx(), getNativeObject(),
70 getContext().mkSymbol(name).getNativeObject(), value);
78 Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext()
79 .mkSymbol(name).getNativeObject(), value);
87 Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext()
88 .mkSymbol(name).getNativeObject(), value);
96 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext()
97 .mkSymbol(name).getNativeObject(), value.getNativeObject());
106 Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(),
107 getContext().mkSymbol(name).getNativeObject(),
108 getContext().mkSymbol(value).getNativeObject());
117 return Native.paramsToString(getContext().nCtx(), getNativeObject());
122 super(ctx, Native.mkParams(ctx.
nCtx()));
128 Native.paramsIncRef(getContext().nCtx(), getNativeObject());
132 void addToReferenceQueue() {
IDecRefQueue< Params > getParamsDRQ()
void storeReference(Context ctx, T obj)
void add(Symbol name, boolean value)
void add(String name, Symbol value)
void add(String name, String value)
void add(String name, boolean value)
void add(String name, int value)
void add(String name, double value)
void add(Symbol name, double value)
void add(Symbol name, Symbol value)
void add(Symbol name, String value)
def String(name, ctx=None)