From 7ca6a253bc09cd594300beb0eb11e40bd7b3d946 Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Tue, 3 Dec 2019 13:25:37 +0100
Subject: [PATCH] Words with IDs containing . are no longer parts of configs
---
transition_machine/src/Config.cpp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp
index 514ea28..715c944 100644
--- a/transition_machine/src/Config.cpp
+++ b/transition_machine/src/Config.cpp
@@ -197,6 +197,10 @@ void Config::fillTapesWithInput()
exit(1);
}
+ if (bd.hasLineOfName("ID"))
+ if (util::split(cols[bd.getLineOfName("ID")], '.').size() > 1)
+ continue;
+
for(unsigned int i = 0; i < cols.size(); i++)
if(bd.hasLineOfInputCol(i))
{
--
GitLab