Implement containment circularity avoidance #20

1 files changed, 8 insertions, 0 deletions

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 513618a9..89633ca1 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
@@ -129,6 +129,14 @@ public class Logic2VampireLanguageMapper_Support {
     return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function);

   }

   

+  protected List<VLSVariable> duplicate(final List<VLSVariable> vars) {

+    ArrayList<VLSVariable> newList = CollectionLiterals.<VLSVariable>newArrayList();

+    for (final VLSVariable v : vars) {

+      newList.add(this.duplicate(v));

+    }

+    return newList;

+  }

+  

   protected VLSConstant toConstant(final VLSFunctionAsTerm term) {

     VLSConstant _createVLSConstant = this.factory.createVLSConstant();

     final Procedure1<VLSConstant> _function = (VLSConstant it) -> {