package ocplib-simplex

You can search for identifiers within the package.

in-package search v0.2.0

ocplib-simplex
- CHANGES
- README
- Library ocplib-simplex
  - OcplibSimplex
    
    AssertBounds
    
    S
    
    Core
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    Make
    
    Core
    
    Basic
    
    Make
    
    Core
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    Assert
    
    Solve
    
    Result
    
    Core
    
    Make
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    MakeExpert
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    MX
    
    SX
    
    CoreSig
    
    S
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    ExtSigs
    
    Variables
    
    Rationals
    
    Coefs
    
    Value
    
    Explanations
    
    MapSig
    
    SetSig
    
    Polys
    
    SIG
    
    Var
    
    R
    
    Make
    
    Var
    
    R
    
    Rat2
    
    SIG
    
    R
    
    V
    
    Make
    
    R
    
    V
    
    Result
    
    S
    
    Core
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    Make
    
    Core
    
    SolveBounds
    
    S
    
    Core
    
    Var
    
    Ex
    
    R
    
    V
    
    R2
    
    R
    
    V
    
    P
    
    Var
    
    R
    
    MX
    
    SX
    
    Make
    
    Core
    
    Version
- Sources
  - ocplib-simplex
    
    assertBounds.ml
    
    basic.ml
    
    core.ml
    
    ocplibSimplex.ml
    
    polys.ml
    
    rat2.ml
    
    result.ml
    
    solveBounds.ml
    
    version.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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