diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 14:26:55 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-08-30 14:26:55 +0200 |
commit | 933ce1872359918ff71602479640f4153063a737 (patch) | |
tree | 93c7ed7ef8a19191f8d112a3133f6df5bd07864b /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf | |
parent | Alloy RunCommand int scope fix candidate (diff) | |
download | VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.tar.gz VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.tar.zst VIATRA-Generator-933ce1872359918ff71602479640f4153063a737.zip |
Bug fixed in transitive closure expression builder
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend index a231af3c..fa97cbef 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | |||
@@ -494,8 +494,8 @@ class LogicProblemBuilder{ | |||
494 | def transitiveClosure(Relation relation, TermDescription source, TermDescription target) { | 494 | def transitiveClosure(Relation relation, TermDescription source, TermDescription target) { |
495 | createTransitiveClosure => [ | 495 | createTransitiveClosure => [ |
496 | it.relation = relation | 496 | it.relation = relation |
497 | it.leftOperand = leftOperand | 497 | it.leftOperand = source.toTerm |
498 | it.rightOperand = rightOperand | 498 | it.rightOperand = target.toTerm |
499 | ] | 499 | ] |
500 | } | 500 | } |
501 | 501 | ||