19 package com.microsoft.z3;
31 name.getNativeObject(), (value));
40 name.getNativeObject(), value);
50 name.getNativeObject(),
51 getContext().mkSymbol(value).getNativeObject());
61 name.getNativeObject(), value.getNativeObject());
70 getContext().mkSymbol(name).getNativeObject(), value);
79 .mkSymbol(name).getNativeObject(), value);
88 .mkSymbol(name).getNativeObject(), value);
97 .mkSymbol(name).getNativeObject(), value.getNativeObject());
107 getContext().mkSymbol(name).getNativeObject(),
108 getContext().mkSymbol(value).getNativeObject());
128 Native.paramsIncRef(getContext().nCtx(), getNativeObject());
132 void addToReferenceQueue() {