package alt-ergo

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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

Parameters

module C : sig ... end

Signature

module MI = AltErgoLib.Util.MI

module MD : sig ... end

val ppprint : Format.formatter -> AltErgoLib.Numbers.Q.t MI.t -> unit

val print_sum : 
  int ->
  (AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t)
    MD.t ->
  unit

module SM : sig ... end

val m : (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) SM.t ref

val mm : (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) SM.t MD.t ref

val mi_of_l : (MI.key * 'a) list -> 'a MI.t

val make_repr : 
  (MI.key * 'a) list ->
  (MD.key * ((MI.key * 'b) list * (MI.key * 'c) list * 'd)) list ->
  (MI.key * 'e) list ->
  'a MI.t * ('b MI.t * 'c MI.t * 'd) MD.t * 'e MI.t

val already_registered : 
  AltErgoLib.Numbers.Q.t MI.t ->
  (AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t)
    MD.t ->
  AltErgoLib.Numbers.Q.t MI.t ->
  (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) option

val register : 
  AltErgoLib.Numbers.Q.t MI.t ->
  (AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t)
    MD.t ->
  AltErgoLib.Numbers.Q.t MI.t ->
  int ->
  Simplex.result ->
  unit

val already_registered_mon : 
  MD.key ->
  AltErgoLib.Numbers.Q.t MI.t ->
  (AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t)
    MD.t ->
  AltErgoLib.Numbers.Q.t MI.t ->
  (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) option

val register_mon : 
  MD.key ->
  AltErgoLib.Numbers.Q.t MI.t ->
  (AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t MI.t
   * AltErgoLib.Numbers.Q.t)
    MD.t ->
  AltErgoLib.Numbers.Q.t MI.t ->
  int ->
  Simplex.result ->
  unit