From 933ce1872359918ff71602479640f4153063a737 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 30 Aug 2019 14:26:55 +0200 Subject: Bug fixed in transitive closure expression builder --- .../mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Framework') 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{ def transitiveClosure(Relation relation, TermDescription source, TermDescription target) { createTransitiveClosure => [ it.relation = relation - it.leftOperand = leftOperand - it.rightOperand = rightOperand + it.leftOperand = source.toTerm + it.rightOperand = target.toTerm ] } -- cgit v1.2.3-54-g00ecf