aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/model/generated
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 21:18:06 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-05-19 21:18:06 +0200
commitb3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b (patch)
treead3222182065b8fac7d9b3d528c4efabf2aa0dd2 /Application/org.eclipse.viatra.solver.language/model/generated
parentMerge branch 'master' of github.com:viatra/VIATRA-Generator (diff)
downloadVIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.gz
VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.tar.zst
VIATRA-Generator-b3c1c5b30ae8ea7ebad391c9250b4509d5a4cc9b.zip
Config language WIP
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model/generated')
-rw-r--r--Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore243
-rw-r--r--Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel211
2 files changed, 0 insertions, 454 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
deleted file mode 100644
index bd516038..00000000
--- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
+++ /dev/null
@@ -1,243 +0,0 @@
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="solverLanguage" nsURI="http://www.eclipse.org/viatra/solver/language/SolverLanguage"
4 nsPrefix="solverLanguage">
5 <eClassifiers xsi:type="ecore:EClass" name="Problem">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1"
7 eType="#//Statement" containment="true"/>
8 </eClassifiers>
9 <eClassifiers xsi:type="ecore:EClass" name="Statement"/>
10 <eClassifiers xsi:type="ecore:EClass" name="PredicateDefinition" eSuperTypes="#//Statement">
11 <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Expression"
12 containment="true"/>
13 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
14 containment="true"/>
15 <eStructuralFeatures xsi:type="ecore:EAttribute" name="functional" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
16 <eStructuralFeatures xsi:type="ecore:EAttribute" name="error" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
17 </eClassifiers>
18 <eClassifiers xsi:type="ecore:EClass" name="UnnamedErrorPrediateDefinition" eSuperTypes="#//Statement">
19 <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList"
20 containment="true"/>
21 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
22 containment="true"/>
23 </eClassifiers>
24 <eClassifiers xsi:type="ecore:EClass" name="DefaultDefinition" eSuperTypes="#//Statement">
25 <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Call" containment="true"/>
26 <eStructuralFeatures xsi:type="ecore:EReference" name="range" eType="#//Expression"
27 containment="true"/>
28 </eClassifiers>
29 <eClassifiers xsi:type="ecore:EClass" name="ExternPredicateDefinition" eSuperTypes="#//Statement">
30 <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Call" containment="true"/>
31 </eClassifiers>
32 <eClassifiers xsi:type="ecore:EEnum" name="MetricType">
33 <eLiterals name="INT" literal="int"/>
34 <eLiterals name="REAL" value="1" literal="real"/>
35 </eClassifiers>
36 <eClassifiers xsi:type="ecore:EClass" name="MetricDefinition" eSuperTypes="#//Statement">
37 <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Expression"
38 containment="true"/>
39 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
40 containment="true"/>
41 <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//MetricType"/>
42 </eClassifiers>
43 <eClassifiers xsi:type="ecore:EClass" name="ExternMetricDefinition" eSuperTypes="#//Statement">
44 <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="#//MetricType"/>
45 <eStructuralFeatures xsi:type="ecore:EReference" name="head" eType="#//Call" containment="true"/>
46 </eClassifiers>
47 <eClassifiers xsi:type="ecore:EClass" name="Expression" eSuperTypes="#//Statement"/>
48 <eClassifiers xsi:type="ecore:EClass" name="IfElse" eSuperTypes="#//Expression">
49 <eStructuralFeatures xsi:type="ecore:EReference" name="condition" eType="#//Expression"
50 containment="true"/>
51 <eStructuralFeatures xsi:type="ecore:EReference" name="then" eType="#//Expression"
52 containment="true"/>
53 <eStructuralFeatures xsi:type="ecore:EReference" name="else" eType="#//Expression"
54 containment="true"/>
55 </eClassifiers>
56 <eClassifiers xsi:type="ecore:EClass" name="Case" eSuperTypes="#//Expression">
57 <eStructuralFeatures xsi:type="ecore:EReference" name="condition" eType="#//Expression"
58 containment="true"/>
59 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
60 containment="true"/>
61 </eClassifiers>
62 <eClassifiers xsi:type="ecore:EEnum" name="BinaryOperator">
63 <eLiterals name="EQ" literal="EQ"/>
64 <eLiterals name="NOT_EQ" value="1" literal="NOT_EQ"/>
65 <eLiterals name="LESS" value="2" literal="LESS"/>
66 <eLiterals name="LESS_EQ" value="3" literal="LESS_EQ"/>
67 <eLiterals name="GREATER" value="4" literal="GREATER"/>
68 <eLiterals name="GREATER_EQ" value="5" literal="GREATER_EQ"/>
69 <eLiterals name="IN" value="6" literal="IN"/>
70 <eLiterals name="ADD" value="7" literal="ADD"/>
71 <eLiterals name="SUB" value="8" literal="SUB"/>
72 <eLiterals name="MUL" value="9" literal="MUL"/>
73 <eLiterals name="DIV" value="10" literal="DIV"/>
74 <eLiterals name="POW" value="11" literal="POW"/>
75 </eClassifiers>
76 <eClassifiers xsi:type="ecore:EEnum" name="UnaryOp">
77 <eLiterals name="NEG" literal="!"/>
78 <eLiterals name="PLUS" value="1" literal="+"/>
79 <eLiterals name="MINUS" value="2" literal="-"/>
80 <eLiterals name="MAY" value="3" literal="may"/>
81 <eLiterals name="MUST" value="4" literal="must"/>
82 <eLiterals name="CURRENT" value="5" literal="current"/>
83 </eClassifiers>
84 <eClassifiers xsi:type="ecore:EClass" name="Count" eSuperTypes="#//Expression">
85 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
86 containment="true"/>
87 </eClassifiers>
88 <eClassifiers xsi:type="ecore:EEnum" name="AggregationOp">
89 <eLiterals name="ONLY" literal="only"/>
90 <eLiterals name="SUM" value="1" literal="sum"/>
91 <eLiterals name="PROD" value="2" literal="prod"/>
92 <eLiterals name="AVG" value="3" literal="avg"/>
93 <eLiterals name="MIN" value="4" literal="min"/>
94 <eLiterals name="MAX" value="5" literal="max"/>
95 </eClassifiers>
96 <eClassifiers xsi:type="ecore:EClass" name="Aggregation" eSuperTypes="#//Expression">
97 <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//AggregationOp"/>
98 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
99 containment="true"/>
100 <eStructuralFeatures xsi:type="ecore:EReference" name="condition" eType="#//Expression"
101 containment="true"/>
102 </eClassifiers>
103 <eClassifiers xsi:type="ecore:EClass" name="Call" eSuperTypes="#//Expression">
104 <eStructuralFeatures xsi:type="ecore:EReference" name="functor" eType="#//Reference"
105 containment="true"/>
106 <eStructuralFeatures xsi:type="ecore:EAttribute" name="transitiveClosure" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
107 <eStructuralFeatures xsi:type="ecore:EAttribute" name="reflexiveTransitiveClosure"
108 eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
109 <eStructuralFeatures xsi:type="ecore:EReference" name="argumentList" eType="#//ArgumentList"
110 containment="true"/>
111 </eClassifiers>
112 <eClassifiers xsi:type="ecore:EClass" name="ArgumentList">
113 <eStructuralFeatures xsi:type="ecore:EReference" name="arguments" upperBound="-1"
114 eType="#//Argument" containment="true"/>
115 </eClassifiers>
116 <eClassifiers xsi:type="ecore:EClass" name="Argument"/>
117 <eClassifiers xsi:type="ecore:EClass" name="ExpressionArgument" eSuperTypes="#//Argument">
118 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
119 containment="true"/>
120 </eClassifiers>
121 <eClassifiers xsi:type="ecore:EClass" name="StarArgument" eSuperTypes="#//Argument"/>
122 <eClassifiers xsi:type="ecore:EClass" name="TypedArgument" eSuperTypes="#//Argument">
123 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/>
124 <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//NamedElement"/>
125 </eClassifiers>
126 <eClassifiers xsi:type="ecore:EClass" name="TypedStarArgument" eSuperTypes="#//Argument">
127 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/>
128 </eClassifiers>
129 <eClassifiers xsi:type="ecore:EClass" name="Reference" eSuperTypes="#//Expression">
130 <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//NamedElement"/>
131 </eClassifiers>
132 <eClassifiers xsi:type="ecore:EClass" name="Interval" eSuperTypes="#//Expression">
133 <eStructuralFeatures xsi:type="ecore:EReference" name="lowerBound" eType="#//Expression"
134 containment="true"/>
135 <eStructuralFeatures xsi:type="ecore:EReference" name="upperBound" eType="#//Expression"
136 containment="true"/>
137 </eClassifiers>
138 <eClassifiers xsi:type="ecore:EClass" name="Literal" eSuperTypes="#//Expression"/>
139 <eClassifiers xsi:type="ecore:EEnum" name="LogicValue">
140 <eLiterals name="TRUE" literal="true"/>
141 <eLiterals name="FALSE" value="1" literal="false"/>
142 <eLiterals name="UNKNOWN" value="2" literal="unknown"/>
143 <eLiterals name="ERROR" value="3" literal="error"/>
144 </eClassifiers>
145 <eClassifiers xsi:type="ecore:EClass" name="LogicLiteral" eSuperTypes="#//Literal">
146 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//LogicValue"/>
147 </eClassifiers>
148 <eClassifiers xsi:type="ecore:EClass" name="NumericLiteral" eSuperTypes="#//Literal">
149 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/>
150 </eClassifiers>
151 <eClassifiers xsi:type="ecore:EClass" name="InfinityLiteral" eSuperTypes="#//Literal"/>
152 <eClassifiers xsi:type="ecore:EClass" name="EmptyIntervalLiteral" eSuperTypes="#//Literal"/>
153 <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//Literal">
154 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
155 </eClassifiers>
156 <eClassifiers xsi:type="ecore:EClass" name="ClassDefinition" eSuperTypes="#//Statement">
157 <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
158 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
159 <eStructuralFeatures xsi:type="ecore:EReference" name="superclasses" unique="false"
160 upperBound="-1" eType="#//NamedElement"/>
161 <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1"
162 eType="#//MemberDefinition" containment="true"/>
163 </eClassifiers>
164 <eClassifiers xsi:type="ecore:EClass" name="MemberDefinition">
165 <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
166 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/>
167 <eStructuralFeatures xsi:type="ecore:EReference" name="multiplicity" eType="#//Multiplicity"
168 containment="true"/>
169 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
170 <eStructuralFeatures xsi:type="ecore:EReference" name="opposite" eType="#//NamedElement"/>
171 </eClassifiers>
172 <eClassifiers xsi:type="ecore:EClass" name="Multiplicity"/>
173 <eClassifiers xsi:type="ecore:EClass" name="ManyMultiplicity" eSuperTypes="#//Multiplicity"/>
174 <eClassifiers xsi:type="ecore:EClass" name="ExactMultiplicity" eSuperTypes="#//Multiplicity">
175 <eStructuralFeatures xsi:type="ecore:EAttribute" name="multiplicity" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
176 </eClassifiers>
177 <eClassifiers xsi:type="ecore:EClass" name="BoundedMultiplicity" eSuperTypes="#//Multiplicity">
178 <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
179 <eStructuralFeatures xsi:type="ecore:EAttribute" name="upperBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
180 </eClassifiers>
181 <eClassifiers xsi:type="ecore:EClass" name="ScopeDefinition" eSuperTypes="#//Statement">
182 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//NamedElement"/>
183 </eClassifiers>
184 <eClassifiers xsi:type="ecore:EClass" name="ExactScopeDefinition" eSuperTypes="#//ScopeDefinition">
185 <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactScope" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
186 </eClassifiers>
187 <eClassifiers xsi:type="ecore:EClass" name="BoundedScopeDefinition" eSuperTypes="#//ScopeDefinition">
188 <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
189 <eStructuralFeatures xsi:type="ecore:EAttribute" name="upperBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
190 </eClassifiers>
191 <eClassifiers xsi:type="ecore:EClass" name="LowerBoundedScopeDefinition" eSuperTypes="#//ScopeDefinition">
192 <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
193 </eClassifiers>
194 <eClassifiers xsi:type="ecore:EEnum" name="ObjectiveKind">
195 <eLiterals name="MINIMIZE" literal="minimize"/>
196 <eLiterals name="MAXIMIZE" value="1" literal="maximize"/>
197 </eClassifiers>
198 <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDefinition" eSuperTypes="#//Statement">
199 <eStructuralFeatures xsi:type="ecore:EAttribute" name="kind" eType="#//ObjectiveKind"/>
200 <eStructuralFeatures xsi:type="ecore:EReference" name="objective" eType="#//Expression"
201 containment="true"/>
202 </eClassifiers>
203 <eClassifiers xsi:type="ecore:EClass" name="NamedElement">
204 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
205 </eClassifiers>
206 <eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//Statement">
207 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
208 containment="true"/>
209 <eStructuralFeatures xsi:type="ecore:EReference" name="range" eType="#//Expression"
210 containment="true"/>
211 </eClassifiers>
212 <eClassifiers xsi:type="ecore:EClass" name="Disjunction" eSuperTypes="#//Expression">
213 <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"
214 eType="#//Expression" containment="true"/>
215 </eClassifiers>
216 <eClassifiers xsi:type="ecore:EClass" name="Switch" eSuperTypes="#//Expression">
217 <eStructuralFeatures xsi:type="ecore:EReference" name="cases" upperBound="-1"
218 eType="#//Case" containment="true"/>
219 </eClassifiers>
220 <eClassifiers xsi:type="ecore:EClass" name="Conjunction" eSuperTypes="#//Expression">
221 <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"
222 eType="#//Expression" containment="true"/>
223 </eClassifiers>
224 <eClassifiers xsi:type="ecore:EClass" name="Comparison" eSuperTypes="#//Expression">
225 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//Expression"
226 containment="true"/>
227 <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//BinaryOperator"/>
228 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//Expression"
229 containment="true"/>
230 </eClassifiers>
231 <eClassifiers xsi:type="ecore:EClass" name="BinaryExpression" eSuperTypes="#//Expression">
232 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//Expression"
233 containment="true"/>
234 <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//BinaryOperator"/>
235 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//Expression"
236 containment="true"/>
237 </eClassifiers>
238 <eClassifiers xsi:type="ecore:EClass" name="UnaryExpression" eSuperTypes="#//Expression">
239 <eStructuralFeatures xsi:type="ecore:EAttribute" name="op" eType="#//UnaryOp"/>
240 <eStructuralFeatures xsi:type="ecore:EReference" name="body" eType="#//Expression"
241 containment="true"/>
242 </eClassifiers>
243</ecore:EPackage>
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
deleted file mode 100644
index 53c17e2a..00000000
--- a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
+++ /dev/null
@@ -1,211 +0,0 @@
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" copyrightText="generated by Xtext 2.21.0" modelDirectory="/org.eclipse.viatra.solver.language/src-gen"
4 modelPluginID="org.eclipse.viatra.solver.language" forceOverwrite="true" modelName="SolverLanguage"
5 updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
6 complianceLevel="8.0" copyrightFields="false" runtimeVersion="2.20">
7 <genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language"
8 disposableProviderFactory="true" fileExtensions="vsc" ecorePackage="SolverLanguage.ecore#/">
9 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//MetricType">
10 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//MetricType/INT"/>
11 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//MetricType/REAL"/>
12 </genEnums>
13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//BinaryOperator">
14 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/EQ"/>
15 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/NOT_EQ"/>
16 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/LESS"/>
17 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/LESS_EQ"/>
18 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/GREATER"/>
19 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/GREATER_EQ"/>
20 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/IN"/>
21 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/ADD"/>
22 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/SUB"/>
23 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/MUL"/>
24 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/DIV"/>
25 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//BinaryOperator/POW"/>
26 </genEnums>
27 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//UnaryOp">
28 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/NEG"/>
29 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/PLUS"/>
30 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/MINUS"/>
31 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/MAY"/>
32 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/MUST"/>
33 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//UnaryOp/CURRENT"/>
34 </genEnums>
35 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//AggregationOp">
36 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/ONLY"/>
37 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/SUM"/>
38 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/PROD"/>
39 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/AVG"/>
40 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/MIN"/>
41 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//AggregationOp/MAX"/>
42 </genEnums>
43 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//LogicValue">
44 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//LogicValue/TRUE"/>
45 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//LogicValue/FALSE"/>
46 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//LogicValue/UNKNOWN"/>
47 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//LogicValue/ERROR"/>
48 </genEnums>
49 <genEnums typeSafeEnumCompatible="false" ecoreEnum="SolverLanguage.ecore#//ObjectiveKind">
50 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//ObjectiveKind/MINIMIZE"/>
51 <genEnumLiterals ecoreEnumLiteral="SolverLanguage.ecore#//ObjectiveKind/MAXIMIZE"/>
52 </genEnums>
53 <genClasses ecoreClass="SolverLanguage.ecore#//Problem">
54 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/>
55 </genClasses>
56 <genClasses ecoreClass="SolverLanguage.ecore#//Statement"/>
57 <genClasses ecoreClass="SolverLanguage.ecore#//PredicateDefinition">
58 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/head"/>
59 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateDefinition/body"/>
60 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//PredicateDefinition/functional"/>
61 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//PredicateDefinition/error"/>
62 </genClasses>
63 <genClasses ecoreClass="SolverLanguage.ecore#//UnnamedErrorPrediateDefinition">
64 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//UnnamedErrorPrediateDefinition/argumentList"/>
65 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//UnnamedErrorPrediateDefinition/body"/>
66 </genClasses>
67 <genClasses ecoreClass="SolverLanguage.ecore#//DefaultDefinition">
68 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultDefinition/head"/>
69 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultDefinition/range"/>
70 </genClasses>
71 <genClasses ecoreClass="SolverLanguage.ecore#//ExternPredicateDefinition">
72 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ExternPredicateDefinition/head"/>
73 </genClasses>
74 <genClasses ecoreClass="SolverLanguage.ecore#//MetricDefinition">
75 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MetricDefinition/head"/>
76 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MetricDefinition/body"/>
77 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MetricDefinition/type"/>
78 </genClasses>
79 <genClasses ecoreClass="SolverLanguage.ecore#//ExternMetricDefinition">
80 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ExternMetricDefinition/type"/>
81 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ExternMetricDefinition/head"/>
82 </genClasses>
83 <genClasses ecoreClass="SolverLanguage.ecore#//Expression"/>
84 <genClasses ecoreClass="SolverLanguage.ecore#//IfElse">
85 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//IfElse/condition"/>
86 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//IfElse/then"/>
87 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//IfElse/else"/>
88 </genClasses>
89 <genClasses ecoreClass="SolverLanguage.ecore#//Case">
90 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Case/condition"/>
91 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Case/body"/>
92 </genClasses>
93 <genClasses ecoreClass="SolverLanguage.ecore#//Count">
94 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Count/body"/>
95 </genClasses>
96 <genClasses ecoreClass="SolverLanguage.ecore#//Aggregation">
97 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Aggregation/op"/>
98 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Aggregation/body"/>
99 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Aggregation/condition"/>
100 </genClasses>
101 <genClasses ecoreClass="SolverLanguage.ecore#//Call">
102 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/functor"/>
103 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/transitiveClosure"/>
104 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Call/reflexiveTransitiveClosure"/>
105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Call/argumentList"/>
106 </genClasses>
107 <genClasses ecoreClass="SolverLanguage.ecore#//ArgumentList">
108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ArgumentList/arguments"/>
109 </genClasses>
110 <genClasses ecoreClass="SolverLanguage.ecore#//Argument"/>
111 <genClasses ecoreClass="SolverLanguage.ecore#//ExpressionArgument">
112 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ExpressionArgument/body"/>
113 </genClasses>
114 <genClasses ecoreClass="SolverLanguage.ecore#//StarArgument"/>
115 <genClasses ecoreClass="SolverLanguage.ecore#//TypedArgument">
116 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//TypedArgument/type"/>
117 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//TypedArgument/variable"/>
118 </genClasses>
119 <genClasses ecoreClass="SolverLanguage.ecore#//TypedStarArgument">
120 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//TypedStarArgument/type"/>
121 </genClasses>
122 <genClasses ecoreClass="SolverLanguage.ecore#//Reference">
123 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Reference/referred"/>
124 </genClasses>
125 <genClasses ecoreClass="SolverLanguage.ecore#//Interval">
126 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Interval/lowerBound"/>
127 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Interval/upperBound"/>
128 </genClasses>
129 <genClasses ecoreClass="SolverLanguage.ecore#//Literal"/>
130 <genClasses ecoreClass="SolverLanguage.ecore#//LogicLiteral">
131 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//LogicLiteral/value"/>
132 </genClasses>
133 <genClasses ecoreClass="SolverLanguage.ecore#//NumericLiteral">
134 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NumericLiteral/value"/>
135 </genClasses>
136 <genClasses ecoreClass="SolverLanguage.ecore#//InfinityLiteral"/>
137 <genClasses ecoreClass="SolverLanguage.ecore#//EmptyIntervalLiteral"/>
138 <genClasses ecoreClass="SolverLanguage.ecore#//StringLiteral">
139 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringLiteral/value"/>
140 </genClasses>
141 <genClasses ecoreClass="SolverLanguage.ecore#//ClassDefinition">
142 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassDefinition/abstract"/>
143 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassDefinition/name"/>
144 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassDefinition/superclasses"/>
145 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassDefinition/members"/>
146 </genClasses>
147 <genClasses ecoreClass="SolverLanguage.ecore#//MemberDefinition">
148 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MemberDefinition/containment"/>
149 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MemberDefinition/type"/>
150 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MemberDefinition/multiplicity"/>
151 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MemberDefinition/name"/>
152 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//MemberDefinition/opposite"/>
153 </genClasses>
154 <genClasses ecoreClass="SolverLanguage.ecore#//Multiplicity"/>
155 <genClasses ecoreClass="SolverLanguage.ecore#//ManyMultiplicity"/>
156 <genClasses ecoreClass="SolverLanguage.ecore#//ExactMultiplicity">
157 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ExactMultiplicity/multiplicity"/>
158 </genClasses>
159 <genClasses ecoreClass="SolverLanguage.ecore#//BoundedMultiplicity">
160 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//BoundedMultiplicity/lowerBound"/>
161 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//BoundedMultiplicity/upperBound"/>
162 </genClasses>
163 <genClasses ecoreClass="SolverLanguage.ecore#//ScopeDefinition">
164 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ScopeDefinition/type"/>
165 </genClasses>
166 <genClasses ecoreClass="SolverLanguage.ecore#//ExactScopeDefinition">
167 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ExactScopeDefinition/exactScope"/>
168 </genClasses>
169 <genClasses ecoreClass="SolverLanguage.ecore#//BoundedScopeDefinition">
170 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//BoundedScopeDefinition/lowerBound"/>
171 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//BoundedScopeDefinition/upperBound"/>
172 </genClasses>
173 <genClasses ecoreClass="SolverLanguage.ecore#//LowerBoundedScopeDefinition">
174 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//LowerBoundedScopeDefinition/lowerBound"/>
175 </genClasses>
176 <genClasses ecoreClass="SolverLanguage.ecore#//ObjectiveDefinition">
177 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ObjectiveDefinition/kind"/>
178 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ObjectiveDefinition/objective"/>
179 </genClasses>
180 <genClasses ecoreClass="SolverLanguage.ecore#//NamedElement">
181 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NamedElement/name"/>
182 </genClasses>
183 <genClasses ecoreClass="SolverLanguage.ecore#//Assertion">
184 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Assertion/body"/>
185 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Assertion/range"/>
186 </genClasses>
187 <genClasses ecoreClass="SolverLanguage.ecore#//Disjunction">
188 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Disjunction/children"/>
189 </genClasses>
190 <genClasses ecoreClass="SolverLanguage.ecore#//Switch">
191 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Switch/cases"/>
192 </genClasses>
193 <genClasses ecoreClass="SolverLanguage.ecore#//Conjunction">
194 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Conjunction/children"/>
195 </genClasses>
196 <genClasses ecoreClass="SolverLanguage.ecore#//Comparison">
197 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Comparison/left"/>
198 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Comparison/op"/>
199 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Comparison/right"/>
200 </genClasses>
201 <genClasses ecoreClass="SolverLanguage.ecore#//BinaryExpression">
202 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BinaryExpression/left"/>
203 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//BinaryExpression/op"/>
204 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BinaryExpression/right"/>
205 </genClasses>
206 <genClasses ecoreClass="SolverLanguage.ecore#//UnaryExpression">
207 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//UnaryExpression/op"/>
208 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//UnaryExpression/body"/>
209 </genClasses>
210 </genPackages>
211</genmodel:GenModel>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-15 13:01:37 +0000