From 1e781c9316981c27483f3d9a830ec7e8c961a201 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Fri, 8 Apr 2016 20:08:48 +0200
Subject: [PATCH] For now, don't consider Expandable states
---
src/lib/CoAlgReasoner.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib/CoAlgReasoner.ml b/src/lib/CoAlgReasoner.ml
index 6a54b71..255dd9d 100644
--- a/src/lib/CoAlgReasoner.ml
+++ b/src/lib/CoAlgReasoner.ml
@@ -127,7 +127,7 @@ let propagateSatMu () =
| Unsat -> ()
| Sat ->
setAddState setSatStates state
- | Expandable
+ | Expandable -> ()
| Open ->
if stateGetStatus state == Open && List.length (stateGetRules state) == 0
then begin
@@ -148,7 +148,7 @@ let propagateSatMu () =
| Unsat -> ()
| Sat ->
setAddCore setSatCores core
- | Expandable
+ | Expandable -> ()
| Open ->
setAddCore setCores core;
if bsetCompare (coreGetDeferral core) emptySet == 0
--
GitLab