Z3
src/api/java/Global.java
Go to the documentation of this file.
00001 
00018 package com.microsoft.z3;
00019 
00027 public final class Global
00028 {
00045     public static void setParameter(String id, String value)
00046     {
00047         Native.globalParamSet(id, value);
00048     }
00049     
00058     public static String getParameter(String id)
00059     {
00060         Native.StringPtr res = new Native.StringPtr();
00061         if (!Native.globalParamGet(id, res))
00062             return null;
00063         else
00064             return res.value;
00065     }    
00066     
00074     public static void resetParameters()
00075     {
00076         Native.globalParamResetAll();
00077     }   
00078 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines