diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu')
-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, |