From 8af821e133a51179c1692cd48fb03cad80124e54 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Wed, 24 Apr 2019 19:54:57 -0400
Subject: VAMPIRE : initial model handling almost done. only typeScope remains
 #40

---
 .../vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java      | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java')

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
index 621a6e58..f1600087 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapperTrace.java
@@ -31,6 +31,8 @@ public class Logic2VampireLanguageMapperTrace {
   
   public Map<DefinedElement, String> definedElement2String = new HashMap<DefinedElement, String>();
   
+  public Object topLvlElementIsInInitialModel = null;
+  
   public final Map<Type, VLSFunction> type2Predicate = new HashMap<Type, VLSFunction>();
   
   public final Map<DefinedElement, VLSFunction> element2Predicate = new HashMap<DefinedElement, VLSFunction>();
-- 
cgit v1.2.3-54-g00ecf