diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 20:49:08 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 20:49:08 +0200 |
commit | ee902fa6ad7de0bfe08c5a4b62878915426d20d5 (patch) | |
tree | 1bd784253de66351a563aced2288967a98692710 /Framework | |
parent | Transitive closure (diff) | |
download | VIATRA-Generator-ee902fa6ad7de0bfe08c5a4b62878915426d20d5.tar.gz VIATRA-Generator-ee902fa6ad7de0bfe08c5a4b62878915426d20d5.tar.zst VIATRA-Generator-ee902fa6ad7de0bfe08c5a4b62878915426d20d5.zip |
Transitive closure support
Diffstat (limited to 'Framework')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend index 414af4c8..e83b81e6 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | |||
@@ -91,7 +91,11 @@ class Constraint2Logic { | |||
91 | Map<PVariable, Variable> variable2Variable, | 91 | Map<PVariable, Variable> variable2Variable, |
92 | Viatra2LogicConfiguration config) | 92 | Viatra2LogicConfiguration config) |
93 | { | 93 | { |
94 | throw new UnsupportedOperationException | 94 | transitiveClosure( |
95 | constraint.referredQuery.lookup(viatra2LogicTrace.query2Relation), | ||
96 | (constraint.variablesTuple.get(0) as PVariable).lookup(variable2Variable).toTerm, | ||
97 | (constraint.variablesTuple.get(1) as PVariable).lookup(variable2Variable).toTerm | ||
98 | ) | ||
95 | } | 99 | } |
96 | 100 | ||
97 | def dispatch Term transformConstraint(ConstantValue constant, | 101 | def dispatch Term transformConstraint(ConstantValue constant, |