18 package com.microsoft.z3;
static void enableTrace(String tag)
static void globalParamResetAll()
static void toggleWarningMessages(boolean a0)
static void enableTrace(String a0)
static String getParameter(String id)
static void disableTrace(String tag)
static void disableTrace(String a0)
static void ToggleWarningMessages(boolean enabled)
static void resetParameters()
static void globalParamSet(String a0, String a1)
static void setParameter(String id, String value)
static boolean globalParamGet(String a0, StringPtr a1)
def String(name, ctx=None)