From f9a789dcc77a905849368dcbaaccb894698442e4 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 18 Jul 2017 17:19:10 +0200
Subject: Unused predicates & types -> not in kodkod.

---
 instr-to-kodkod/src/VHDLModel.java | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

(limited to 'instr-to-kodkod/src/VHDLModel.java')

diff --git a/instr-to-kodkod/src/VHDLModel.java b/instr-to-kodkod/src/VHDLModel.java
index bdb5e4b..ed448c4 100644
--- a/instr-to-kodkod/src/VHDLModel.java
+++ b/instr-to-kodkod/src/VHDLModel.java
@@ -178,7 +178,10 @@ public class VHDLModel
          return false;
       }
 
-      t.add_member(cmd[2]);
+      if (t.is_used())
+      {
+         t.add_member(cmd[2]);
+      }
 
       return true;
    }
@@ -230,6 +233,11 @@ public class VHDLModel
          return false;
       }
 
+      if (!p.is_used())
+      {
+         return true;
+      }
+
       if (params.length != p.get_arity())
       {
          System.err.println
@@ -293,12 +301,18 @@ public class VHDLModel
    {
       for (final VHDLType t: types.values())
       {
-         t.add_to_bounds(b, f);
+         if (t.is_used())
+         {
+            t.add_to_bounds(b, f);
+         }
       }
 
       for (final VHDLPredicate p: predicates.values())
       {
-         p.add_to_bounds(b, f);
+         if (p.is_used())
+         {
+            p.add_to_bounds(b, f);
+         }
       }
    }
 
-- 
cgit v1.2.3-70-g09d2