From 7b8aa9c1364a555e8e64e19b64e30868dc7358de Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 19:11:40 +0200 Subject: Transitive closure --- .../inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit') 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 -- cgit v1.2.3-54-g00ecf