aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
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.java521
1 files changed, 521 insertions, 0 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
new file mode 100644
index 00000000..ebe2abdb
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguageFactory.java
@@ -0,0 +1,521 @@
1/**
2 * generated by Xtext 2.18.0.M3
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>Boolean Value</em>'.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @return a new object of class '<em>Boolean Value</em>'.
49 * @generated
50 */
51 BooleanValue createBooleanValue();
52
53 /**
54 * Returns a new object of class '<em>Truth Value</em>'.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @return a new object of class '<em>Truth Value</em>'.
58 * @generated
59 */
60 TruthValue createTruthValue();
61
62 /**
63 * Returns a new object of class '<em>Interpretation</em>'.
64 * <!-- begin-user-doc -->
65 * <!-- end-user-doc -->
66 * @return a new object of class '<em>Interpretation</em>'.
67 * @generated
68 */
69 Interpretation createInterpretation();
70
71 /**
72 * Returns a new object of class '<em>Basic Interpretation</em>'.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @return a new object of class '<em>Basic Interpretation</em>'.
76 * @generated
77 */
78 BasicInterpretation createBasicInterpretation();
79
80 /**
81 * Returns a new object of class '<em>Symbol</em>'.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @return a new object of class '<em>Symbol</em>'.
85 * @generated
86 */
87 Symbol createSymbol();
88
89 /**
90 * Returns a new object of class '<em>Model Symbol</em>'.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @return a new object of class '<em>Model Symbol</em>'.
94 * @generated
95 */
96 ModelSymbol createModelSymbol();
97
98 /**
99 * Returns a new object of class '<em>Partiality Symbol</em>'.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @return a new object of class '<em>Partiality Symbol</em>'.
103 * @generated
104 */
105 PartialitySymbol createPartialitySymbol();
106
107 /**
108 * Returns a new object of class '<em>Exist Symbol</em>'.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @return a new object of class '<em>Exist Symbol</em>'.
112 * @generated
113 */
114 ExistSymbol createExistSymbol();
115
116 /**
117 * Returns a new object of class '<em>Equals Symbol</em>'.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @return a new object of class '<em>Equals Symbol</em>'.
121 * @generated
122 */
123 EqualsSymbol createEqualsSymbol();
124
125 /**
126 * Returns a new object of class '<em>Data Symbol</em>'.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @return a new object of class '<em>Data Symbol</em>'.
130 * @generated
131 */
132 DataSymbol createDataSymbol();
133
134 /**
135 * Returns a new object of class '<em>Boolean Symbol</em>'.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @return a new object of class '<em>Boolean Symbol</em>'.
139 * @generated
140 */
141 BooleanSymbol createBooleanSymbol();
142
143 /**
144 * Returns a new object of class '<em>Integer Symbol</em>'.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @return a new object of class '<em>Integer Symbol</em>'.
148 * @generated
149 */
150 IntegerSymbol createIntegerSymbol();
151
152 /**
153 * Returns a new object of class '<em>Real Symbol</em>'.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @return a new object of class '<em>Real Symbol</em>'.
157 * @generated
158 */
159 RealSymbol createRealSymbol();
160
161 /**
162 * Returns a new object of class '<em>String Symbol</em>'.
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @return a new object of class '<em>String Symbol</em>'.
166 * @generated
167 */
168 StringSymbol createStringSymbol();
169
170 /**
171 * Returns a new object of class '<em>Complex Object</em>'.
172 * <!-- begin-user-doc -->
173 * <!-- end-user-doc -->
174 * @return a new object of class '<em>Complex Object</em>'.
175 * @generated
176 */
177 ComplexObject createComplexObject();
178
179 /**
180 * Returns a new object of class '<em>Object</em>'.
181 * <!-- begin-user-doc -->
182 * <!-- end-user-doc -->
183 * @return a new object of class '<em>Object</em>'.
184 * @generated
185 */
186 Object createObject();
187
188 /**
189 * Returns a new object of class '<em>Named Object</em>'.
190 * <!-- begin-user-doc -->
191 * <!-- end-user-doc -->
192 * @return a new object of class '<em>Named Object</em>'.
193 * @generated
194 */
195 NamedObject createNamedObject();
196
197 /**
198 * Returns a new object of class '<em>Unnamed Object</em>'.
199 * <!-- begin-user-doc -->
200 * <!-- end-user-doc -->
201 * @return a new object of class '<em>Unnamed Object</em>'.
202 * @generated
203 */
204 UnnamedObject createUnnamedObject();
205
206 /**
207 * Returns a new object of class '<em>Data Object</em>'.
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @return a new object of class '<em>Data Object</em>'.
211 * @generated
212 */
213 DataObject createDataObject();
214
215 /**
216 * Returns a new object of class '<em>Boolean Object</em>'.
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @return a new object of class '<em>Boolean Object</em>'.
220 * @generated
221 */
222 BooleanObject createBooleanObject();
223
224 /**
225 * Returns a new object of class '<em>Int Object</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>Predicate Symbol</em>'.
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @return a new object of class '<em>Predicate Symbol</em>'.
265 * @generated
266 */
267 PredicateSymbol createPredicateSymbol();
268
269 /**
270 * Returns a new object of class '<em>Error Predicate</em>'.
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @return a new object of class '<em>Error Predicate</em>'.
274 * @generated
275 */
276 ErrorPredicate createErrorPredicate();
277
278 /**
279 * Returns a new object of class '<em>Parameter</em>'.
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @return a new object of class '<em>Parameter</em>'.
283 * @generated
284 */
285 Parameter createParameter();
286
287 /**
288 * Returns a new object of class '<em>Pattern Body</em>'.
289 * <!-- begin-user-doc -->
290 * <!-- end-user-doc -->
291 * @return a new object of class '<em>Pattern Body</em>'.
292 * @generated
293 */
294 PatternBody createPatternBody();
295
296 /**
297 * Returns a new object of class '<em>Polarity</em>'.
298 * <!-- begin-user-doc -->
299 * <!-- end-user-doc -->
300 * @return a new object of class '<em>Polarity</em>'.
301 * @generated
302 */
303 Polarity createPolarity();
304
305 /**
306 * Returns a new object of class '<em>Constraint</em>'.
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @return a new object of class '<em>Constraint</em>'.
310 * @generated
311 */
312 Constraint createConstraint();
313
314 /**
315 * Returns a new object of class '<em>Closure Type</em>'.
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @return a new object of class '<em>Closure Type</em>'.
319 * @generated
320 */
321 ClosureType createClosureType();
322
323 /**
324 * Returns a new object of class '<em>Literal</em>'.
325 * <!-- begin-user-doc -->
326 * <!-- end-user-doc -->
327 * @return a new object of class '<em>Literal</em>'.
328 * @generated
329 */
330 Literal createLiteral();
331
332 /**
333 * Returns a new object of class '<em>Variable</em>'.
334 * <!-- begin-user-doc -->
335 * <!-- end-user-doc -->
336 * @return a new object of class '<em>Variable</em>'.
337 * @generated
338 */
339 Variable createVariable();
340
341 /**
342 * Returns a new object of class '<em>All Instances</em>'.
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @return a new object of class '<em>All Instances</em>'.
346 * @generated
347 */
348 AllInstances createAllInstances();
349
350 /**
351 * Returns a new object of class '<em>All Objects</em>'.
352 * <!-- begin-user-doc -->
353 * <!-- end-user-doc -->
354 * @return a new object of class '<em>All Objects</em>'.
355 * @generated
356 */
357 AllObjects createAllObjects();
358
359 /**
360 * Returns a new object of class '<em>Default Interpretation</em>'.
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @return a new object of class '<em>Default Interpretation</em>'.
364 * @generated
365 */
366 DefaultInterpretation createDefaultInterpretation();
367
368 /**
369 * Returns a new object of class '<em>CD Interpretation</em>'.
370 * <!-- begin-user-doc -->
371 * <!-- end-user-doc -->
372 * @return a new object of class '<em>CD Interpretation</em>'.
373 * @generated
374 */
375 CDInterpretation createCDInterpretation();
376
377 /**
378 * Returns a new object of class '<em>Class Interpretation</em>'.
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @return a new object of class '<em>Class Interpretation</em>'.
382 * @generated
383 */
384 ClassInterpretation createClassInterpretation();
385
386 /**
387 * Returns a new object of class '<em>Enum Interpretation</em>'.
388 * <!-- begin-user-doc -->
389 * <!-- end-user-doc -->
390 * @return a new object of class '<em>Enum Interpretation</em>'.
391 * @generated
392 */
393 EnumInterpretation createEnumInterpretation();
394
395 /**
396 * Returns a new object of class '<em>Field Relation Interpretation</em>'.
397 * <!-- begin-user-doc -->
398 * <!-- end-user-doc -->
399 * @return a new object of class '<em>Field Relation Interpretation</em>'.
400 * @generated
401 */
402 FieldRelationInterpretation createFieldRelationInterpretation();
403
404 /**
405 * Returns a new object of class '<em>Global Relation Interpretation</em>'.
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @return a new object of class '<em>Global Relation Interpretation</em>'.
409 * @generated
410 */
411 GlobalRelationInterpretation createGlobalRelationInterpretation();
412
413 /**
414 * Returns a new object of class '<em>Multiplicity Definition</em>'.
415 * <!-- begin-user-doc -->
416 * <!-- end-user-doc -->
417 * @return a new object of class '<em>Multiplicity Definition</em>'.
418 * @generated
419 */
420 MultiplicityDefinition createMultiplicityDefinition();
421
422 /**
423 * Returns a new object of class '<em>Boolean True</em>'.
424 * <!-- begin-user-doc -->
425 * <!-- end-user-doc -->
426 * @return a new object of class '<em>Boolean True</em>'.
427 * @generated
428 */
429 BooleanTrue createBooleanTrue();
430
431 /**
432 * Returns a new object of class '<em>Boolean False</em>'.
433 * <!-- begin-user-doc -->
434 * <!-- end-user-doc -->
435 * @return a new object of class '<em>Boolean False</em>'.
436 * @generated
437 */
438 BooleanFalse createBooleanFalse();
439
440 /**
441 * Returns a new object of class '<em>True</em>'.
442 * <!-- begin-user-doc -->
443 * <!-- end-user-doc -->
444 * @return a new object of class '<em>True</em>'.
445 * @generated
446 */
447 True createTrue();
448
449 /**
450 * Returns a new object of class '<em>False</em>'.
451 * <!-- begin-user-doc -->
452 * <!-- end-user-doc -->
453 * @return a new object of class '<em>False</em>'.
454 * @generated
455 */
456 False createFalse();
457
458 /**
459 * Returns a new object of class '<em>Unknown</em>'.
460 * <!-- begin-user-doc -->
461 * <!-- end-user-doc -->
462 * @return a new object of class '<em>Unknown</em>'.
463 * @generated
464 */
465 Unknown createUnknown();
466
467 /**
468 * Returns a new object of class '<em>Error</em>'.
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @return a new object of class '<em>Error</em>'.
472 * @generated
473 */
474 Error createError();
475
476 /**
477 * Returns a new object of class '<em>Positive</em>'.
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @return a new object of class '<em>Positive</em>'.
481 * @generated
482 */
483 Positive createPositive();
484
485 /**
486 * Returns a new object of class '<em>Negative</em>'.
487 * <!-- begin-user-doc -->
488 * <!-- end-user-doc -->
489 * @return a new object of class '<em>Negative</em>'.
490 * @generated
491 */
492 Negative createNegative();
493
494 /**
495 * Returns a new object of class '<em>Reflexive Closure</em>'.
496 * <!-- begin-user-doc -->
497 * <!-- end-user-doc -->
498 * @return a new object of class '<em>Reflexive Closure</em>'.
499 * @generated
500 */
501 ReflexiveClosure createReflexiveClosure();
502
503 /**
504 * Returns a new object of class '<em>Irreflexive Closure</em>'.
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @return a new object of class '<em>Irreflexive Closure</em>'.
508 * @generated
509 */
510 IrreflexiveClosure createIrreflexiveClosure();
511
512 /**
513 * Returns the package supported by this factory.
514 * <!-- begin-user-doc -->
515 * <!-- end-user-doc -->
516 * @return the package supported by this factory.
517 * @generated
518 */
519 SolverLanguagePackage getSolverLanguagePackage();
520
521} //SolverLanguageFactory
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 03:46:12 +0000