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/model/ViatraModelAnnotations.ecore | |
| 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/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"> |