From 4829f58fb56e9f7a5f86d422e126a4a65cdeae5e Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 4 Apr 2019 19:55:10 -0400 Subject: Facilitate #31, close #36 --- .../reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend index b00dad42..dd88a53a 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend @@ -109,6 +109,8 @@ class Logic2VampireLanguageMapper_Support { // TODO Make more general def establishUniqueness(List terms, VLSConstant t2) { + +// OLD // val List eqs = newArrayList // for (t1 : terms.subList(1, terms.length)) { // for (t2 : terms.subList(0, terms.indexOf(t1))) { @@ -122,6 +124,8 @@ class Logic2VampireLanguageMapper_Support { // } // } // return unfoldAnd(eqs) +// END OLD + val List eqs = newArrayList for (t1 : terms) { if (t1 != t2) { -- cgit v1.2.3-54-g00ecf