Microsoft.Z3.Global.GetParameter C# (CSharp) Méthode

Global Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

GetParameter() public static méthode

Get a global (or module) parameter.
Returns null if the parameter does not exist. The caller must invoke #Z3_global_param_del_value to delete the value returned at \c param_value. This function cannot be invoked simultaneously from different threads without synchronization. The result string stored in param_value is stored in a shared location.
public static GetParameter ( string id ) : string
id string
Résultat string 
        public static string GetParameter(string id)
        {
            IntPtr t;
            if (Native.Z3_global_param_get(id, out t) == 0)
                return null;
            else
                return Marshal.PtrToStringAnsi(t);
        }
Global
GetParameter
ResetParameters
SetParameter