package alt-ergo

You can search for identifiers within the package.

in-package search v0.2.0

package alt-ergo

alt-ergo.plugins.fm-simplex
- FmSimplexPlugin
  - FmSimplexIneqs
  - Simplex
    
    Coef_Type
    
    Simplex
    
    C
    
    C2
    
    Core_Simplex
    
    D
    
    Normalizer
    
    Simplex_Q
    
    C2
    
    Core_Simplex
    
    D
    
    Normalizer
  - Simplex_cache
    
    MAKE
    
    C
    
    MD
    
    SM

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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

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

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

val pred : pred -> string

val sep : string

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

val max_poly : t2 -> int

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

val expand : string -> int -> string

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

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

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

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

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

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

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

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

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

val retrieved_cost : t2 -> unit

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

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

val choosed_var : int -> unit

val choosed_eq : (int * t2) -> unit

val pivot_result : sbt -> unit

val change_pivot : int -> int -> unit

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