diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore new file mode 100644 index 00000000..ea4be457 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore | |||
| @@ -0,0 +1,49 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?> | ||
| 2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
| 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="logicproblem" nsURI="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" | ||
| 4 | nsPrefix="language"> | ||
| 5 | <eClassifiers xsi:type="ecore:EClass" name="LogicProblem"> | ||
| 6 | <eStructuralFeatures xsi:type="ecore:EReference" name="types" upperBound="-1" | ||
| 7 | eType="ecore:EClass logiclanguage.ecore#//Type" containment="true"/> | ||
| 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="functions" upperBound="-1" | ||
| 9 | eType="ecore:EClass logiclanguage.ecore#//Function" containment="true"/> | ||
| 10 | <eStructuralFeatures xsi:type="ecore:EReference" name="assertions" upperBound="-1" | ||
| 11 | eType="ecore:EClass logiclanguage.ecore#//Assertion" containment="true"/> | ||
| 12 | <eStructuralFeatures xsi:type="ecore:EReference" name="relations" upperBound="-1" | ||
| 13 | eType="ecore:EClass logiclanguage.ecore#//Relation" containment="true"/> | ||
| 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="constants" upperBound="-1" | ||
| 15 | eType="ecore:EClass logiclanguage.ecore#//Constant" containment="true"/> | ||
| 16 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | ||
| 17 | eType="ecore:EClass logiclanguage.ecore#//DefinedElement" containment="true"/> | ||
| 18 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentHierarchies" | ||
| 19 | upperBound="-1" eType="#//ContainmentHierarchy" containment="true"/> | ||
| 20 | <eStructuralFeatures xsi:type="ecore:EReference" name="annotations" upperBound="-1" | ||
| 21 | eType="#//Annotation" containment="true"/> | ||
| 22 | </eClassifiers> | ||
| 23 | <eClassifiers xsi:type="ecore:EClass" name="ContainmentHierarchy"> | ||
| 24 | <eStructuralFeatures xsi:type="ecore:EReference" name="typesOrderedInHierarchy" | ||
| 25 | upperBound="-1" eType="ecore:EClass logiclanguage.ecore#//Type"/> | ||
| 26 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentFunctions" upperBound="-1" | ||
| 27 | eType="ecore:EClass logiclanguage.ecore#//Function"/> | ||
| 28 | <eStructuralFeatures xsi:type="ecore:EReference" name="containmentRelations" upperBound="-1" | ||
| 29 | eType="ecore:EClass logiclanguage.ecore#//Relation"/> | ||
| 30 | <eStructuralFeatures xsi:type="ecore:EReference" name="rootConstant" eType="ecore:EClass logiclanguage.ecore#//Constant"/> | ||
| 31 | </eClassifiers> | ||
| 32 | <eClassifiers xsi:type="ecore:EClass" name="RelationAnnotation" eSuperTypes="#//Annotation"> | ||
| 33 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
| 34 | eType="ecore:EClass logiclanguage.ecore#//Relation" eOpposite="logiclanguage.ecore#//Relation/annotations"/> | ||
| 35 | </eClassifiers> | ||
| 36 | <eClassifiers xsi:type="ecore:EClass" name="ConstantAnnotation" eSuperTypes="#//Annotation"> | ||
| 37 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
| 38 | eType="ecore:EClass logiclanguage.ecore#//Constant" eOpposite="logiclanguage.ecore#//Constant/annotations"/> | ||
| 39 | </eClassifiers> | ||
| 40 | <eClassifiers xsi:type="ecore:EClass" name="FunctionAnnotation" eSuperTypes="#//Annotation"> | ||
| 41 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
| 42 | eType="ecore:EClass logiclanguage.ecore#//Function" eOpposite="logiclanguage.ecore#//Function/annotations"/> | ||
| 43 | </eClassifiers> | ||
| 44 | <eClassifiers xsi:type="ecore:EClass" name="AssertionAnnotation" eSuperTypes="#//Annotation"> | ||
| 45 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" | ||
| 46 | eType="ecore:EClass logiclanguage.ecore#//Assertion" eOpposite="logiclanguage.ecore#//Assertion/annotations"/> | ||
| 47 | </eClassifiers> | ||
| 48 | <eClassifiers xsi:type="ecore:EClass" name="Annotation"/> | ||
| 49 | </ecore:EPackage> | ||