Variable trace added to Viatra2Logic mapping

1 files changed, 5 insertions, 1 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend
index 0f97d3fe..a098945d 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend
@@ -248,6 +248,10 @@ class  Viatra2Logic {
                                                 innerPositiveVariables += logicVariable

                                         }

                                         variable2Variable.put(innerVariable,logicVariable)

+                                        body.pattern.lookup(viatra2LogicTrace.query2Annotation).variableTrace += createVariableMapping=>[

+                                                it.sourcePVariable = innerVariable

+                                                it.targetLogicVariable = logicVariable

+                                        ]

                                 }

                         }

                 }

@@ -267,7 +271,7 @@ class  Viatra2Logic {
                 } else {

                         Exists(innerPositiveVariables,allNegativeVariablesAreSatisfied);

                 }

-                

+        

                 return allVariablesAreExisting

         }