From 28a7fda89898ec9d32d97efe7a0e111f36a8cf87 Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Thu, 7 May 2020 02:41:05 +0200
Subject: viatra parsing fixes

---
 .../model/ViatraModelAnnotations.ecore                                 | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
index 0d3a9755..0da2bde6 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore
@@ -10,6 +10,9 @@
         transient="true"/>
     <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1"
         eType="#//VariableMapping" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="optimizedDisjunction" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"
+        transient="true"/>
   </eClassifiers>
   <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint"
       eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation">
-- 
cgit v1.2.3-70-g09d2