From 75cafbe84e8af64bb0a723ed249a493b5bbc4cb1 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Fri, 17 Apr 2020 00:16:07 +0200 Subject: Variable trace added to Viatra2Logic mapping --- .../src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner') 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 } -- cgit v1.2.3-54-g00ecf