From 06c523d1692aae6fffcff2d0e617994d4b04bc55 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 28 Jul 2017 15:05:43 +0200
Subject: Removes repetitions, prepares for skol. of sol.

---
 instr-to-kodkod/src/VHDLModel.java | 10 ++++++++++
 1 file changed, 10 insertions(+)

(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 4b6e053..170ce12 100644
--- a/instr-to-kodkod/src/VHDLModel.java
+++ b/instr-to-kodkod/src/VHDLModel.java
@@ -345,6 +345,16 @@ public class VHDLModel
       }
    }
 
+   public boolean type_exists (final String name)
+   {
+      return types.containsKey(name);
+   }
+
+   public boolean predicate_exists (final String name)
+   {
+      return predicates.containsKey(name);
+   }
+
    public Relation get_atom_as_relation
    (
       final String type,
-- 
cgit v1.2.3-70-g09d2