18package com.microsoft.z3;
47 Native.globalParamSet(
id, value);
59 Native.StringPtr res =
new Native.StringPtr();
60 if (!Native.globalParamGet(
id, res)) {
75 Native.globalParamResetAll();
87 Native.toggleWarningMessages((enabled));
97 Native.enableTrace(tag);
107 Native.disableTrace(tag);
static void disableTrace(String tag)
static void ToggleWarningMessages(boolean enabled)
static void setParameter(String id, String value)
static void enableTrace(String tag)
static String getParameter(String id)
static void resetParameters()
def String(name, ctx=None)