18package com.microsoft.z3;
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()
static void disableTrace(String a0)
static void enableTrace(String a0)
static void toggleWarningMessages(boolean a0)
static void globalParamResetAll()
static boolean globalParamGet(String a0, StringPtr a1)
static void globalParamSet(String a0, String a1)
def String(name, ctx=None)