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 
57  public static String getParameter(String id)
58  {
59  Native.StringPtr res = new Native.StringPtr();
60  if (!Native.globalParamGet(id, res))
61  return null;
62  else
63  return res.value;
64  }
65 
72  public static void resetParameters()
73  {
75  }
76 
83  public static void ToggleWarningMessages(boolean enabled)
84 
85  {
86  Native.toggleWarningMessages((enabled) ? true : false);
87  }
88 
94  public static void enableTrace(String tag)
95  {
96  Native.enableTrace(tag);
97  }
98 
104  public static void disableTrace(String tag)
105  {
106  Native.disableTrace(tag);
107  }
108 }
static void enableTrace(String tag)
Definition: Global.java:94
static void globalParamResetAll()
Definition: Native.java:655
static void toggleWarningMessages(boolean a0)
Definition: Native.java:3099
static void enableTrace(String a0)
Definition: Native.java:3315
static String getParameter(String id)
Definition: Global.java:57
static void disableTrace(String tag)
Definition: Global.java:104
static void disableTrace(String a0)
Definition: Native.java:3320
static void ToggleWarningMessages(boolean enabled)
Definition: Global.java:83
static void resetParameters()
Definition: Global.java:72
static void globalParamSet(String a0, String a1)
Definition: Native.java:650
static void setParameter(String id, String value)
Definition: Global.java:45
static boolean globalParamGet(String a0, StringPtr a1)
Definition: Native.java:660