Go to the documentation of this file.00001
00018 package com.microsoft.z3;
00019
00027 public final class Global
00028 {
00045 public static void setParameter(String id, String value)
00046 {
00047 Native.globalParamSet(id, value);
00048 }
00049
00058 public static String getParameter(String id)
00059 {
00060 Native.StringPtr res = new Native.StringPtr();
00061 if (!Native.globalParamGet(id, res))
00062 return null;
00063 else
00064 return res.value;
00065 }
00066
00074 public static void resetParameters()
00075 {
00076 Native.globalParamResetAll();
00077 }
00078 }