Public Member Functions | |
void | add (Symbol name, boolean value) throws Z3Exception |
void | add (Symbol name, double value) throws Z3Exception |
void | add (Symbol name, String value) throws Z3Exception |
void | add (Symbol name, Symbol value) throws Z3Exception |
void | add (String name, boolean value) throws Z3Exception |
void | add (String name, int value) throws Z3Exception |
void | add (String name, double value) throws Z3Exception |
void | add (String name, Symbol value) throws Z3Exception |
void | add (String name, String value) throws Z3Exception |
String | toString () |
Package Functions | |
Params (Context ctx) throws Z3Exception | |
void | incRef (long o) throws Z3Exception |
void | decRef (long o) throws Z3Exception |
A ParameterSet represents a configuration in the form of Symbol/value pairs.
Definition at line 24 of file Params.java.
Params | ( | Context | ctx | ) | throws Z3Exception [inline, package] |
Definition at line 126 of file Params.java.
{ super(ctx, Native.mkParams(ctx.nCtx())); }
void add | ( | Symbol | name, |
boolean | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 29 of file Params.java.
{ Native.paramsSetBool(getContext().nCtx(), getNativeObject(), name.getNativeObject(), (value) ? true : false); }
void add | ( | Symbol | name, |
double | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 38 of file Params.java.
{ Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), name.getNativeObject(), value); }
void add | ( | Symbol | name, |
String | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 47 of file Params.java.
{ Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), name.getNativeObject(), getContext().mkSymbol(value).getNativeObject()); }
void add | ( | Symbol | name, |
Symbol | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 58 of file Params.java.
{ Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), name.getNativeObject(), value.getNativeObject()); }
void add | ( | String | name, |
boolean | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 68 of file Params.java.
{ Native.paramsSetBool(getContext().nCtx(), getNativeObject(), getContext().mkSymbol(name).getNativeObject(), value); }
void add | ( | String | name, |
int | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 77 of file Params.java.
{ Native.paramsSetUint(getContext().nCtx(), getNativeObject(), getContext() .mkSymbol(name).getNativeObject(), value); }
void add | ( | String | name, |
double | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 86 of file Params.java.
{ Native.paramsSetDouble(getContext().nCtx(), getNativeObject(), getContext() .mkSymbol(name).getNativeObject(), value); }
void add | ( | String | name, |
Symbol | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 95 of file Params.java.
{ Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext() .mkSymbol(name).getNativeObject(), value.getNativeObject()); }
void add | ( | String | name, |
String | value | ||
) | throws Z3Exception [inline] |
Adds a parameter setting.
Definition at line 104 of file Params.java.
{ Native.paramsSetSymbol(getContext().nCtx(), getNativeObject(), getContext().mkSymbol(name).getNativeObject(), getContext().mkSymbol(value).getNativeObject()); }
void decRef | ( | long | o | ) | throws Z3Exception [inline, package] |
Reimplemented from Z3Object.
Definition at line 137 of file Params.java.
{ getContext().params_DRQ().add(o); super.decRef(o); }
void incRef | ( | long | o | ) | throws Z3Exception [inline, package] |
Reimplemented from Z3Object.
Definition at line 131 of file Params.java.
{ getContext().params_DRQ().incAndClear(getContext(), o); super.incRef(o); }
String toString | ( | ) | [inline] |
A string representation of the parameter set.
Definition at line 115 of file Params.java.
{ try { return Native.paramsToString(getContext().nCtx(), getNativeObject()); } catch (Z3Exception e) { return "Z3Exception: " + e.getMessage(); } }