diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-05 03:32:48 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:36:25 -0400 |
commit | b1bbb821c0e5a3f721de211826dab19c7d9dca4f (patch) | |
tree | ac4a87adba243916973a96141354adbed6f72979 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.java | |
parent | test push (diff) | |
download | VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.gz VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.zst VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.zip |
Implement containment circularity avoidance #20
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) -> { |