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 {
75 Native.globalParamResetAll();
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}
com.microsoft.z3.Global
Definition: Global.java:28
com.microsoft.z3.Global.disableTrace
static void disableTrace(String tag)
Definition: Global.java:105
com.microsoft.z3.Global.ToggleWarningMessages
static void ToggleWarningMessages(boolean enabled)
Definition: Global.java:84
com.microsoft.z3.Global.setParameter
static void setParameter(String id, String value)
Definition: Global.java:45
com.microsoft.z3.Global.enableTrace
static void enableTrace(String tag)
Definition: Global.java:95
com.microsoft.z3.Global.getParameter
static String getParameter(String id)
Definition: Global.java:57
com.microsoft.z3.Global.resetParameters
static void resetParameters()
Definition: Global.java:73
z3py.String
def String(name, ctx=None)
Definition: z3py.py:10693