From 06c523d1692aae6fffcff2d0e617994d4b04bc55 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 28 Jul 2017 15:05:43 +0200
Subject: Removes repetitions, prepares for skol. of sol.

---
 instr-to-kodkod/src/VHDLProperty.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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

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;
-- 
cgit v1.2.3-70-g09d2