From 72c7e34e7e0394e44ffa176c00d6049496c3fb29 Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Thu, 6 May 2021 17:57:41 +0200
Subject: [PATCH] Allow several consecutive backs
---
Transition.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/Transition.py b/Transition.py
index 269b53d..582a425 100644
--- a/Transition.py
+++ b/Transition.py
@@ -18,8 +18,6 @@ class Transition :
def apply(self, config, strategy) :
data = None
-
- config.historyHistory.add(str([t[0].name for t in config.historyPop]))
if self.name == "RIGHT" :
applyRight(config)
@@ -32,6 +30,7 @@ class Transition :
elif self.name == "EOS" :
applyEOS(config)
elif "BACK" in self.name :
+ config.historyHistory.add(str([t[0].name for t in config.historyPop]))
size = int(self.name.split()[-1])
applyBack(config, strategy, size)
else :
--
GitLab