diff options
author | 2019-04-04 19:55:10 -0400 | |
---|---|---|
committer | 2019-04-04 19:55:10 -0400 | |
commit | 4829f58fb56e9f7a5f86d422e126a4a65cdeae5e (patch) | |
tree | 6339eac4eee54e788755147e5f7aa22fb73fabd9 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | |
parent | Closes #34, adds code to test cases where minScope>maxScope. (diff) | |
download | VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.tar.gz VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.tar.zst VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.zip |
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_Support.xtend | 4 |
1 files changed, 4 insertions, 0 deletions
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 { | |||
109 | 109 | ||
110 | // TODO Make more general | 110 | // TODO Make more general |
111 | def establishUniqueness(List<VLSConstant> terms, VLSConstant t2) { | 111 | def establishUniqueness(List<VLSConstant> terms, VLSConstant t2) { |
112 | |||
113 | // OLD | ||
112 | // val List<VLSInequality> eqs = newArrayList | 114 | // val List<VLSInequality> eqs = newArrayList |
113 | // for (t1 : terms.subList(1, terms.length)) { | 115 | // for (t1 : terms.subList(1, terms.length)) { |
114 | // for (t2 : terms.subList(0, terms.indexOf(t1))) { | 116 | // for (t2 : terms.subList(0, terms.indexOf(t1))) { |
@@ -122,6 +124,8 @@ class Logic2VampireLanguageMapper_Support { | |||
122 | // } | 124 | // } |
123 | // } | 125 | // } |
124 | // return unfoldAnd(eqs) | 126 | // return unfoldAnd(eqs) |
127 | // END OLD | ||
128 | |||
125 | val List<VLSInequality> eqs = newArrayList | 129 | val List<VLSInequality> eqs = newArrayList |
126 | for (t1 : terms) { | 130 | for (t1 : terms) { |
127 | if (t1 != t2) { | 131 | if (t1 != t2) { |