From ccff8bf591ee0b8499cdc9dc9bb2827e4d2dae69 Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Tue, 28 Jan 2020 15:33:22 +0100
Subject: Fix efficiency regression #11436

- The cutting plane has been (sometimes) improved to generate stronger
  cuts.
- There is now some support for profiling the Simplex
  see documentation for Show Lia Profile.
---
 plugins/micromega/simplex.mli | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'plugins/micromega/simplex.mli')

diff --git a/plugins/micromega/simplex.mli b/plugins/micromega/simplex.mli
index 19bcce3590..ff672edafd 100644
--- a/plugins/micromega/simplex.mli
+++ b/plugins/micromega/simplex.mli
@@ -9,6 +9,20 @@
 (************************************************************************)
 open Polynomial
 
+(** Profiling *)
+
+type profile_info =
+  { number_of_successes : int
+  ; number_of_failures : int
+  ; success_pivots : int
+  ; failure_pivots : int
+  ; average_pivots : int
+  ; maximum_pivots : int }
+
+val get_profile_info : unit -> profile_info
+
+(** Simplex interface *)
+
 val optimise : Vect.t -> cstr list -> (Num.num option * Num.num option) option
 val find_point : cstr list -> Vect.t option
 val find_unsat_certificate : cstr list -> Vect.t option
-- 
cgit v1.2.3