Removes repetitions, prepares for skol. of sol.

1 files changed, 5 insertions, 1 deletions

diff --git a/instr-to-kodkod/src/VHDLProperty.java b/instr-to-kodkod/src/VHDLProperty.java
index a91d25a..ac88e6e 100644
--- a/instr-to-kodkod/src/VHDLProperty.java
+++ b/instr-to-kodkod/src/VHDLProperty.java
@@ -9,13 +9,17 @@ import org.antlr.v4.runtime.*;
 public class VHDLProperty
 {
    private final String filename;
+   private final List<Variable> tagged_variables;
+   private final List<VHDLType> tagged_variables_types;
 
    public VHDLProperty (final String filename)
    {
       this.filename = filename;
+      tagged_variables = new ArrayList<Variable>();
+      tagged_variables_types = new ArrayList<VHDLType>();
    }
 
-   public Formula generate_formula ()
+   public Formula generate_base_formula ()
    throws IOException
    {
       final PropertyLexer lexer;