public UpdateParamValue ( string id, string value ) : void | ||
id | string | |
value | string | |
Результат | void |
z3.exe -p
Only a few configuration parameters are mutable once the context is created. An exception is thrown when trying to modify an immutable parameter. public UpdateParamValue ( string id, string value ) : void | ||
id | string | |
value | string | |
Результат | void |