package ocplib-simplex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

ocplib-simplex
- OcplibSimplex
  - AssertBounds
    
    Make
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
    
    S
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
  - Basic
    
    Make
    
    Assert
    
    Core
    
    P
    
    R2
    
    Ex
    
    R
    
    Result
    
    Solve
    
    Var
  - Core
    
    Make
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
  - CoreSig
    
    S
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
  - ExtSigs
    
    Explanations
    
    Rationals
    
    Variables
  - Polys
    
    Make
    
    R
    
    Var
    
    SIG
    
    R
    
    Var
  - Rat2
    
    Make
    
    R
    
    SIG
    
    R
  - Result
    
    Make
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
    
    S
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
  - SolveBounds
    
    Make
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
    
    S
    
    Core
    
    Ex
    
    P
    
    R
    
    R2
    
    Var
  - Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Core : CoreSig.S

Signature

module Core = Core

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.