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 | 12 |
1 files changed, 12 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 b7d2dcc3..0da2bde6 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/model/ViatraModelAnnotations.ecore | |||
| @@ -8,6 +8,11 @@ | |||
| 8 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternPQuery" lowerBound="1" | 8 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="patternPQuery" lowerBound="1" |
| 9 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" | 9 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" |
| 10 | transient="true"/> | 10 | transient="true"/> |
| 11 | <eStructuralFeatures xsi:type="ecore:EReference" name="variableTrace" upperBound="-1" | ||
| 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"/> | ||
| 11 | </eClassifiers> | 16 | </eClassifiers> |
| 12 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" | 17 | <eClassifiers xsi:type="ecore:EClass" name="TransformedViatraWellformednessConstraint" |
| 13 | 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"> |
| @@ -16,4 +21,11 @@ | |||
| 16 | <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> | 21 | <eClassifiers xsi:type="ecore:EClass" name="DefinedByDerivedFeature" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//RelationAnnotation"> |
| 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> | 22 | <eStructuralFeatures xsi:type="ecore:EReference" name="query" lowerBound="1" eType="#//TransfomedViatraQuery"/> |
| 18 | </eClassifiers> | 23 | </eClassifiers> |
| 24 | <eClassifiers xsi:type="ecore:EClass" name="VariableMapping"> | ||
| 25 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="sourcePVariable" lowerBound="1" | ||
| 26 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject" | ||
| 27 | transient="true"/> | ||
| 28 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogicVariable" lowerBound="1" | ||
| 29 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Variable"/> | ||
| 30 | </eClassifiers> | ||
| 19 | </ecore:EPackage> | 31 | </ecore:EPackage> |