From 25a4b1b53add70e268c3083682f8a3508c618ec2 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Fri, 25 Oct 2019 04:15:39 -0400 Subject: VAMPIRE: post-submission push --- .../reasoner/builder/Logic2VampireLanguageMapper_ScopeMapper.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 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 a9516cc4..96c2da48 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 @@ -56,11 +56,11 @@ class Logic2VampireLanguageMapper_ScopeMapper { val localInstances = newArrayList - val consistant = GLOBAL_MAX > GLOBAL_MIN + val consistant = GLOBAL_MAX >= GLOBAL_MIN // Handling Minimum_General if (GLOBAL_MIN != ABSOLUTE_MIN) { - getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, consistant)//may make not consistent here + getInstanceConstants(GLOBAL_MIN, 0, localInstances, trace, true, !consistant)//may make not consistent here if (consistant) { for (i : trace.uniqueInstances) { localInstances.add(support.duplicate(i)) @@ -73,7 +73,7 @@ class Logic2VampireLanguageMapper_ScopeMapper { // Handling Maximum_General if (GLOBAL_MAX != ABSOLUTE_MAX) { - getInstanceConstants(GLOBAL_MAX, 0, localInstances, trace, true, !consistant) + getInstanceConstants(GLOBAL_MAX, 0, localInstances, trace, true, consistant) if (consistant) { makeFofFormula(trace.uniqueInstances as ArrayList, trace, false, null) } else { -- cgit v1.2.3-70-g09d2