21 using System.Runtime.InteropServices;
22 using System.Diagnostics.Contracts;
33 public static class Global
51 public static void SetParameter(
string id,
string value)
53 Native.Z3_global_param_set(
id, value);
65 public static string GetParameter(
string id)
68 if (Native.Z3_global_param_get(
id, out t) == 0)
71 return Marshal.PtrToStringAnsi(t);
82 public static void ResetParameters()
84 Native.Z3_global_param_reset_all();
92 public static void ToggleWarningMessages(
bool enabled)
94 Native.Z3_toggle_warning_messages((enabled) ? 1 : 0);
104 public static void EnableTrace(
string tag)
106 Native.Z3_enable_trace(tag);
116 public static void DisableTrace(
string tag)
118 Native.Z3_disable_trace(tag);