Transitive closure support

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 {
                 Map<PVariable, Variable> 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,