From 64c8b8413db37494f118c7a2f50c186830fb64dc Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 18 Jul 2017 17:47:49 +0200
Subject: Starting to link parser with the program.

But apparently I messed up some kodkod logic.
---
 instr-to-kodkod/src/Main.java | 13 +++++++++++++
 1 file changed, 13 insertions(+)

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

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index ba9ebaa..41b8ef8 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -10,6 +10,17 @@ public class Main
 {
    private static Parameters PARAMETERS;
    private static VHDLModel MODEL;
+   private static VariableManager VARIABLE_MANAGER;
+
+   public static VHDLModel get_model ()
+   {
+      return MODEL;
+   }
+
+   public static VariableManager get_variable_manager ()
+   {
+      return VARIABLE_MANAGER;
+   }
 
    private static Formula get_formula (final VHDLModel model)
    {
@@ -49,6 +60,8 @@ public class Main
          return;
       }
 
+      VARIABLE_MANAGER = new VariableManager(PARAMETERS.get_variables_prefix());
+
       MODEL = new VHDLModel();
 
       /* 1/ Load Levels (Types + predicates) */
-- 
cgit v1.2.3-70-g09d2