Module Z3.Params.ParamDescrs

module ParamDescrs: sig .. end

ParamDescrs describe sets of parameters (of Solvers, Tactics, ...)

type param_descrs

val validate : param_descrs -> Params.params -> unit

Validate a set of parameters.

val get_kind : param_descrs -> Symbol.symbol -> Z3enums.param_kind

Retrieve kind of parameter.

val get_names : param_descrs -> Symbol.symbol list

Retrieve all names of parameters.

val get_size : param_descrs -> int

The size of the ParamDescrs.

val to_string : param_descrs -> string

Retrieves a string representation of the ParamDescrs.