diff options
author | 2019-08-30 15:53:24 +0200 | |
---|---|---|
committer | 2019-08-30 15:53:24 +0200 | |
commit | a21a898301a172c56cfb99b749844db1d308babe (patch) | |
tree | 9c6132bf13a6f23bf969f2d913cdbf632ac78abc /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src | |
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/hu.bme.mit.inf.dslreasoner.logic.model/src')
-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 | ||