19 package com.microsoft.z3;
32 name.getNativeObject(), (value) ?
true :
false);
41 name.getNativeObject(), value);
51 name.getNativeObject(),
52 getContext().
mkSymbol(value).getNativeObject());
62 name.getNativeObject(), value.getNativeObject());
68 public void add(String name,
boolean value)
71 getContext().mkSymbol(name).getNativeObject(), value);
77 public void add(String name,
int value)
80 .mkSymbol(name).getNativeObject(), value);
86 public void add(String name,
double value)
89 .mkSymbol(name).getNativeObject(), value);
98 .mkSymbol(name).getNativeObject(), value.getNativeObject());
104 public void add(String name, String value)
108 getContext().mkSymbol(name).getNativeObject(),
109 getContext().mkSymbol(value).getNativeObject());
122 return "Z3Exception: " + e.getMessage();
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 add(String name, String value)
void incAndClear(Context ctx, long o)
void add(Symbol name, double value)
IDecRefQueue getParamsDRQ()
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)