diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-08-30 15:53:24 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-30 15:53:24 +0200 |
| commit | a21a898301a172c56cfb99b749844db1d308babe (patch) | |
| tree | 9c6132bf13a6f23bf969f2d913cdbf632ac78abc /Framework | |
| parent | FAM metamodel loader experiments (diff) | |
| parent | scopes added to alloy (diff) | |
| download | VIATRA-Generator-a21a898301a172c56cfb99b749844db1d308babe.tar.gz VIATRA-Generator-a21a898301a172c56cfb99b749844db1d308babe.tar.zst VIATRA-Generator-a21a898301a172c56cfb99b749844db1d308babe.zip | |
Merge remote-tracking branch 'origin/master' into kris
Diffstat (limited to 'Framework')
| -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 | ||