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/VHDLType.java | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

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

diff --git a/instr-to-kodkod/src/VHDLType.java b/instr-to-kodkod/src/VHDLType.java
index c4c1b0f..73cd9cf 100644
--- a/instr-to-kodkod/src/VHDLType.java
+++ b/instr-to-kodkod/src/VHDLType.java
@@ -12,10 +12,12 @@ public class VHDLType
    private final Map<String, Relation> members;
    private final String name;
    private final Relation as_relation;
+   private boolean is_used;
 
    public VHDLType (final String name)
    {
       members = new HashMap<String, Relation>();
+      is_used = false;
 
       this.name = name;
       as_relation = Relation.unary(name);
@@ -31,12 +33,23 @@ public class VHDLType
       return name;
    }
 
+   public void flag_as_used ()
+   {
+      is_used = true;
+   }
+
+   public boolean is_used ()
+   {
+      return is_used;
+   }
+
    public Relation get_as_relation ()
    {
+      is_used = true;
+
       return as_relation;
    }
 
-
    public Relation get_member_as_relation (final String id)
    {
       return members.get(id);
-- 
cgit v1.2.3-70-g09d2