diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java | 317 |
1 files changed, 136 insertions, 181 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java index c5d4cbff..f6e293b9 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /** | 1 | /** |
2 | * generated by Xtext 2.18.0.M3 | 2 | * generated by Xtext 2.21.0 |
3 | */ | 3 | */ |
4 | package org.eclipse.viatra.solver.language.solverLanguage; | 4 | package org.eclipse.viatra.solver.language.solverLanguage; |
5 | 5 | ||
@@ -42,454 +42,409 @@ public interface SolverLanguageFactory extends EFactory | |||
42 | Statement createStatement(); | 42 | Statement createStatement(); |
43 | 43 | ||
44 | /** | 44 | /** |
45 | * Returns a new object of class '<em>Boolean Value</em>'. | 45 | * Returns a new object of class '<em>Predicate Definition</em>'. |
46 | * <!-- begin-user-doc --> | 46 | * <!-- begin-user-doc --> |
47 | * <!-- end-user-doc --> | 47 | * <!-- end-user-doc --> |
48 | * @return a new object of class '<em>Boolean Value</em>'. | 48 | * @return a new object of class '<em>Predicate Definition</em>'. |
49 | * @generated | 49 | * @generated |
50 | */ | 50 | */ |
51 | BooleanValue createBooleanValue(); | 51 | PredicateDefinition createPredicateDefinition(); |
52 | 52 | ||
53 | /** | 53 | /** |
54 | * Returns a new object of class '<em>Truth Value</em>'. | 54 | * Returns a new object of class '<em>Unnamed Error Prediate Definition</em>'. |
55 | * <!-- begin-user-doc --> | 55 | * <!-- begin-user-doc --> |
56 | * <!-- end-user-doc --> | 56 | * <!-- end-user-doc --> |
57 | * @return a new object of class '<em>Truth Value</em>'. | 57 | * @return a new object of class '<em>Unnamed Error Prediate Definition</em>'. |
58 | * @generated | 58 | * @generated |
59 | */ | 59 | */ |
60 | TruthValue createTruthValue(); | 60 | UnnamedErrorPrediateDefinition createUnnamedErrorPrediateDefinition(); |
61 | 61 | ||
62 | /** | 62 | /** |
63 | * Returns a new object of class '<em>Interpretation</em>'. | 63 | * Returns a new object of class '<em>Default Definition</em>'. |
64 | * <!-- begin-user-doc --> | 64 | * <!-- begin-user-doc --> |
65 | * <!-- end-user-doc --> | 65 | * <!-- end-user-doc --> |
66 | * @return a new object of class '<em>Interpretation</em>'. | 66 | * @return a new object of class '<em>Default Definition</em>'. |
67 | * @generated | 67 | * @generated |
68 | */ | 68 | */ |
69 | Interpretation createInterpretation(); | 69 | DefaultDefinition createDefaultDefinition(); |
70 | 70 | ||
71 | /** | 71 | /** |
72 | * Returns a new object of class '<em>Basic Interpretation</em>'. | 72 | * Returns a new object of class '<em>Extern Predicate Definition</em>'. |
73 | * <!-- begin-user-doc --> | 73 | * <!-- begin-user-doc --> |
74 | * <!-- end-user-doc --> | 74 | * <!-- end-user-doc --> |
75 | * @return a new object of class '<em>Basic Interpretation</em>'. | 75 | * @return a new object of class '<em>Extern Predicate Definition</em>'. |
76 | * @generated | 76 | * @generated |
77 | */ | 77 | */ |
78 | BasicInterpretation createBasicInterpretation(); | 78 | ExternPredicateDefinition createExternPredicateDefinition(); |
79 | 79 | ||
80 | /** | 80 | /** |
81 | * Returns a new object of class '<em>Symbol</em>'. | 81 | * Returns a new object of class '<em>Metric Definition</em>'. |
82 | * <!-- begin-user-doc --> | 82 | * <!-- begin-user-doc --> |
83 | * <!-- end-user-doc --> | 83 | * <!-- end-user-doc --> |
84 | * @return a new object of class '<em>Symbol</em>'. | 84 | * @return a new object of class '<em>Metric Definition</em>'. |
85 | * @generated | 85 | * @generated |
86 | */ | 86 | */ |
87 | Symbol createSymbol(); | 87 | MetricDefinition createMetricDefinition(); |
88 | 88 | ||
89 | /** | 89 | /** |
90 | * Returns a new object of class '<em>Model Symbol</em>'. | 90 | * Returns a new object of class '<em>Extern Metric Definition</em>'. |
91 | * <!-- begin-user-doc --> | 91 | * <!-- begin-user-doc --> |
92 | * <!-- end-user-doc --> | 92 | * <!-- end-user-doc --> |
93 | * @return a new object of class '<em>Model Symbol</em>'. | 93 | * @return a new object of class '<em>Extern Metric Definition</em>'. |
94 | * @generated | 94 | * @generated |
95 | */ | 95 | */ |
96 | ModelSymbol createModelSymbol(); | 96 | ExternMetricDefinition createExternMetricDefinition(); |
97 | 97 | ||
98 | /** | 98 | /** |
99 | * Returns a new object of class '<em>Partiality Symbol</em>'. | 99 | * Returns a new object of class '<em>Expression</em>'. |
100 | * <!-- begin-user-doc --> | 100 | * <!-- begin-user-doc --> |
101 | * <!-- end-user-doc --> | 101 | * <!-- end-user-doc --> |
102 | * @return a new object of class '<em>Partiality Symbol</em>'. | 102 | * @return a new object of class '<em>Expression</em>'. |
103 | * @generated | 103 | * @generated |
104 | */ | 104 | */ |
105 | PartialitySymbol createPartialitySymbol(); | 105 | Expression createExpression(); |
106 | 106 | ||
107 | /** | 107 | /** |
108 | * Returns a new object of class '<em>Exist Symbol</em>'. | 108 | * Returns a new object of class '<em>If Else</em>'. |
109 | * <!-- begin-user-doc --> | 109 | * <!-- begin-user-doc --> |
110 | * <!-- end-user-doc --> | 110 | * <!-- end-user-doc --> |
111 | * @return a new object of class '<em>Exist Symbol</em>'. | 111 | * @return a new object of class '<em>If Else</em>'. |
112 | * @generated | 112 | * @generated |
113 | */ | 113 | */ |
114 | ExistSymbol createExistSymbol(); | 114 | IfElse createIfElse(); |
115 | 115 | ||
116 | /** | 116 | /** |
117 | * Returns a new object of class '<em>Equals Symbol</em>'. | 117 | * Returns a new object of class '<em>Case</em>'. |
118 | * <!-- begin-user-doc --> | 118 | * <!-- begin-user-doc --> |
119 | * <!-- end-user-doc --> | 119 | * <!-- end-user-doc --> |
120 | * @return a new object of class '<em>Equals Symbol</em>'. | 120 | * @return a new object of class '<em>Case</em>'. |
121 | * @generated | 121 | * @generated |
122 | */ | 122 | */ |
123 | EqualsSymbol createEqualsSymbol(); | 123 | Case createCase(); |
124 | 124 | ||
125 | /** | 125 | /** |
126 | * Returns a new object of class '<em>Data Symbol</em>'. | 126 | * Returns a new object of class '<em>Count</em>'. |
127 | * <!-- begin-user-doc --> | 127 | * <!-- begin-user-doc --> |
128 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
129 | * @return a new object of class '<em>Data Symbol</em>'. | 129 | * @return a new object of class '<em>Count</em>'. |
130 | * @generated | 130 | * @generated |
131 | */ | 131 | */ |
132 | DataSymbol createDataSymbol(); | 132 | Count createCount(); |
133 | 133 | ||
134 | /** | 134 | /** |
135 | * Returns a new object of class '<em>Boolean Symbol</em>'. | 135 | * Returns a new object of class '<em>Aggregation</em>'. |
136 | * <!-- begin-user-doc --> | 136 | * <!-- begin-user-doc --> |
137 | * <!-- end-user-doc --> | 137 | * <!-- end-user-doc --> |
138 | * @return a new object of class '<em>Boolean Symbol</em>'. | 138 | * @return a new object of class '<em>Aggregation</em>'. |
139 | * @generated | 139 | * @generated |
140 | */ | 140 | */ |
141 | BooleanSymbol createBooleanSymbol(); | 141 | Aggregation createAggregation(); |
142 | 142 | ||
143 | /** | 143 | /** |
144 | * Returns a new object of class '<em>Integer Symbol</em>'. | 144 | * Returns a new object of class '<em>Call</em>'. |
145 | * <!-- begin-user-doc --> | 145 | * <!-- begin-user-doc --> |
146 | * <!-- end-user-doc --> | 146 | * <!-- end-user-doc --> |
147 | * @return a new object of class '<em>Integer Symbol</em>'. | 147 | * @return a new object of class '<em>Call</em>'. |
148 | * @generated | 148 | * @generated |
149 | */ | 149 | */ |
150 | IntegerSymbol createIntegerSymbol(); | 150 | Call createCall(); |
151 | 151 | ||
152 | /** | 152 | /** |
153 | * Returns a new object of class '<em>Real Symbol</em>'. | 153 | * Returns a new object of class '<em>Argument List</em>'. |
154 | * <!-- begin-user-doc --> | 154 | * <!-- begin-user-doc --> |
155 | * <!-- end-user-doc --> | 155 | * <!-- end-user-doc --> |
156 | * @return a new object of class '<em>Real Symbol</em>'. | 156 | * @return a new object of class '<em>Argument List</em>'. |
157 | * @generated | 157 | * @generated |
158 | */ | 158 | */ |
159 | RealSymbol createRealSymbol(); | 159 | ArgumentList createArgumentList(); |
160 | 160 | ||
161 | /** | 161 | /** |
162 | * Returns a new object of class '<em>String Symbol</em>'. | 162 | * Returns a new object of class '<em>Argument</em>'. |
163 | * <!-- begin-user-doc --> | 163 | * <!-- begin-user-doc --> |
164 | * <!-- end-user-doc --> | 164 | * <!-- end-user-doc --> |
165 | * @return a new object of class '<em>String Symbol</em>'. | 165 | * @return a new object of class '<em>Argument</em>'. |
166 | * @generated | 166 | * @generated |
167 | */ | 167 | */ |
168 | StringSymbol createStringSymbol(); | 168 | Argument createArgument(); |
169 | 169 | ||
170 | /** | 170 | /** |
171 | * Returns a new object of class '<em>Complex Object</em>'. | 171 | * Returns a new object of class '<em>Expression Argument</em>'. |
172 | * <!-- begin-user-doc --> | 172 | * <!-- begin-user-doc --> |
173 | * <!-- end-user-doc --> | 173 | * <!-- end-user-doc --> |
174 | * @return a new object of class '<em>Complex Object</em>'. | 174 | * @return a new object of class '<em>Expression Argument</em>'. |
175 | * @generated | 175 | * @generated |
176 | */ | 176 | */ |
177 | ComplexObject createComplexObject(); | 177 | ExpressionArgument createExpressionArgument(); |
178 | 178 | ||
179 | /** | 179 | /** |
180 | * Returns a new object of class '<em>Object</em>'. | 180 | * Returns a new object of class '<em>Star Argument</em>'. |
181 | * <!-- begin-user-doc --> | 181 | * <!-- begin-user-doc --> |
182 | * <!-- end-user-doc --> | 182 | * <!-- end-user-doc --> |
183 | * @return a new object of class '<em>Object</em>'. | 183 | * @return a new object of class '<em>Star Argument</em>'. |
184 | * @generated | 184 | * @generated |
185 | */ | 185 | */ |
186 | Object createObject(); | 186 | StarArgument createStarArgument(); |
187 | 187 | ||
188 | /** | 188 | /** |
189 | * Returns a new object of class '<em>Named Object</em>'. | 189 | * Returns a new object of class '<em>Typed Argument</em>'. |
190 | * <!-- begin-user-doc --> | 190 | * <!-- begin-user-doc --> |
191 | * <!-- end-user-doc --> | 191 | * <!-- end-user-doc --> |
192 | * @return a new object of class '<em>Named Object</em>'. | 192 | * @return a new object of class '<em>Typed Argument</em>'. |
193 | * @generated | 193 | * @generated |
194 | */ | 194 | */ |
195 | NamedObject createNamedObject(); | 195 | TypedArgument createTypedArgument(); |
196 | 196 | ||
197 | /** | 197 | /** |
198 | * Returns a new object of class '<em>Unnamed Object</em>'. | 198 | * Returns a new object of class '<em>Typed Star Argument</em>'. |
199 | * <!-- begin-user-doc --> | 199 | * <!-- begin-user-doc --> |
200 | * <!-- end-user-doc --> | 200 | * <!-- end-user-doc --> |
201 | * @return a new object of class '<em>Unnamed Object</em>'. | 201 | * @return a new object of class '<em>Typed Star Argument</em>'. |
202 | * @generated | 202 | * @generated |
203 | */ | 203 | */ |
204 | UnnamedObject createUnnamedObject(); | 204 | TypedStarArgument createTypedStarArgument(); |
205 | 205 | ||
206 | /** | 206 | /** |
207 | * Returns a new object of class '<em>Data Object</em>'. | 207 | * Returns a new object of class '<em>Reference</em>'. |
208 | * <!-- begin-user-doc --> | 208 | * <!-- begin-user-doc --> |
209 | * <!-- end-user-doc --> | 209 | * <!-- end-user-doc --> |
210 | * @return a new object of class '<em>Data Object</em>'. | 210 | * @return a new object of class '<em>Reference</em>'. |
211 | * @generated | 211 | * @generated |
212 | */ | 212 | */ |
213 | DataObject createDataObject(); | 213 | Reference createReference(); |
214 | 214 | ||
215 | /** | 215 | /** |
216 | * Returns a new object of class '<em>Boolean Object</em>'. | 216 | * Returns a new object of class '<em>Interval</em>'. |
217 | * <!-- begin-user-doc --> | 217 | * <!-- begin-user-doc --> |
218 | * <!-- end-user-doc --> | 218 | * <!-- end-user-doc --> |
219 | * @return a new object of class '<em>Boolean Object</em>'. | 219 | * @return a new object of class '<em>Interval</em>'. |
220 | * @generated | 220 | * @generated |
221 | */ | 221 | */ |
222 | BooleanObject createBooleanObject(); | 222 | Interval createInterval(); |
223 | 223 | ||
224 | /** | 224 | /** |
225 | * Returns a new object of class '<em>Int Object</em>'. | 225 | * Returns a new object of class '<em>Literal</em>'. |
226 | * <!-- begin-user-doc --> | ||
227 | * <!-- end-user-doc --> | ||
228 | * @return a new object of class '<em>Int Object</em>'. | ||
229 | * @generated | ||
230 | */ | ||
231 | IntObject createIntObject(); | ||
232 | |||
233 | /** | ||
234 | * Returns a new object of class '<em>Real Object</em>'. | ||
235 | * <!-- begin-user-doc --> | ||
236 | * <!-- end-user-doc --> | ||
237 | * @return a new object of class '<em>Real Object</em>'. | ||
238 | * @generated | ||
239 | */ | ||
240 | RealObject createRealObject(); | ||
241 | |||
242 | /** | ||
243 | * Returns a new object of class '<em>String Object</em>'. | ||
244 | * <!-- begin-user-doc --> | ||
245 | * <!-- end-user-doc --> | ||
246 | * @return a new object of class '<em>String Object</em>'. | ||
247 | * @generated | ||
248 | */ | ||
249 | StringObject createStringObject(); | ||
250 | |||
251 | /** | ||
252 | * Returns a new object of class '<em>Predicate</em>'. | ||
253 | * <!-- begin-user-doc --> | ||
254 | * <!-- end-user-doc --> | ||
255 | * @return a new object of class '<em>Predicate</em>'. | ||
256 | * @generated | ||
257 | */ | ||
258 | Predicate createPredicate(); | ||
259 | |||
260 | /** | ||
261 | * Returns a new object of class '<em>Parameter</em>'. | ||
262 | * <!-- begin-user-doc --> | ||
263 | * <!-- end-user-doc --> | ||
264 | * @return a new object of class '<em>Parameter</em>'. | ||
265 | * @generated | ||
266 | */ | ||
267 | Parameter createParameter(); | ||
268 | |||
269 | /** | ||
270 | * Returns a new object of class '<em>Pattern Body</em>'. | ||
271 | * <!-- begin-user-doc --> | 226 | * <!-- begin-user-doc --> |
272 | * <!-- end-user-doc --> | 227 | * <!-- end-user-doc --> |
273 | * @return a new object of class '<em>Pattern Body</em>'. | 228 | * @return a new object of class '<em>Literal</em>'. |
274 | * @generated | 229 | * @generated |
275 | */ | 230 | */ |
276 | PatternBody createPatternBody(); | 231 | Literal createLiteral(); |
277 | 232 | ||
278 | /** | 233 | /** |
279 | * Returns a new object of class '<em>Polarity</em>'. | 234 | * Returns a new object of class '<em>Logic Literal</em>'. |
280 | * <!-- begin-user-doc --> | 235 | * <!-- begin-user-doc --> |
281 | * <!-- end-user-doc --> | 236 | * <!-- end-user-doc --> |
282 | * @return a new object of class '<em>Polarity</em>'. | 237 | * @return a new object of class '<em>Logic Literal</em>'. |
283 | * @generated | 238 | * @generated |
284 | */ | 239 | */ |
285 | Polarity createPolarity(); | 240 | LogicLiteral createLogicLiteral(); |
286 | 241 | ||
287 | /** | 242 | /** |
288 | * Returns a new object of class '<em>Constraint</em>'. | 243 | * Returns a new object of class '<em>Numeric Literal</em>'. |
289 | * <!-- begin-user-doc --> | 244 | * <!-- begin-user-doc --> |
290 | * <!-- end-user-doc --> | 245 | * <!-- end-user-doc --> |
291 | * @return a new object of class '<em>Constraint</em>'. | 246 | * @return a new object of class '<em>Numeric Literal</em>'. |
292 | * @generated | 247 | * @generated |
293 | */ | 248 | */ |
294 | Constraint createConstraint(); | 249 | NumericLiteral createNumericLiteral(); |
295 | 250 | ||
296 | /** | 251 | /** |
297 | * Returns a new object of class '<em>Closure Type</em>'. | 252 | * Returns a new object of class '<em>Infinity Literal</em>'. |
298 | * <!-- begin-user-doc --> | 253 | * <!-- begin-user-doc --> |
299 | * <!-- end-user-doc --> | 254 | * <!-- end-user-doc --> |
300 | * @return a new object of class '<em>Closure Type</em>'. | 255 | * @return a new object of class '<em>Infinity Literal</em>'. |
301 | * @generated | 256 | * @generated |
302 | */ | 257 | */ |
303 | ClosureType createClosureType(); | 258 | InfinityLiteral createInfinityLiteral(); |
304 | 259 | ||
305 | /** | 260 | /** |
306 | * Returns a new object of class '<em>Literal</em>'. | 261 | * Returns a new object of class '<em>Empty Interval Literal</em>'. |
307 | * <!-- begin-user-doc --> | 262 | * <!-- begin-user-doc --> |
308 | * <!-- end-user-doc --> | 263 | * <!-- end-user-doc --> |
309 | * @return a new object of class '<em>Literal</em>'. | 264 | * @return a new object of class '<em>Empty Interval Literal</em>'. |
310 | * @generated | 265 | * @generated |
311 | */ | 266 | */ |
312 | Literal createLiteral(); | 267 | EmptyIntervalLiteral createEmptyIntervalLiteral(); |
313 | 268 | ||
314 | /** | 269 | /** |
315 | * Returns a new object of class '<em>Variable</em>'. | 270 | * Returns a new object of class '<em>String Literal</em>'. |
316 | * <!-- begin-user-doc --> | 271 | * <!-- begin-user-doc --> |
317 | * <!-- end-user-doc --> | 272 | * <!-- end-user-doc --> |
318 | * @return a new object of class '<em>Variable</em>'. | 273 | * @return a new object of class '<em>String Literal</em>'. |
319 | * @generated | 274 | * @generated |
320 | */ | 275 | */ |
321 | Variable createVariable(); | 276 | StringLiteral createStringLiteral(); |
322 | 277 | ||
323 | /** | 278 | /** |
324 | * Returns a new object of class '<em>All Instances</em>'. | 279 | * Returns a new object of class '<em>Class Definition</em>'. |
325 | * <!-- begin-user-doc --> | 280 | * <!-- begin-user-doc --> |
326 | * <!-- end-user-doc --> | 281 | * <!-- end-user-doc --> |
327 | * @return a new object of class '<em>All Instances</em>'. | 282 | * @return a new object of class '<em>Class Definition</em>'. |
328 | * @generated | 283 | * @generated |
329 | */ | 284 | */ |
330 | AllInstances createAllInstances(); | 285 | ClassDefinition createClassDefinition(); |
331 | 286 | ||
332 | /** | 287 | /** |
333 | * Returns a new object of class '<em>All Objects</em>'. | 288 | * Returns a new object of class '<em>Member Definition</em>'. |
334 | * <!-- begin-user-doc --> | 289 | * <!-- begin-user-doc --> |
335 | * <!-- end-user-doc --> | 290 | * <!-- end-user-doc --> |
336 | * @return a new object of class '<em>All Objects</em>'. | 291 | * @return a new object of class '<em>Member Definition</em>'. |
337 | * @generated | 292 | * @generated |
338 | */ | 293 | */ |
339 | AllObjects createAllObjects(); | 294 | MemberDefinition createMemberDefinition(); |
340 | 295 | ||
341 | /** | 296 | /** |
342 | * Returns a new object of class '<em>Default Interpretation</em>'. | 297 | * Returns a new object of class '<em>Multiplicity</em>'. |
343 | * <!-- begin-user-doc --> | 298 | * <!-- begin-user-doc --> |
344 | * <!-- end-user-doc --> | 299 | * <!-- end-user-doc --> |
345 | * @return a new object of class '<em>Default Interpretation</em>'. | 300 | * @return a new object of class '<em>Multiplicity</em>'. |
346 | * @generated | 301 | * @generated |
347 | */ | 302 | */ |
348 | DefaultInterpretation createDefaultInterpretation(); | 303 | Multiplicity createMultiplicity(); |
349 | 304 | ||
350 | /** | 305 | /** |
351 | * Returns a new object of class '<em>CD Interpretation</em>'. | 306 | * Returns a new object of class '<em>Many Multiplicity</em>'. |
352 | * <!-- begin-user-doc --> | 307 | * <!-- begin-user-doc --> |
353 | * <!-- end-user-doc --> | 308 | * <!-- end-user-doc --> |
354 | * @return a new object of class '<em>CD Interpretation</em>'. | 309 | * @return a new object of class '<em>Many Multiplicity</em>'. |
355 | * @generated | 310 | * @generated |
356 | */ | 311 | */ |
357 | CDInterpretation createCDInterpretation(); | 312 | ManyMultiplicity createManyMultiplicity(); |
358 | 313 | ||
359 | /** | 314 | /** |
360 | * Returns a new object of class '<em>Class Interpretation</em>'. | 315 | * Returns a new object of class '<em>Exact Multiplicity</em>'. |
361 | * <!-- begin-user-doc --> | 316 | * <!-- begin-user-doc --> |
362 | * <!-- end-user-doc --> | 317 | * <!-- end-user-doc --> |
363 | * @return a new object of class '<em>Class Interpretation</em>'. | 318 | * @return a new object of class '<em>Exact Multiplicity</em>'. |
364 | * @generated | 319 | * @generated |
365 | */ | 320 | */ |
366 | ClassInterpretation createClassInterpretation(); | 321 | ExactMultiplicity createExactMultiplicity(); |
367 | 322 | ||
368 | /** | 323 | /** |
369 | * Returns a new object of class '<em>Enum Interpretation</em>'. | 324 | * Returns a new object of class '<em>Bounded Multiplicity</em>'. |
370 | * <!-- begin-user-doc --> | 325 | * <!-- begin-user-doc --> |
371 | * <!-- end-user-doc --> | 326 | * <!-- end-user-doc --> |
372 | * @return a new object of class '<em>Enum Interpretation</em>'. | 327 | * @return a new object of class '<em>Bounded Multiplicity</em>'. |
373 | * @generated | 328 | * @generated |
374 | */ | 329 | */ |
375 | EnumInterpretation createEnumInterpretation(); | 330 | BoundedMultiplicity createBoundedMultiplicity(); |
376 | 331 | ||
377 | /** | 332 | /** |
378 | * Returns a new object of class '<em>Field Relation Interpretation</em>'. | 333 | * Returns a new object of class '<em>Scope Definition</em>'. |
379 | * <!-- begin-user-doc --> | 334 | * <!-- begin-user-doc --> |
380 | * <!-- end-user-doc --> | 335 | * <!-- end-user-doc --> |
381 | * @return a new object of class '<em>Field Relation Interpretation</em>'. | 336 | * @return a new object of class '<em>Scope Definition</em>'. |
382 | * @generated | 337 | * @generated |
383 | */ | 338 | */ |
384 | FieldRelationInterpretation createFieldRelationInterpretation(); | 339 | ScopeDefinition createScopeDefinition(); |
385 | 340 | ||
386 | /** | 341 | /** |
387 | * Returns a new object of class '<em>Global Relation Interpretation</em>'. | 342 | * Returns a new object of class '<em>Exact Scope Definition</em>'. |
388 | * <!-- begin-user-doc --> | 343 | * <!-- begin-user-doc --> |
389 | * <!-- end-user-doc --> | 344 | * <!-- end-user-doc --> |
390 | * @return a new object of class '<em>Global Relation Interpretation</em>'. | 345 | * @return a new object of class '<em>Exact Scope Definition</em>'. |
391 | * @generated | 346 | * @generated |
392 | */ | 347 | */ |
393 | GlobalRelationInterpretation createGlobalRelationInterpretation(); | 348 | ExactScopeDefinition createExactScopeDefinition(); |
394 | 349 | ||
395 | /** | 350 | /** |
396 | * Returns a new object of class '<em>Multiplicity Definition</em>'. | 351 | * Returns a new object of class '<em>Bounded Scope Definition</em>'. |
397 | * <!-- begin-user-doc --> | 352 | * <!-- begin-user-doc --> |
398 | * <!-- end-user-doc --> | 353 | * <!-- end-user-doc --> |
399 | * @return a new object of class '<em>Multiplicity Definition</em>'. | 354 | * @return a new object of class '<em>Bounded Scope Definition</em>'. |
400 | * @generated | 355 | * @generated |
401 | */ | 356 | */ |
402 | MultiplicityDefinition createMultiplicityDefinition(); | 357 | BoundedScopeDefinition createBoundedScopeDefinition(); |
403 | 358 | ||
404 | /** | 359 | /** |
405 | * Returns a new object of class '<em>Boolean True</em>'. | 360 | * Returns a new object of class '<em>Lower Bounded Scope Definition</em>'. |
406 | * <!-- begin-user-doc --> | 361 | * <!-- begin-user-doc --> |
407 | * <!-- end-user-doc --> | 362 | * <!-- end-user-doc --> |
408 | * @return a new object of class '<em>Boolean True</em>'. | 363 | * @return a new object of class '<em>Lower Bounded Scope Definition</em>'. |
409 | * @generated | 364 | * @generated |
410 | */ | 365 | */ |
411 | BooleanTrue createBooleanTrue(); | 366 | LowerBoundedScopeDefinition createLowerBoundedScopeDefinition(); |
412 | 367 | ||
413 | /** | 368 | /** |
414 | * Returns a new object of class '<em>Boolean False</em>'. | 369 | * Returns a new object of class '<em>Objective Definition</em>'. |
415 | * <!-- begin-user-doc --> | 370 | * <!-- begin-user-doc --> |
416 | * <!-- end-user-doc --> | 371 | * <!-- end-user-doc --> |
417 | * @return a new object of class '<em>Boolean False</em>'. | 372 | * @return a new object of class '<em>Objective Definition</em>'. |
418 | * @generated | 373 | * @generated |
419 | */ | 374 | */ |
420 | BooleanFalse createBooleanFalse(); | 375 | ObjectiveDefinition createObjectiveDefinition(); |
421 | 376 | ||
422 | /** | 377 | /** |
423 | * Returns a new object of class '<em>True</em>'. | 378 | * Returns a new object of class '<em>Named Element</em>'. |
424 | * <!-- begin-user-doc --> | 379 | * <!-- begin-user-doc --> |
425 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
426 | * @return a new object of class '<em>True</em>'. | 381 | * @return a new object of class '<em>Named Element</em>'. |
427 | * @generated | 382 | * @generated |
428 | */ | 383 | */ |
429 | True createTrue(); | 384 | NamedElement createNamedElement(); |
430 | 385 | ||
431 | /** | 386 | /** |
432 | * Returns a new object of class '<em>False</em>'. | 387 | * Returns a new object of class '<em>Assertion</em>'. |
433 | * <!-- begin-user-doc --> | 388 | * <!-- begin-user-doc --> |
434 | * <!-- end-user-doc --> | 389 | * <!-- end-user-doc --> |
435 | * @return a new object of class '<em>False</em>'. | 390 | * @return a new object of class '<em>Assertion</em>'. |
436 | * @generated | 391 | * @generated |
437 | */ | 392 | */ |
438 | False createFalse(); | 393 | Assertion createAssertion(); |
439 | 394 | ||
440 | /** | 395 | /** |
441 | * Returns a new object of class '<em>Unknown</em>'. | 396 | * Returns a new object of class '<em>Disjunction</em>'. |
442 | * <!-- begin-user-doc --> | 397 | * <!-- begin-user-doc --> |
443 | * <!-- end-user-doc --> | 398 | * <!-- end-user-doc --> |
444 | * @return a new object of class '<em>Unknown</em>'. | 399 | * @return a new object of class '<em>Disjunction</em>'. |
445 | * @generated | 400 | * @generated |
446 | */ | 401 | */ |
447 | Unknown createUnknown(); | 402 | Disjunction createDisjunction(); |
448 | 403 | ||
449 | /** | 404 | /** |
450 | * Returns a new object of class '<em>Error</em>'. | 405 | * Returns a new object of class '<em>Switch</em>'. |
451 | * <!-- begin-user-doc --> | 406 | * <!-- begin-user-doc --> |
452 | * <!-- end-user-doc --> | 407 | * <!-- end-user-doc --> |
453 | * @return a new object of class '<em>Error</em>'. | 408 | * @return a new object of class '<em>Switch</em>'. |
454 | * @generated | 409 | * @generated |
455 | */ | 410 | */ |
456 | Error createError(); | 411 | Switch createSwitch(); |
457 | 412 | ||
458 | /** | 413 | /** |
459 | * Returns a new object of class '<em>Positive</em>'. | 414 | * Returns a new object of class '<em>Conjunction</em>'. |
460 | * <!-- begin-user-doc --> | 415 | * <!-- begin-user-doc --> |
461 | * <!-- end-user-doc --> | 416 | * <!-- end-user-doc --> |
462 | * @return a new object of class '<em>Positive</em>'. | 417 | * @return a new object of class '<em>Conjunction</em>'. |
463 | * @generated | 418 | * @generated |
464 | */ | 419 | */ |
465 | Positive createPositive(); | 420 | Conjunction createConjunction(); |
466 | 421 | ||
467 | /** | 422 | /** |
468 | * Returns a new object of class '<em>Negative</em>'. | 423 | * Returns a new object of class '<em>Comparison</em>'. |
469 | * <!-- begin-user-doc --> | 424 | * <!-- begin-user-doc --> |
470 | * <!-- end-user-doc --> | 425 | * <!-- end-user-doc --> |
471 | * @return a new object of class '<em>Negative</em>'. | 426 | * @return a new object of class '<em>Comparison</em>'. |
472 | * @generated | 427 | * @generated |
473 | */ | 428 | */ |
474 | Negative createNegative(); | 429 | Comparison createComparison(); |
475 | 430 | ||
476 | /** | 431 | /** |
477 | * Returns a new object of class '<em>Reflexive Closure</em>'. | 432 | * Returns a new object of class '<em>Binary Expression</em>'. |
478 | * <!-- begin-user-doc --> | 433 | * <!-- begin-user-doc --> |
479 | * <!-- end-user-doc --> | 434 | * <!-- end-user-doc --> |
480 | * @return a new object of class '<em>Reflexive Closure</em>'. | 435 | * @return a new object of class '<em>Binary Expression</em>'. |
481 | * @generated | 436 | * @generated |
482 | */ | 437 | */ |
483 | ReflexiveClosure createReflexiveClosure(); | 438 | BinaryExpression createBinaryExpression(); |
484 | 439 | ||
485 | /** | 440 | /** |
486 | * Returns a new object of class '<em>Irreflexive Closure</em>'. | 441 | * Returns a new object of class '<em>Unary Expression</em>'. |
487 | * <!-- begin-user-doc --> | 442 | * <!-- begin-user-doc --> |
488 | * <!-- end-user-doc --> | 443 | * <!-- end-user-doc --> |
489 | * @return a new object of class '<em>Irreflexive Closure</em>'. | 444 | * @return a new object of class '<em>Unary Expression</em>'. |
490 | * @generated | 445 | * @generated |
491 | */ | 446 | */ |
492 | IrreflexiveClosure createIrreflexiveClosure(); | 447 | UnaryExpression createUnaryExpression(); |
493 | 448 | ||
494 | /** | 449 | /** |
495 | * Returns the package supported by this factory. | 450 | * Returns the package supported by this factory. |