diff options
author | 2017-08-08 14:57:04 +0200 | |
---|---|---|
committer | 2017-08-08 14:57:04 +0200 | |
commit | 6d3442d703cf5c67862adb81b0495c9ce76be3f5 (patch) | |
tree | 26b6114668463363fa6b5feef934ae3eb9b514a2 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu | |
parent | Modified LogicSolver to support the use of integer, string and real (diff) | |
download | VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.gz VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.zst VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.zip |
Fixed a typo
allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 6 |
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 { | |||
227 | ecore2LogicTrace,viatra2LogicTrace,variable2Variable,config) | 227 | ecore2LogicTrace,viatra2LogicTrace,variable2Variable,config) |
228 | ].filterNull | 228 | ].filterNull |
229 | val allConstraintIsSatisfied = And(translatedConstraints) | 229 | val allConstraintIsSatisfied = And(translatedConstraints) |
230 | val allNetativeVariablesAreSatisfied = if(innerNegativeVariables.empty) { | 230 | val allNegativeVariablesAreSatisfied = if(innerNegativeVariables.empty) { |
231 | allConstraintIsSatisfied | 231 | allConstraintIsSatisfied |
232 | } else { | 232 | } else { |
233 | Forall(innerNegativeVariables,allConstraintIsSatisfied); | 233 | Forall(innerNegativeVariables,allConstraintIsSatisfied); |
234 | } | 234 | } |
235 | val allVariablesAreExisting = if(innerPositiveVariables.empty) { | 235 | val allVariablesAreExisting = if(innerPositiveVariables.empty) { |
236 | allNetativeVariablesAreSatisfied | 236 | allNegativeVariablesAreSatisfied |
237 | } else { | 237 | } else { |
238 | Exists(innerPositiveVariables,allNetativeVariablesAreSatisfied); | 238 | Exists(innerPositiveVariables,allNegativeVariablesAreSatisfied); |
239 | } | 239 | } |
240 | 240 | ||
241 | return allVariablesAreExisting | 241 | return allVariablesAreExisting |