From 50df1dc2ac5ff89af8fdd0fc669e54c9dc7e1ab8 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Thu, 7 Apr 2016 02:34:33 +0200
Subject: [PATCH] Add function to determin size of Core / State set

---
 src/lib/CoAlgMisc.ml  | 2 ++
 src/lib/CoAlgMisc.mli | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 6981601..8688a69 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -597,6 +597,8 @@ let setRemoveCnstr set cset = GHtS.remove set cset
 let setIterState fkt set = Array.iter (fun ht -> GHt.iter (fun _ x -> fkt x) ht) set
 let setIterCore fkt set = Array.iter (fun ht -> GHt.iter (fun _ x -> fkt x) ht) set
 let setIterCnstr fkt set = GHtS.iter (fun cset () -> fkt cset) set
+let setLengthState seta = Array.fold_left (fun acc set -> acc + GHt.length set) 0 seta
+let setLengthCore seta = Array.fold_left (fun acc set -> acc + GHt.length set) 0 seta
 
 
 (*****************************************************************************)
diff --git a/src/lib/CoAlgMisc.mli b/src/lib/CoAlgMisc.mli
index de64986..97cc42f 100644
--- a/src/lib/CoAlgMisc.mli
+++ b/src/lib/CoAlgMisc.mli
@@ -280,6 +280,8 @@ val setRemoveCnstr : setCnstr -> cset -> unit
 val setIterState : (state -> unit) -> setState -> unit
 val setIterCore : (core -> unit) -> setCore -> unit
 val setIterCnstr : (cset -> unit) -> setCnstr -> unit
+val setLengthState : setState -> int
+val setLengthCore : setCore -> int
 
 
 (*****************************************************************************)
-- 
GitLab