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());
132 void addToReferenceQueue() {
static void paramsSetDouble(long a0, long a1, long a2, double a3)
static void paramsSetSymbol(long a0, long a1, long a2, long a3)
void add(String name, int value)
void add(Symbol name, String value)
void add(String name, Symbol value)
void add(String name, boolean value)
static void paramsSetUint(long a0, long a1, long a2, int a3)
void add(Symbol name, boolean value)
static void paramsSetBool(long a0, long a1, long a2, boolean a3)
void storeReference(Context ctx, T obj)
void add(String name, String value)
void add(Symbol name, double value)
static void paramsIncRef(long a0, long a1)
IntSymbol mkSymbol(int i)
static String paramsToString(long a0, long a1)
void add(Symbol name, Symbol value)
static long mkParams(long a0)
void add(String name, double value)
IDecRefQueue< Params > getParamsDRQ()
def String(name, ctx=None)