diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | 8 |
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 { | |||
129 | return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function); | 129 | return ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function); |
130 | } | 130 | } |
131 | 131 | ||
132 | protected List<VLSVariable> duplicate(final List<VLSVariable> vars) { | ||
133 | ArrayList<VLSVariable> newList = CollectionLiterals.<VLSVariable>newArrayList(); | ||
134 | for (final VLSVariable v : vars) { | ||
135 | newList.add(this.duplicate(v)); | ||
136 | } | ||
137 | return newList; | ||
138 | } | ||
139 | |||
132 | protected VLSConstant toConstant(final VLSFunctionAsTerm term) { | 140 | protected VLSConstant toConstant(final VLSFunctionAsTerm term) { |
133 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); | 141 | VLSConstant _createVLSConstant = this.factory.createVLSConstant(); |
134 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { | 142 | final Procedure1<VLSConstant> _function = (VLSConstant it) -> { |