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.Simplex_Q`Source

Sourceexception Out of int

Sourcemodule C2 : sig ... end

Sourcetype sbt = Simplex(AltErgoLib.Numbers.Q).sbt = {

old_lhs : int;
lhs : int;
rhs : t2;

}

Sourceval boung_ghost : int

Sourcemodule D : sig ... end

Sourcemodule Normalizer : sig ... end

Sourcemodule Core_Simplex : sig ... end

Sourceval cpt : int Stdlib.ref

Source

val main : 
  (int * AltErgoLib.Numbers.Q.t) list ->
  ('a
   * ((int * AltErgoLib.Numbers.Q.t) list
      * (int * AltErgoLib.Numbers.Q.t) list
      * AltErgoLib.Numbers.Q.t))
    list ->
  (int * AltErgoLib.Numbers.Q.t) list ->
  int ->
  result

Sourceval subst_spec : t2 -> AltErgoLib.Numbers.Q.t -> t2 -> unit

Sourceval partial_restart : result -> (int * AltErgoLib.Numbers.Q.t) list -> result

package alt-ergo

Module Simplex.Simplex_QSource

Module `Simplex.Simplex_Q`Source