From ee902fa6ad7de0bfe08c5a4b62878915426d20d5 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 20:49:08 +0200 Subject: Transitive closure support --- .../hu/bme/mit/inf/dslreasoner/viatra2logic/Constraint2Logic.xtend | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit') 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 { Map variable2Variable, Viatra2LogicConfiguration config) { - throw new UnsupportedOperationException + transitiveClosure( + constraint.referredQuery.lookup(viatra2LogicTrace.query2Relation), + (constraint.variablesTuple.get(0) as PVariable).lookup(variable2Variable).toTerm, + (constraint.variablesTuple.get(1) as PVariable).lookup(variable2Variable).toTerm + ) } def dispatch Term transformConstraint(ConstantValue constant, -- cgit v1.2.3-54-g00ecf