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  }
66 
73  public static void resetParameters()
74  {
76  }
77 
84  public static void ToggleWarningMessages(boolean enabled)
85 
86  {
87  Native.toggleWarningMessages((enabled));
88  }
89 
95  public static void enableTrace(String tag)
96  {
97  Native.enableTrace(tag);
98  }
99 
105  public static void disableTrace(String tag)
106  {
107  Native.disableTrace(tag);
108  }
109 }
static void enableTrace(String tag)
Definition: Global.java:95
static void globalParamResetAll()
Definition: Native.java:652
static void toggleWarningMessages(boolean a0)
Definition: Native.java:3366
static void enableTrace(String a0)
Definition: Native.java:3582
static String getParameter(String id)
Definition: Global.java:57
static void disableTrace(String tag)
Definition: Global.java:105
static void disableTrace(String a0)
Definition: Native.java:3587
static void ToggleWarningMessages(boolean enabled)
Definition: Global.java:84
static void resetParameters()
Definition: Global.java:73
static void globalParamSet(String a0, String a1)
Definition: Native.java:647
static void setParameter(String id, String value)
Definition: Global.java:45
static boolean globalParamGet(String a0, StringPtr a1)
Definition: Native.java:657
def String(name, ctx=None)
Definition: z3py.py:9443