From 844c46e8a3620c7fae26f87e148643b32480dced Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 4 Apr 2019 14:43:17 -0400
Subject: Closes #34, adds code to test cases where minScope>maxScope.

---
 .../Logic2VampireLanguageMapper_Support.java       | 40 ++++++++++++++++++++++
 1 file changed, 40 insertions(+)

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

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
index 64129bf3..513618a9 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java
@@ -371,6 +371,46 @@ public class Logic2VampireLanguageMapper_Support {
     return _xifexpression;
   }
   
+  protected boolean dfsSubtypeCheck(final Type type, final Type type2) {
+    boolean _xifexpression = false;
+    boolean _isEmpty = type.getSubtypes().isEmpty();
+    if (_isEmpty) {
+      return false;
+    } else {
+      boolean _xifexpression_1 = false;
+      boolean _contains = type.getSubtypes().contains(type2);
+      if (_contains) {
+        return true;
+      } else {
+        EList<Type> _subtypes = type.getSubtypes();
+        for (final Type subtype : _subtypes) {
+          boolean _dfsSubtypeCheck = this.dfsSubtypeCheck(subtype, type2);
+          if (_dfsSubtypeCheck) {
+            return true;
+          }
+        }
+      }
+      _xifexpression = _xifexpression_1;
+    }
+    return _xifexpression;
+  }
+  
+  protected List<Type> listSubtypes(final Type t) {
+    List<Type> allSubtypes = CollectionLiterals.<Type>newArrayList();
+    boolean _isEmpty = t.getSubtypes().isEmpty();
+    boolean _not = (!_isEmpty);
+    if (_not) {
+      EList<Type> _subtypes = t.getSubtypes();
+      for (final Type subt : _subtypes) {
+        {
+          allSubtypes.add(subt);
+          allSubtypes = this.listSubtypes(subt);
+        }
+      }
+    }
+    return allSubtypes;
+  }
+  
   protected HashMap<Variable, VLSVariable> withAddition(final Map<Variable, VLSVariable> map1, final Map<Variable, VLSVariable> map2) {
     HashMap<Variable, VLSVariable> _hashMap = new HashMap<Variable, VLSVariable>(map1);
     final Procedure1<HashMap<Variable, VLSVariable>> _function = (HashMap<Variable, VLSVariable> it) -> {
-- 
cgit v1.2.3-70-g09d2