Fixed a typo

allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied

1 files changed, 3 insertions, 3 deletions

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