From 309b71a595289c4c974b56f2a8022620d04678a4 Mon Sep 17 00:00:00 2001 From: Christoph Egger <Christoph.Egger@fau.de> Date: Mon, 9 Nov 2015 20:00:03 +0100 Subject: [PATCH] =?UTF-8?q?Add=20=CE=BC=20constructors=20to=20the=20formul?= =?UTF-8?q?a=20iter?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/lib/CoAlgFormula.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml index 75d6f02..5e20c97 100644 --- a/src/lib/CoAlgFormula.ml +++ b/src/lib/CoAlgFormula.ml @@ -136,7 +136,7 @@ let rec iter func formula = func formula; let proc = iter func in (* proc = "process" *) match formula with - | TRUE | FALSE | AP _ -> () + | TRUE | FALSE | AP _ | VAR _ -> () | CONST _ | CONSTN _ -> () | NOT a | AT (_,a) @@ -151,6 +151,7 @@ let rec iter func formula = | NORM(a, b) | NORMN(a, b) -> (proc a; proc b) | CHC (a,b) -> (proc a ; proc b) | FUS (_,a) -> proc a + | MU (_, f) | NU (_, f) -> proc f let rec convert_post func formula = (* run over all subformulas in post order *) let c = convert_post func in (* some shorthand *) -- GitLab