19package 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() {
IDecRefQueue< Params > getParamsDRQ()
void storeReference(Context ctx, T obj)
static void paramsSetDouble(long a0, long a1, long a2, double a3)
static void paramsSetBool(long a0, long a1, long a2, boolean a3)
static long mkParams(long a0)
static String paramsToString(long a0, long a1)
static void paramsSetSymbol(long a0, long a1, long a2, long a3)
static void paramsSetUint(long a0, long a1, long a2, int a3)
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)