diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 19:11:40 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 19:11:40 +0200 |
| commit | 7b8aa9c1364a555e8e64e19b64e30868dc7358de (patch) | |
| tree | 290b1641251004752cba783cea9a7aca92e9fb5b /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit | |
| parent | Adding transitive closure to the logic language (diff) | |
| download | VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.tar.gz VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.tar.zst VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.zip | |
Transitive closure
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit')
| -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 | ||