1 files changed, 7 insertions, 0 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 d09f77af..ac9781e3 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
@@ -485,6 +485,13 @@ public class LogicProblemBuilder{
                         it.range = type.toTypeReference

                 ]

         }

+        def public transitiveClosure(Relation relation, TermDescription source, TermDescription target) {

+                createTransitiveClosure => [

+                        it.relation = relation

+                        it.leftOperand = leftOperand

+                        it.rightOperand = rightOperand

+                ]

+        }

         

         // QuantifiedExpressions