diff options
author | 2019-10-10 22:25:07 -0400 | |
---|---|---|
committer | 2019-10-10 22:25:07 -0400 | |
commit | 16f9cd46474a4934c1afd733d687f3c382fbdf56 (patch) | |
tree | 465a7cc53a489ae81d80f54d45642d84185d5e43 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | |
parent | VAMPIRE: Further develop testing fo r Vampire solver (diff) | |
download | VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.gz VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.tar.zst VIATRA-Generator-16f9cd46474a4934c1afd733d687f3c382fbdf56.zip |
implement http requests for the TPTP server
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend index df3cfd82..39862c65 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | |||
@@ -25,8 +25,7 @@ class Logic2VampireLanguageMapper_ScopeMapper { | |||
25 | 25 | ||
26 | def dispatch public void transformScope(List<Type> types, VampireSolverConfiguration config, | 26 | def dispatch public void transformScope(List<Type> types, VampireSolverConfiguration config, |
27 | Logic2VampireLanguageMapperTrace trace) { | 27 | Logic2VampireLanguageMapperTrace trace) { |
28 | val ABSOLUTE_MIN = 0 | 28 | |
29 | val ABSOLUTE_MAX = Integer.MAX_VALUE | ||
30 | 29 | ||
31 | // TODO HANDLE ERRORS RELATED TO MAX > MIN | 30 | // TODO HANDLE ERRORS RELATED TO MAX > MIN |
32 | // TODO HANDLE ERROR RELATED TO SUM(MIN TYPES)+1(for root) > MAX OBJECTS | 31 | // TODO HANDLE ERROR RELATED TO SUM(MIN TYPES)+1(for root) > MAX OBJECTS |
@@ -40,6 +39,8 @@ class Logic2VampireLanguageMapper_ScopeMapper { | |||
40 | // Number of defined non-abstract elements that are not enum elements | 39 | // Number of defined non-abstract elements that are not enum elements |
41 | // Equals the number of elements in te initial model | 40 | // Equals the number of elements in te initial model |
42 | var elemsInIM = trace.definedElement2String.size | 41 | var elemsInIM = trace.definedElement2String.size |
42 | val ABSOLUTE_MIN = 0 | ||
43 | val ABSOLUTE_MAX = -1-elemsInIM | ||
43 | // var elemsInIM = 0 | 44 | // var elemsInIM = 0 |
44 | // | 45 | // |
45 | // for(t : types.filter(TypeDefinition).filter[!isIsAbstract]) { | 46 | // for(t : types.filter(TypeDefinition).filter[!isIsAbstract]) { |