1 files changed, 10 insertions, 0 deletions
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,