From 3d92a0eb813309993892a978482b2858179034f7 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 5 Mar 2019 21:33:28 -0500
Subject: Partially improve coding style (leaving for soccer)

---
 .../reasoner/builder/Logic2VampireLanguageMapperTrace.java   | 12 ++++++++++++
 1 file changed, 12 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 855815f8..2b491209 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
@@ -8,8 +8,10 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDeclaration;
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.ConstantDefinition;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDefinition;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type;
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Variable;
 import java.util.HashMap;
 import java.util.Map;
@@ -24,10 +26,20 @@ public class Logic2VampireLanguageMapperTrace {
   
   public Logic2VampireLanguageMapper_TypeMapperTrace typeMapperTrace;
   
+  public final Map<Type, VLSFunction> type2Predicate = new HashMap<Type, VLSFunction>();
+  
+  public final Map<DefinedElement, VLSFunction> element2Predicate = new HashMap<DefinedElement, VLSFunction>();
+  
+  public final Map<Type, VLSTerm> type2PossibleNot = new HashMap<Type, VLSTerm>();
+  
+  public final Map<Type, VLSTerm> type2And = new HashMap<Type, VLSTerm>();
+  
   public Map<ConstantDeclaration, ConstantDefinition> constantDefinitions;
   
   public Map<RelationDeclaration, RelationDefinition> relationDefinitions;
   
+  public Map<RelationDeclaration, VLSFunction> rel2Predicate = new HashMap<RelationDeclaration, VLSFunction>();
+  
   public final Map<Variable, VLSVariable> relationVar2VLS = new HashMap<Variable, VLSVariable>();
   
   public final Map<Variable, VLSFunction> relationVar2TypeDec = new HashMap<Variable, VLSFunction>();
-- 
cgit v1.2.3-54-g00ecf