diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | 7 |
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{ | |||
485 | it.range = type.toTypeReference | 485 | it.range = type.toTypeReference |
486 | ] | 486 | ] |
487 | } | 487 | } |
488 | def public transitiveClosure(Relation relation, TermDescription source, TermDescription target) { | ||
489 | createTransitiveClosure => [ | ||
490 | it.relation = relation | ||
491 | it.leftOperand = leftOperand | ||
492 | it.rightOperand = rightOperand | ||
493 | ] | ||
494 | } | ||
488 | 495 | ||
489 | // QuantifiedExpressions | 496 | // QuantifiedExpressions |
490 | 497 | ||