package ocplib-simplex

  1. Overview
  2. Docs
module Core : CoreSig.S
val var : Core.t -> ?min:Core.bound -> ?max:Core.bound -> Core.Var.t -> Core.t * bool

var env min max x returns a new environment obtained by changing the bounds of x in env to min and max. If the bounds were implied by other known bounds (in other words, if the environment did not change) the associated boolean will be false.

val poly : Core.t -> Core.P.t -> ?min:Core.bound -> ?max:Core.bound -> Core.Var.t -> Core.t * bool

poly env poly min max x returns a new environment obtained by changing the bounds of poly in env to min and max. The polynomial is represented by the slack variable x. If the bounds were implied by other known bounds (in other words, if the environment did not change) the associated boolean will be false.

OCaml

Innovation. Community. Security.