1 files changed, 3 insertions, 0 deletions

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">