package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.OptimizerSource

Sourceval make : unit -> optimize
Sourceval push : optimize -> unit
Sourceval pop : optimize -> unit
Sourceval add : optimize -> Expr.t list -> unit
Sourceval model : optimize -> model option
Sourceval maximize : optimize -> Expr.t -> handle
Sourceval minimize : optimize -> Expr.t -> handle
Sourceval interrupt : optimize -> unit
Sourceval pp_statistics : Format.formatter -> optimize -> unit