From 28a7fda89898ec9d32d97efe7a0e111f36a8cf87 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Thu, 7 May 2020 02:41:05 +0200 Subject: viatra parsing fixes --- .../src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 1 + 1 file changed, 1 insertion(+) (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/Viatra2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend index a098945d..74e03f71 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 @@ -144,6 +144,7 @@ class Viatra2Logic { it.target = lRelation it.patternFullyQualifiedName = pquery.fullyQualifiedName it.patternPQuery = pquery + it.optimizedDisjunction = viatra2LogicTrace.query2Disjunction.get(pquery) ] viatra2LogicTrace.query2Annotation.put(pquery,annotation) ecore2LogicTrace.output.annotations += annotation -- cgit v1.2.3-70-g09d2