aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
diff options
context:
space:
mode:
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.java458
1 files changed, 0 insertions, 458 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
deleted file mode 100644
index f6e293b9..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
+++ /dev/null
@@ -1,458 +0,0 @@
1/**
2 * generated by Xtext 2.21.0
3 */
4package org.eclipse.viatra.solver.language.solverLanguage;
5
6import org.eclipse.emf.ecore.EFactory;
7
8/**
9 * <!-- begin-user-doc -->
10 * The <b>Factory</b> for the model.
11 * It provides a create method for each non-abstract class of the model.
12 * <!-- end-user-doc -->
13 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage
14 * @generated
15 */
16public interface SolverLanguageFactory extends EFactory
17{
18 /**
19 * The singleton instance of the factory.
20 * <!-- begin-user-doc -->
21 * <!-- end-user-doc -->
22 * @generated
23 */
24 SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl.init();
25
26 /**
27 * Returns a new object of class '<em>Problem</em>'.
28 * <!-- begin-user-doc -->
29 * <!-- end-user-doc -->
30 * @return a new object of class '<em>Problem</em>'.
31 * @generated
32 */
33 Problem createProblem();
34
35 /**
36 * Returns a new object of class '<em>Statement</em>'.
37 * <!-- begin-user-doc -->
38 * <!-- end-user-doc -->
39 * @return a new object of class '<em>Statement</em>'.
40 * @generated
41 */
42 Statement createStatement();
43
44 /**
45 * Returns a new object of class '<em>Predicate Definition</em>'.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @return a new object of class '<em>Predicate Definition</em>'.
49 * @generated
50 */
51 PredicateDefinition createPredicateDefinition();
52
53 /**
54 * Returns a new object of class '<em>Unnamed Error Prediate Definition</em>'.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @return a new object of class '<em>Unnamed Error Prediate Definition</em>'.
58 * @generated
59 */
60 UnnamedErrorPrediateDefinition createUnnamedErrorPrediateDefinition();
61
62 /**
63 * Returns a new object of class '<em>Default Definition</em>'.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @return a new object of class '<em>Default Definition</em>'.
67 * @generated
68 */
69 DefaultDefinition createDefaultDefinition();
70
71 /**
72 * Returns a new object of class '<em>Extern Predicate Definition</em>'.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @return a new object of class '<em>Extern Predicate Definition</em>'.
76 * @generated
77 */
78 ExternPredicateDefinition createExternPredicateDefinition();
79
80 /**
81 * Returns a new object of class '<em>Metric Definition</em>'.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @return a new object of class '<em>Metric Definition</em>'.
85 * @generated
86 */
87 MetricDefinition createMetricDefinition();
88
89 /**
90 * Returns a new object of class '<em>Extern Metric Definition</em>'.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @return a new object of class '<em>Extern Metric Definition</em>'.
94 * @generated
95 */
96 ExternMetricDefinition createExternMetricDefinition();
97
98 /**
99 * Returns a new object of class '<em>Expression</em>'.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @return a new object of class '<em>Expression</em>'.
103 * @generated
104 */
105 Expression createExpression();
106
107 /**
108 * Returns a new object of class '<em>If Else</em>'.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @return a new object of class '<em>If Else</em>'.
112 * @generated
113 */
114 IfElse createIfElse();
115
116 /**
117 * Returns a new object of class '<em>Case</em>'.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @return a new object of class '<em>Case</em>'.
121 * @generated
122 */
123 Case createCase();
124
125 /**
126 * Returns a new object of class '<em>Count</em>'.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @return a new object of class '<em>Count</em>'.
130 * @generated
131 */
132 Count createCount();
133
134 /**
135 * Returns a new object of class '<em>Aggregation</em>'.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @return a new object of class '<em>Aggregation</em>'.
139 * @generated
140 */
141 Aggregation createAggregation();
142
143 /**
144 * Returns a new object of class '<em>Call</em>'.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @return a new object of class '<em>Call</em>'.
148 * @generated
149 */
150 Call createCall();
151
152 /**
153 * Returns a new object of class '<em>Argument List</em>'.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @return a new object of class '<em>Argument List</em>'.
157 * @generated
158 */
159 ArgumentList createArgumentList();
160
161 /**
162 * Returns a new object of class '<em>Argument</em>'.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @return a new object of class '<em>Argument</em>'.
166 * @generated
167 */
168 Argument createArgument();
169
170 /**
171 * Returns a new object of class '<em>Expression Argument</em>'.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @return a new object of class '<em>Expression Argument</em>'.
175 * @generated
176 */
177 ExpressionArgument createExpressionArgument();
178
179 /**
180 * Returns a new object of class '<em>Star Argument</em>'.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @return a new object of class '<em>Star Argument</em>'.
184 * @generated
185 */
186 StarArgument createStarArgument();
187
188 /**
189 * Returns a new object of class '<em>Typed Argument</em>'.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @return a new object of class '<em>Typed Argument</em>'.
193 * @generated
194 */
195 TypedArgument createTypedArgument();
196
197 /**
198 * Returns a new object of class '<em>Typed Star Argument</em>'.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @return a new object of class '<em>Typed Star Argument</em>'.
202 * @generated
203 */
204 TypedStarArgument createTypedStarArgument();
205
206 /**
207 * Returns a new object of class '<em>Reference</em>'.
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @return a new object of class '<em>Reference</em>'.
211 * @generated
212 */
213 Reference createReference();
214
215 /**
216 * Returns a new object of class '<em>Interval</em>'.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @return a new object of class '<em>Interval</em>'.
220 * @generated
221 */
222 Interval createInterval();
223
224 /**
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>Literal</em>'.
229 * @generated
230 */
231 Literal createLiteral();
232
233 /**
234 * Returns a new object of class '<em>Logic Literal</em>'.
235 * <!-- begin-user-doc -->
236 * <!-- end-user-doc -->
237 * @return a new object of class '<em>Logic Literal</em>'.
238 * @generated
239 */
240 LogicLiteral createLogicLiteral();
241
242 /**
243 * Returns a new object of class '<em>Numeric Literal</em>'.
244 * <!-- begin-user-doc -->
245 * <!-- end-user-doc -->
246 * @return a new object of class '<em>Numeric Literal</em>'.
247 * @generated
248 */
249 NumericLiteral createNumericLiteral();
250
251 /**
252 * Returns a new object of class '<em>Infinity Literal</em>'.
253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc -->
255 * @return a new object of class '<em>Infinity Literal</em>'.
256 * @generated
257 */
258 InfinityLiteral createInfinityLiteral();
259
260 /**
261 * Returns a new object of class '<em>Empty Interval Literal</em>'.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @return a new object of class '<em>Empty Interval Literal</em>'.
265 * @generated
266 */
267 EmptyIntervalLiteral createEmptyIntervalLiteral();
268
269 /**
270 * Returns a new object of class '<em>String Literal</em>'.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @return a new object of class '<em>String Literal</em>'.
274 * @generated
275 */
276 StringLiteral createStringLiteral();
277
278 /**
279 * Returns a new object of class '<em>Class Definition</em>'.
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @return a new object of class '<em>Class Definition</em>'.
283 * @generated
284 */
285 ClassDefinition createClassDefinition();
286
287 /**
288 * Returns a new object of class '<em>Member Definition</em>'.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @return a new object of class '<em>Member Definition</em>'.
292 * @generated
293 */
294 MemberDefinition createMemberDefinition();
295
296 /**
297 * Returns a new object of class '<em>Multiplicity</em>'.
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @return a new object of class '<em>Multiplicity</em>'.
301 * @generated
302 */
303 Multiplicity createMultiplicity();
304
305 /**
306 * Returns a new object of class '<em>Many Multiplicity</em>'.
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @return a new object of class '<em>Many Multiplicity</em>'.
310 * @generated
311 */
312 ManyMultiplicity createManyMultiplicity();
313
314 /**
315 * Returns a new object of class '<em>Exact Multiplicity</em>'.
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @return a new object of class '<em>Exact Multiplicity</em>'.
319 * @generated
320 */
321 ExactMultiplicity createExactMultiplicity();
322
323 /**
324 * Returns a new object of class '<em>Bounded Multiplicity</em>'.
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @return a new object of class '<em>Bounded Multiplicity</em>'.
328 * @generated
329 */
330 BoundedMultiplicity createBoundedMultiplicity();
331
332 /**
333 * Returns a new object of class '<em>Scope Definition</em>'.
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @return a new object of class '<em>Scope Definition</em>'.
337 * @generated
338 */
339 ScopeDefinition createScopeDefinition();
340
341 /**
342 * Returns a new object of class '<em>Exact Scope Definition</em>'.
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @return a new object of class '<em>Exact Scope Definition</em>'.
346 * @generated
347 */
348 ExactScopeDefinition createExactScopeDefinition();
349
350 /**
351 * Returns a new object of class '<em>Bounded Scope Definition</em>'.
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @return a new object of class '<em>Bounded Scope Definition</em>'.
355 * @generated
356 */
357 BoundedScopeDefinition createBoundedScopeDefinition();
358
359 /**
360 * Returns a new object of class '<em>Lower Bounded Scope Definition</em>'.
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @return a new object of class '<em>Lower Bounded Scope Definition</em>'.
364 * @generated
365 */
366 LowerBoundedScopeDefinition createLowerBoundedScopeDefinition();
367
368 /**
369 * Returns a new object of class '<em>Objective Definition</em>'.
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @return a new object of class '<em>Objective Definition</em>'.
373 * @generated
374 */
375 ObjectiveDefinition createObjectiveDefinition();
376
377 /**
378 * Returns a new object of class '<em>Named Element</em>'.
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @return a new object of class '<em>Named Element</em>'.
382 * @generated
383 */
384 NamedElement createNamedElement();
385
386 /**
387 * Returns a new object of class '<em>Assertion</em>'.
388 * <!-- begin-user-doc -->
389 * <!-- end-user-doc -->
390 * @return a new object of class '<em>Assertion</em>'.
391 * @generated
392 */
393 Assertion createAssertion();
394
395 /**
396 * Returns a new object of class '<em>Disjunction</em>'.
397 * <!-- begin-user-doc -->
398 * <!-- end-user-doc -->
399 * @return a new object of class '<em>Disjunction</em>'.
400 * @generated
401 */
402 Disjunction createDisjunction();
403
404 /**
405 * Returns a new object of class '<em>Switch</em>'.
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @return a new object of class '<em>Switch</em>'.
409 * @generated
410 */
411 Switch createSwitch();
412
413 /**
414 * Returns a new object of class '<em>Conjunction</em>'.
415 * <!-- begin-user-doc -->
416 * <!-- end-user-doc -->
417 * @return a new object of class '<em>Conjunction</em>'.
418 * @generated
419 */
420 Conjunction createConjunction();
421
422 /**
423 * Returns a new object of class '<em>Comparison</em>'.
424 * <!-- begin-user-doc -->
425 * <!-- end-user-doc -->
426 * @return a new object of class '<em>Comparison</em>'.
427 * @generated
428 */
429 Comparison createComparison();
430
431 /**
432 * Returns a new object of class '<em>Binary Expression</em>'.
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @return a new object of class '<em>Binary Expression</em>'.
436 * @generated
437 */
438 BinaryExpression createBinaryExpression();
439
440 /**
441 * Returns a new object of class '<em>Unary Expression</em>'.
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @return a new object of class '<em>Unary Expression</em>'.
445 * @generated
446 */
447 UnaryExpression createUnaryExpression();
448
449 /**
450 * Returns the package supported by this factory.
451 * <!-- begin-user-doc -->
452 * <!-- end-user-doc -->
453 * @return the package supported by this factory.
454 * @generated
455 */
456 SolverLanguagePackage getSolverLanguagePackage();
457
458} //SolverLanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:44:05 +0000