Method ToggleWarningMessages

src/api/java/Global.java:84–88

Enable/disable printing of warning messages to the console. Remarks: Note that this function is static and effects the behaviour of all contexts globally.

(boolean enabled)

     * globally.
     **/
    public static void ToggleWarningMessages(boolean enabled)
           
    {
        Native.toggleWarningMessages((enabled));
    }
    
    /** 
     * Enable tracing messages tagged as `tag' when Z3 is compiled in debug mode.