package ocplib-simplex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.Assert`Source

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.

Source

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.

package ocplib-simplex

Module Make.AssertSource

Module `Make.Assert`Source