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