package alt-ergo

  1. Overview
  2. Docs

Module FmSimplexPlugin.SimplexSource

module H = Stdlib.Hashtbl
Sourcetype pred =
  1. | Eq
  2. | Ge
  3. | Le
  4. | Gt
Sourceval dsimplex : bool Stdlib.ref
Sourcemodule type Coef_Type = sig ... end
Sourcetype t_c2 = AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t
Sourcetype t1 = {
  1. mutable a : (int * AltErgoLib.Numbers.Q.t) array;
  2. mutable c : AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t;
}
Sourcetype t2 = {
  1. mutable a2 : AltErgoLib.Numbers.Q.t array;
  2. mutable c2 : AltErgoLib.Numbers.Q.t * AltErgoLib.Numbers.Q.t;
}
Sourcetype rich_result = {
  1. vof : t_c2;
  2. vals : (int * t_c2) list;
  3. ctx : (int * t2) list;
  4. distr : int array;
  5. order : int Stdlib.Queue.t;
}
Sourcetype result =
  1. | Unsat of rich_result
  2. | Unbound of rich_result
  3. | Max of rich_result
  4. | Eq_unsat
Sourcemodule Simplex (C : Coef_Type) : sig ... end
Sourcemodule Simplex_Q : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct