diff options
| author |  Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 02:41:05 +0200 |
|---|---|---|
| committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 02:41:05 +0200 |
| commit | 28a7fda89898ec9d32d97efe7a0e111f36a8cf87 (patch) | |
| tree | 7638c7a5876ff02250c4014cf60b2d8140ad1544 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src | |
| parent | Adjustments to FamilyTree and Pledge Case studies (diff) | |
| download | VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.gz VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.tar.zst VIATRA-Generator-28a7fda89898ec9d32d97efe7a0e111f36a8cf87.zip | |
viatra parsing fixes
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2Logic.xtend | 1 |
1 files changed, 1 insertions, 0 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 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 { | |||
| 144 | it.target = lRelation | 144 | it.target = lRelation |
| 145 | it.patternFullyQualifiedName = pquery.fullyQualifiedName | 145 | it.patternFullyQualifiedName = pquery.fullyQualifiedName |
| 146 | it.patternPQuery = pquery | 146 | it.patternPQuery = pquery |
| 147 | it.optimizedDisjunction = viatra2LogicTrace.query2Disjunction.get(pquery) | ||
| 147 | ] | 148 | ] |
| 148 | viatra2LogicTrace.query2Annotation.put(pquery,annotation) | 149 | viatra2LogicTrace.query2Annotation.put(pquery,annotation) |
| 149 | ecore2LogicTrace.output.annotations += annotation | 150 | ecore2LogicTrace.output.annotations += annotation |