Starting to link parser with the program.

But apparently I messed up some kodkod logic.

1 files changed, 13 insertions, 0 deletions

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) */