val empty : tThe empty model without objective functions.
val is_empty : t -> boolis_empty mdl checks if the model doesn't contain any objective function.
val fold : (Function.t -> Value.t -> 'b -> 'b) -> t -> 'b -> 'bIterator on the objective functions in decreasing order of priority.
val add : Function.t -> Value.t -> t -> tadd fn v adds or updates the value of the objective function fn.
val pp : t Fmt.tpp ppf mdl prints the model mdl using the MaxSMT format.
val functions : t -> Function.t listfunctions mdl returns the list of objective functions of the model mdl in decreasing order of priority.
val next_unknown : t -> Function.t optionnext_unknown ~for_model mdl returns the next optimization in decreasing order of priority whose the value is Unknown.
val has_no_limit : t -> boolhas_no_limit mdl checks if all the objective functions in the model mdl have a finite value or unknown value.