From 067f596822b80b2786ce2bb895a593d479516cad Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 15:05:30 +0200
Subject: First shot at the handling of regular expressions.

---
 instr-to-kodkod/src/VHDLModel.java | 5 +++++
 1 file changed, 5 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 5a628e7..5bb11c2 100644
--- a/instr-to-kodkod/src/VHDLModel.java
+++ b/instr-to-kodkod/src/VHDLModel.java
@@ -319,6 +319,11 @@ public class VHDLModel
       }
    }
 
+   public VHDLPredicate get_predicate (final String name)
+   {
+      return predicates.get(name);
+   }
+
    public Relation get_predicate_as_relation (final String name)
    {
       final VHDLPredicate p;
-- 
cgit v1.2.3-70-g09d2