src/api/java/Global.java

Go to the documentation of this file.

package com.microsoft.z3;

public final class Global
{
    public static void setParameter(String id, String value)
    {
        Native.globalParamSet(id, value);
    }
    
    public static String getParameter(String id)
    {
        Native.StringPtr res = new Native.StringPtr();
        if (!Native.globalParamGet(id, res))
            return null;
        else
            return res.value;
    }    
    
    public static void resetParameters()
    {
        Native.globalParamResetAll();
    }
    
    public static void ToggleWarningMessages(boolean enabled)
           
    {
        Native.toggleWarningMessages((enabled) ? true : false);
    }
    
    public static void enableTrace(String tag)
    {
        Native.enableTrace(tag);
    }

    public static void disableTrace(String tag)
    {
        Native.disableTrace(tag);
    }
}