From 16f9cd46474a4934c1afd733d687f3c382fbdf56 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 10 Oct 2019 22:25:07 -0400 Subject: implement http requests for the TPTP server --- .../reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend') 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 { def dispatch public void transformScope(List types, VampireSolverConfiguration config, Logic2VampireLanguageMapperTrace trace) { - val ABSOLUTE_MIN = 0 - val ABSOLUTE_MAX = Integer.MAX_VALUE + // TODO HANDLE ERRORS RELATED TO MAX > MIN // TODO HANDLE ERROR RELATED TO SUM(MIN TYPES)+1(for root) > MAX OBJECTS @@ -40,6 +39,8 @@ class Logic2VampireLanguageMapper_ScopeMapper { // Number of defined non-abstract elements that are not enum elements // Equals the number of elements in te initial model var elemsInIM = trace.definedElement2String.size + val ABSOLUTE_MIN = 0 + val ABSOLUTE_MAX = -1-elemsInIM // var elemsInIM = 0 // // for(t : types.filter(TypeDefinition).filter[!isIsAbstract]) { -- cgit v1.2.3-54-g00ecf