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 | |
| 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
| -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 | ||