package alt-ergo

  1. Overview
  2. Docs

Module Simplex_cache.MAKESource

Parameters

module C : sig ... end

Signature

module MI = AltErgoLib.Util.MI
module MD : sig ... end
Sourceval ppprint : Stdlib.Format.formatter -> AltErgoLib.Numbers.Q.t MI.t -> unit
Sourceval 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
Sourceval m : (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) SM.t Stdlib.ref
Sourceval mm : (int * Simplex.result * AltErgoLib.Numbers.Q.t MI.t) SM.t MD.t Stdlib.ref
Sourceval mi_of_l : (MI.key * 'a) list -> 'a MI.t
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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