aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel232
1 files changed, 232 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
new file mode 100644
index 00000000..80550537
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
@@ -0,0 +1,232 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen"
4 modelPluginID="hu.bme.mit.inf.dslreasoner.logic.model" modelName="Logiclanguage"
5 rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
6 complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
7 <foreignModel>logiclanguage.ecore</foreignModel>
8 <foreignModel>logicproblem.ecore</foreignModel>
9 <foreignModel>logicresult.ecore</foreignModel>
10 <genPackages prefix="Logiclanguage" basePackage="hu.bme.mit.inf.dslreasoner.logic.model"
11 disposableProviderFactory="true" ecorePackage="logiclanguage.ecore#/">
12 <genClasses ecoreClass="logiclanguage.ecore#//Type">
13 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//Type/name"/>
14 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Type/subtypes"/>
15 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Type/supertypes"/>
16 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//Type/isAbstract"/>
17 </genClasses>
18 <genClasses ecoreClass="logiclanguage.ecore#//DefinedElement">
19 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//DefinedElement/definedInType"/>
20 </genClasses>
21 <genClasses ecoreClass="logiclanguage.ecore#//TypeDefinition">
22 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TypeDefinition/elements"/>
23 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TypeDefinition/defines"/>
24 </genClasses>
25 <genClasses ecoreClass="logiclanguage.ecore#//TypeReference"/>
26 <genClasses ecoreClass="logiclanguage.ecore#//ComplexTypeReference">
27 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//ComplexTypeReference/referred"/>
28 </genClasses>
29 <genClasses image="false" ecoreClass="logiclanguage.ecore#//PrimitiveTypeReference"/>
30 <genClasses ecoreClass="logiclanguage.ecore#//IntTypeReference"/>
31 <genClasses ecoreClass="logiclanguage.ecore#//BoolTypeReference"/>
32 <genClasses ecoreClass="logiclanguage.ecore#//RealTypeReference"/>
33 <genClasses ecoreClass="logiclanguage.ecore#//Function">
34 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Function/range"/>
35 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Function/parameters"/>
36 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Function/annotations"/>
37 </genClasses>
38 <genClasses image="false" ecoreClass="logiclanguage.ecore#//Term"/>
39 <genClasses ecoreClass="logiclanguage.ecore#//SymbolicDeclaration">
40 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//SymbolicDeclaration/name"/>
41 </genClasses>
42 <genClasses ecoreClass="logiclanguage.ecore#//SymbolicValue">
43 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//SymbolicValue/symbolicReference"/>
44 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//SymbolicValue/parameterSubstitutions"/>
45 </genClasses>
46 <genClasses ecoreClass="logiclanguage.ecore#//AtomicTerm"/>
47 <genClasses ecoreClass="logiclanguage.ecore#//IntLiteral">
48 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//IntLiteral/value"/>
49 </genClasses>
50 <genClasses ecoreClass="logiclanguage.ecore#//BoolLiteral">
51 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//BoolLiteral/value"/>
52 </genClasses>
53 <genClasses ecoreClass="logiclanguage.ecore#//RealLiteral">
54 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//RealLiteral/value"/>
55 </genClasses>
56 <genClasses ecoreClass="logiclanguage.ecore#//Variable">
57 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Variable/range"/>
58 </genClasses>
59 <genClasses image="false" ecoreClass="logiclanguage.ecore#//QuantifiedExpression">
60 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//QuantifiedExpression/quantifiedVariables"/>
61 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//QuantifiedExpression/expression"/>
62 </genClasses>
63 <genClasses ecoreClass="logiclanguage.ecore#//Exists"/>
64 <genClasses ecoreClass="logiclanguage.ecore#//Forall"/>
65 <genClasses ecoreClass="logiclanguage.ecore#//BoolOperation"/>
66 <genClasses ecoreClass="logiclanguage.ecore#//And">
67 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//And/operands"/>
68 </genClasses>
69 <genClasses ecoreClass="logiclanguage.ecore#//Or">
70 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Or/operands"/>
71 </genClasses>
72 <genClasses ecoreClass="logiclanguage.ecore#//Impl">
73 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Impl/leftOperand"/>
74 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Impl/rightOperand"/>
75 </genClasses>
76 <genClasses ecoreClass="logiclanguage.ecore#//Not">
77 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Not/operand"/>
78 </genClasses>
79 <genClasses ecoreClass="logiclanguage.ecore#//Iff">
80 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Iff/leftOperand"/>
81 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Iff/rightOperand"/>
82 </genClasses>
83 <genClasses image="false" ecoreClass="logiclanguage.ecore#//PrimitiveRelation"/>
84 <genClasses ecoreClass="logiclanguage.ecore#//Equals">
85 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Equals/leftOperand"/>
86 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Equals/rightOperand"/>
87 </genClasses>
88 <genClasses ecoreClass="logiclanguage.ecore#//Distinct">
89 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Distinct/operands"/>
90 </genClasses>
91 <genClasses ecoreClass="logiclanguage.ecore#//LessThan">
92 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//LessThan/leftOperand"/>
93 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//LessThan/rightOperand"/>
94 </genClasses>
95 <genClasses ecoreClass="logiclanguage.ecore#//MoreThan">
96 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreThan/leftOperand"/>
97 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreThan/rightOperand"/>
98 </genClasses>
99 <genClasses ecoreClass="logiclanguage.ecore#//LessOrEqualThan">
100 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//LessOrEqualThan/leftOperand"/>
101 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//LessOrEqualThan/rightOperand"/>
102 </genClasses>
103 <genClasses ecoreClass="logiclanguage.ecore#//MoreOrEqualThan">
104 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/leftOperand"/>
105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/rightOperand"/>
106 </genClasses>
107 <genClasses image="false" ecoreClass="logiclanguage.ecore#//IntOperation">
108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/leftOperand"/>
109 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/rightOperand"/>
110 </genClasses>
111 <genClasses ecoreClass="logiclanguage.ecore#//Plus"/>
112 <genClasses ecoreClass="logiclanguage.ecore#//Minus"/>
113 <genClasses ecoreClass="logiclanguage.ecore#//Multiply"/>
114 <genClasses ecoreClass="logiclanguage.ecore#//Divison"/>
115 <genClasses ecoreClass="logiclanguage.ecore#//Mod"/>
116 <genClasses image="false" ecoreClass="logiclanguage.ecore#//TypeDescriptor"/>
117 <genClasses image="false" ecoreClass="logiclanguage.ecore#//TermDescription"/>
118 <genClasses ecoreClass="logiclanguage.ecore#//Assertion">
119 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Assertion/value"/>
120 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//Assertion/name"/>
121 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Assertion/annotations"/>
122 </genClasses>
123 <genClasses ecoreClass="logiclanguage.ecore#//Relation">
124 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Relation/parameters"/>
125 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Relation/annotations"/>
126 </genClasses>
127 <genClasses ecoreClass="logiclanguage.ecore#//Constant">
128 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Constant/type"/>
129 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//Constant/annotations"/>
130 </genClasses>
131 <genClasses ecoreClass="logiclanguage.ecore#//ConstantDefinition">
132 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//ConstantDefinition/value"/>
133 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//ConstantDefinition/defines"/>
134 </genClasses>
135 <genClasses ecoreClass="logiclanguage.ecore#//RelationDefinition">
136 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//RelationDefinition/variables"/>
137 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//RelationDefinition/value"/>
138 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//RelationDefinition/defines"/>
139 </genClasses>
140 <genClasses ecoreClass="logiclanguage.ecore#//FunctionDefinition">
141 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//FunctionDefinition/variable"/>
142 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//FunctionDefinition/defines"/>
143 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//FunctionDefinition/value"/>
144 </genClasses>
145 <genClasses ecoreClass="logiclanguage.ecore#//IfThenElse">
146 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IfThenElse/condition"/>
147 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IfThenElse/ifTrue"/>
148 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IfThenElse/ifFalse"/>
149 </genClasses>
150 <genClasses ecoreClass="logiclanguage.ecore#//ConstantDeclaration"/>
151 <genClasses ecoreClass="logiclanguage.ecore#//RelationDeclaration"/>
152 <genClasses ecoreClass="logiclanguage.ecore#//FunctionDeclaration"/>
153 <genClasses ecoreClass="logiclanguage.ecore#//TypeDeclaration"/>
154 <genClasses ecoreClass="logiclanguage.ecore#//UnknownBecauseUninterpreted"/>
155 <genClasses ecoreClass="logiclanguage.ecore#//InstanceOf">
156 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/value"/>
157 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/range"/>
158 </genClasses>
159 </genPackages>
160 <genPackages prefix="Logicproblem" basePackage="hu.bme.mit.inf.dslreasoner.logic.model"
161 disposableProviderFactory="true" ecorePackage="logicproblem.ecore#/">
162 <genClasses ecoreClass="logicproblem.ecore#//LogicProblem">
163 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/types"/>
164 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/functions"/>
165 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/assertions"/>
166 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/relations"/>
167 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/constants"/>
168 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/elements"/>
169 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/containmentHierarchies"/>
170 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicproblem.ecore#//LogicProblem/annotations"/>
171 </genClasses>
172 <genClasses ecoreClass="logicproblem.ecore#//ContainmentHierarchy">
173 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/>
174 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentFunctions"/>
175 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentRelations"/>
176 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/rootConstant"/>
177 </genClasses>
178 <genClasses ecoreClass="logicproblem.ecore#//RelationAnnotation">
179 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//RelationAnnotation/target"/>
180 </genClasses>
181 <genClasses ecoreClass="logicproblem.ecore#//ConstantAnnotation">
182 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ConstantAnnotation/target"/>
183 </genClasses>
184 <genClasses ecoreClass="logicproblem.ecore#//FunctionAnnotation">
185 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//FunctionAnnotation/target"/>
186 </genClasses>
187 <genClasses ecoreClass="logicproblem.ecore#//AssertionAnnotation">
188 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//AssertionAnnotation/target"/>
189 </genClasses>
190 <genClasses ecoreClass="logicproblem.ecore#//Annotation"/>
191 </genPackages>
192 <genPackages prefix="Logicresult" basePackage="hu.bme.mit.inf.dslreasoner.logic.model"
193 disposableProviderFactory="true" ecorePackage="logicresult.ecore#/">
194 <genClasses image="false" ecoreClass="logicresult.ecore#//LogicResult">
195 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicresult.ecore#//LogicResult/problem"/>
196 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicresult.ecore#//LogicResult/statistics"/>
197 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//LogicResult/trace"/>
198 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//LogicResult/representation"/>
199 </genClasses>
200 <genClasses ecoreClass="logicresult.ecore#//ModelResult">
201 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//ModelResult/maxInteger"/>
202 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//ModelResult/minInteger"/>
203 </genClasses>
204 <genClasses ecoreClass="logicresult.ecore#//InconsistencyResult"/>
205 <genClasses image="false" ecoreClass="logicresult.ecore#//UnknownResult"/>
206 <genClasses ecoreClass="logicresult.ecore#//InsuficientResourcesResult">
207 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//InsuficientResourcesResult/resourceName"/>
208 </genClasses>
209 <genClasses ecoreClass="logicresult.ecore#//ErrorResult">
210 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//ErrorResult/message"/>
211 </genClasses>
212 <genClasses ecoreClass="logicresult.ecore#//Statistics">
213 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logicresult.ecore#//Statistics/entries"/>
214 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//Statistics/transformationTime"/>
215 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//Statistics/solverTime"/>
216 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//Statistics/solverMemory"/>
217 </genClasses>
218 <genClasses ecoreClass="logicresult.ecore#//StatisticEntry">
219 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//StatisticEntry/name"/>
220 </genClasses>
221 <genClasses ecoreClass="logicresult.ecore#//UndecidableResult"/>
222 <genClasses ecoreClass="logicresult.ecore#//IntStatisticEntry">
223 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//IntStatisticEntry/value"/>
224 </genClasses>
225 <genClasses ecoreClass="logicresult.ecore#//RealStatisticEntry">
226 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//RealStatisticEntry/value"/>
227 </genClasses>
228 <genClasses ecoreClass="logicresult.ecore#//StringStatisticEntry">
229 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logicresult.ecore#//StringStatisticEntry/value"/>
230 </genClasses>
231 </genPackages>
232</genmodel:GenModel>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-02 07:45:37 +0000