blob: 3c2358514130abd0c0291f400771026b912bf846 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partialinterpretation" nsURI="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
nsPrefix="partialinterpretation">
<eClassifiers xsi:type="ecore:EClass" name="PartialInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="problem" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialconstantinterpretation"
upperBound="-1" eType="#//PartialConstantInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialrelationinterpretation"
upperBound="-1" eType="#//PartialRelationInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialfunctioninterpretation"
upperBound="-1" eType="#//PartialFunctionInterpretation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="newElements" upperBound="-1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation"
upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"
iD="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototypes"
upperBound="-1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="stringelement" upperBound="-1"
eType="#//StringElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="stringelements" upperBound="-1"
eType="#//StringElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="realelements" upperBound="-1"
eType="#//RealElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="integerelements" upperBound="-1"
eType="#//IntegerElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="booleanelements" upperBound="-1"
eType="#//BooleanElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewIntegers" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewReals" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="newStrings" upperBound="-1"
eType="#//StringElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="newReals" upperBound="-1"
eType="#//RealElement" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="newIntegers" upperBound="-1"
eType="#//IntegerElement" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//ConstantDeclaration"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialRelationInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="relationlinks" upperBound="-1"
eType="#//RelationLink" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param2" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialFunctionInterpretation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation">
<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation"
upperBound="-1" eType="#//PartialTypeInterpratation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BinaryElementRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="param2" lowerBound="1"
eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLink" eSuperTypes="#//RelationLink">
<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
eType="#//NaryRelationLinkElement" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PrimitiveElement" abstract="true" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="valueSet" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="BooleanElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="IntegerElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="RealElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StringElement" eSuperTypes="#//PrimitiveElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
</ecore:EPackage>
|
