Z3
Global.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
27 public final class Global
28 {
45  public static void setParameter(String id, String value)
46  {
47  Native.globalParamSet(id, value);
48  }
49 
58  public static String getParameter(String id)
59  {
60  Native.StringPtr res = new Native.StringPtr();
61  if (!Native.globalParamGet(id, res))
62  return null;
63  else
64  return res.value;
65  }
66 
74  public static void resetParameters()
75  {
77  }
78 }
static void globalParamResetAll()
Definition: Native.java:559
static String getParameter(String id)
Definition: Global.java:58
static void resetParameters()
Definition: Global.java:74
static void globalParamSet(String a0, String a1)
Definition: Native.java:554
static void setParameter(String id, String value)
Definition: Global.java:45
static boolean globalParamGet(String a0, StringPtr a1)
Definition: Native.java:564