18 package com.microsoft.z3;
static void globalParamResetAll()
static String getParameter(String id)
static void resetParameters()
static void globalParamSet(String a0, String a1)
static void setParameter(String id, String value)
static boolean globalParamGet(String a0, StringPtr a1)