diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore | 3 |
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 @@ | |||
10 | transient="true"/> | 10 | transient="true"/> |
11 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1" | 11 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1" |
12 | eType="#//VariableMapping" containment="true"/> | 12 | eType="#//VariableMapping" containment="true"/> |
13 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="optimizedDisjunction" lowerBound="1" | ||
14 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" | ||
15 | transient="true"/> | ||
13 | </eClassifiers> | 16 | </eClassifiers> |
14 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" | 17 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" |
15 | eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> | 18 | eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"> |