From 4b0d0388051eaa0b1b3b577a8e65ae7caaa0eda0 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Tue, 1 Dec 2015 15:39:51 +0100
Subject: [PATCH] some documentation wrt detClosure
---
src/lib/CoAlgMisc.ml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 4ed6e88..4866e4f 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -776,7 +776,11 @@ let atFormulaGetNominal f =
let lfToAt _ lf = lf
+(* Calculate all possible formulae. This includes all subformulae and
+ in the case of μ-Calculus the Fischer-Ladner closure.
+ TODO: variable sort needs to match epected sort
+ *)
let rec detClosure nomTbl hcF fset atset nomset s f =
if s < 0 || s >= Array.length fset then
let sstr = string_of_int s in
--
GitLab