package alt-ergo

You can search for identifiers within the package.

in-package search v0.2.0

package alt-ergo

doc
- index_common
- index_fmsimplex
- Library FmSimplexPlugin
  - FmSimplexPlugin
    
    FmSimplexIneqs
    
    Simplex
    
    H
    
    Coef_Type
    
    Simplex
    
    C2
    
    D
    
    Normalizer
    
    Core_Simplex
    
    Simplex_Q
    
    C2
    
    D
    
    Normalizer
    
    Core_Simplex
    
    Simplex_cache
    
    MAKE
    
    MI
    
    MD
    
    SM
- Sources
  - FmSimplexPlugin
    
    fmSimplexIneqs.ml
    
    fmSimplexPlugin.ml
    
    simplex.ml
    
    simplex_cache.ml

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

Module `Simplex.D`Source

Sourceval matrix_stats : ('a * t2) list -> t2 -> unit

Sourceval poly0 : Stdlib.Format.formatter -> (int * C.t) list -> unit

Sourceval poly : Stdlib.Format.formatter -> t1 -> unit

Sourceval poly01 : Stdlib.Format.formatter -> t1 -> unit

Sourceval pred : pred -> string

Sourceval sep : string

Source

val given_problem : 
  (int * C.t) list ->
  ('a * ((int * C.t) list * (int * C.t) list * AltErgoLib.Numbers.Q.t)) list ->
  (int * C.t) list ->
  int ->
  unit

Sourceval max_poly : t2 -> int

Sourceval max_sys : ('a * t2) list -> int

Sourceval expand : string -> int -> string

Sourceval ppoly : int -> Stdlib.Format.formatter -> t2 -> unit

Source

val auxiliary_problem : 
  ((int * int) * t1) list ->
  ((int * int) * t1) ->
  t1 ->
  (int, int) H.t ->
  unit

Source

val compacted_problem : 
  (int, int) H.t ->
  (int, int) H.t ->
  (int * t2) list ->
  t2 ->
  unit

Source

val psystem : 
  Stdlib.Format.formatter ->
  ((int * t2) list * t2 * int array) ->
  unit

Sourceval report_unsat : (int * t2) list -> t2 -> int array -> unit

Sourceval report_max : (int * t2) list -> t2 -> int array -> unit

Sourceval given_problem2 : (int * t2) list -> t2 -> int array -> unit

Sourceval in_simplex : (int * t2) list -> t2 -> int array -> unit

Sourceval result_extraction : string -> (int * t2) list -> t2 -> int array -> unit

Sourceval retrieved_cost : t2 -> unit

Sourceval pline : Stdlib.Format.formatter -> (int * t2) -> unit

Sourceval psbt : Stdlib.Format.formatter -> sbt -> unit

Sourceval choosed_var : int -> unit

Sourceval choosed_eq : (int * t2) -> unit

Sourceval pivot_result : sbt -> unit

Sourceval change_pivot : int -> int -> unit

Source

val init_simplex_pb : 
  (int * t2) list ->
  t2 ->
  int array ->
  int ->
  (int * t2) ->
  unit

package alt-ergo

Module Simplex.DSource

Module `Simplex.D`Source