From 6d3442d703cf5c67862adb81b0495c9ce76be3f5 Mon Sep 17 00:00:00 2001 From: Mayer Krisztián Gábor Date: Tue, 8 Aug 2017 14:57:04 +0200 Subject: Fixed a typo allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied --- .../src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend index a4b6cc6d..86fc8537 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend @@ -227,15 +227,15 @@ class Viatra2Logic { ecore2LogicTrace,viatra2LogicTrace,variable2Variable,config) ].filterNull val allConstraintIsSatisfied = And(translatedConstraints) - val allNetativeVariablesAreSatisfied = if(innerNegativeVariables.empty) { + val allNegativeVariablesAreSatisfied = if(innerNegativeVariables.empty) { allConstraintIsSatisfied } else { Forall(innerNegativeVariables,allConstraintIsSatisfied); } val allVariablesAreExisting = if(innerPositiveVariables.empty) { - allNetativeVariablesAreSatisfied + allNegativeVariablesAreSatisfied } else { - Exists(innerPositiveVariables,allNetativeVariablesAreSatisfied); + Exists(innerPositiveVariables,allNegativeVariablesAreSatisfied); } return allVariablesAreExisting -- cgit v1.2.3-54-g00ecf