diff options
author | 2017-08-16 19:11:40 +0200 | |
---|---|---|
committer | 2017-08-16 19:11:40 +0200 | |
commit | 7b8aa9c1364a555e8e64e19b64e30868dc7358de (patch) | |
tree | 290b1641251004752cba783cea9a7aca92e9fb5b /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu | |
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')
-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 | ||