aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java745
1 files changed, 745 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java
new file mode 100644
index 00000000..596bcb50
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SmtLanguageFactory.java
@@ -0,0 +1,745 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage;
4
5import org.eclipse.emf.ecore.EFactory;
6
7/**
8 * <!-- begin-user-doc -->
9 * The <b>Factory</b> for the model.
10 * It provides a create method for each non-abstract class of the model.
11 * <!-- end-user-doc -->
12 * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage
13 * @generated
14 */
15public interface SmtLanguageFactory extends EFactory
16{
17 /**
18 * The singleton instance of the factory.
19 * <!-- begin-user-doc -->
20 * <!-- end-user-doc -->
21 * @generated
22 */
23 SmtLanguageFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.smtLanguage.impl.SmtLanguageFactoryImpl.init();
24
25 /**
26 * Returns a new object of class '<em>SMT Document</em>'.
27 * <!-- begin-user-doc -->
28 * <!-- end-user-doc -->
29 * @return a new object of class '<em>SMT Document</em>'.
30 * @generated
31 */
32 SMTDocument createSMTDocument();
33
34 /**
35 * Returns a new object of class '<em>SMT Input</em>'.
36 * <!-- begin-user-doc -->
37 * <!-- end-user-doc -->
38 * @return a new object of class '<em>SMT Input</em>'.
39 * @generated
40 */
41 SMTInput createSMTInput();
42
43 /**
44 * Returns a new object of class '<em>SMT Output</em>'.
45 * <!-- begin-user-doc -->
46 * <!-- end-user-doc -->
47 * @return a new object of class '<em>SMT Output</em>'.
48 * @generated
49 */
50 SMTOutput createSMTOutput();
51
52 /**
53 * Returns a new object of class '<em>SMT Option</em>'.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @return a new object of class '<em>SMT Option</em>'.
57 * @generated
58 */
59 SMTOption createSMTOption();
60
61 /**
62 * Returns a new object of class '<em>SMT Type</em>'.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @return a new object of class '<em>SMT Type</em>'.
66 * @generated
67 */
68 SMTType createSMTType();
69
70 /**
71 * Returns a new object of class '<em>SMT Enum Literal</em>'.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @return a new object of class '<em>SMT Enum Literal</em>'.
75 * @generated
76 */
77 SMTEnumLiteral createSMTEnumLiteral();
78
79 /**
80 * Returns a new object of class '<em>SMT Enumerated Type Declaration</em>'.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @return a new object of class '<em>SMT Enumerated Type Declaration</em>'.
84 * @generated
85 */
86 SMTEnumeratedTypeDeclaration createSMTEnumeratedTypeDeclaration();
87
88 /**
89 * Returns a new object of class '<em>SMT Set Type Declaration</em>'.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @return a new object of class '<em>SMT Set Type Declaration</em>'.
93 * @generated
94 */
95 SMTSetTypeDeclaration createSMTSetTypeDeclaration();
96
97 /**
98 * Returns a new object of class '<em>SMT Type Reference</em>'.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @return a new object of class '<em>SMT Type Reference</em>'.
102 * @generated
103 */
104 SMTTypeReference createSMTTypeReference();
105
106 /**
107 * Returns a new object of class '<em>SMT Complex Type Reference</em>'.
108 * <!-- begin-user-doc -->
109 * <!-- end-user-doc -->
110 * @return a new object of class '<em>SMT Complex Type Reference</em>'.
111 * @generated
112 */
113 SMTComplexTypeReference createSMTComplexTypeReference();
114
115 /**
116 * Returns a new object of class '<em>SMT Primitive Type Reference</em>'.
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @return a new object of class '<em>SMT Primitive Type Reference</em>'.
120 * @generated
121 */
122 SMTPrimitiveTypeReference createSMTPrimitiveTypeReference();
123
124 /**
125 * Returns a new object of class '<em>SMT Int Type Reference</em>'.
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @return a new object of class '<em>SMT Int Type Reference</em>'.
129 * @generated
130 */
131 SMTIntTypeReference createSMTIntTypeReference();
132
133 /**
134 * Returns a new object of class '<em>SMT Bool Type Reference</em>'.
135 * <!-- begin-user-doc -->
136 * <!-- end-user-doc -->
137 * @return a new object of class '<em>SMT Bool Type Reference</em>'.
138 * @generated
139 */
140 SMTBoolTypeReference createSMTBoolTypeReference();
141
142 /**
143 * Returns a new object of class '<em>SMT Real Type Reference</em>'.
144 * <!-- begin-user-doc -->
145 * <!-- end-user-doc -->
146 * @return a new object of class '<em>SMT Real Type Reference</em>'.
147 * @generated
148 */
149 SMTRealTypeReference createSMTRealTypeReference();
150
151 /**
152 * Returns a new object of class '<em>SMT Function Declaration</em>'.
153 * <!-- begin-user-doc -->
154 * <!-- end-user-doc -->
155 * @return a new object of class '<em>SMT Function Declaration</em>'.
156 * @generated
157 */
158 SMTFunctionDeclaration createSMTFunctionDeclaration();
159
160 /**
161 * Returns a new object of class '<em>SMT Function Definition</em>'.
162 * <!-- begin-user-doc -->
163 * <!-- end-user-doc -->
164 * @return a new object of class '<em>SMT Function Definition</em>'.
165 * @generated
166 */
167 SMTFunctionDefinition createSMTFunctionDefinition();
168
169 /**
170 * Returns a new object of class '<em>SMT Term</em>'.
171 * <!-- begin-user-doc -->
172 * <!-- end-user-doc -->
173 * @return a new object of class '<em>SMT Term</em>'.
174 * @generated
175 */
176 SMTTerm createSMTTerm();
177
178 /**
179 * Returns a new object of class '<em>SMT Symbolic Declaration</em>'.
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @return a new object of class '<em>SMT Symbolic Declaration</em>'.
183 * @generated
184 */
185 SMTSymbolicDeclaration createSMTSymbolicDeclaration();
186
187 /**
188 * Returns a new object of class '<em>SMT Symbolic Value</em>'.
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @return a new object of class '<em>SMT Symbolic Value</em>'.
192 * @generated
193 */
194 SMTSymbolicValue createSMTSymbolicValue();
195
196 /**
197 * Returns a new object of class '<em>SMT Atomic Term</em>'.
198 * <!-- begin-user-doc -->
199 * <!-- end-user-doc -->
200 * @return a new object of class '<em>SMT Atomic Term</em>'.
201 * @generated
202 */
203 SMTAtomicTerm createSMTAtomicTerm();
204
205 /**
206 * Returns a new object of class '<em>SMT Int Literal</em>'.
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @return a new object of class '<em>SMT Int Literal</em>'.
210 * @generated
211 */
212 SMTIntLiteral createSMTIntLiteral();
213
214 /**
215 * Returns a new object of class '<em>SMT Bool Literal</em>'.
216 * <!-- begin-user-doc -->
217 * <!-- end-user-doc -->
218 * @return a new object of class '<em>SMT Bool Literal</em>'.
219 * @generated
220 */
221 SMTBoolLiteral createSMTBoolLiteral();
222
223 /**
224 * Returns a new object of class '<em>SMT Real Literal</em>'.
225 * <!-- begin-user-doc -->
226 * <!-- end-user-doc -->
227 * @return a new object of class '<em>SMT Real Literal</em>'.
228 * @generated
229 */
230 SMTRealLiteral createSMTRealLiteral();
231
232 /**
233 * Returns a new object of class '<em>SMT Sorted Variable</em>'.
234 * <!-- begin-user-doc -->
235 * <!-- end-user-doc -->
236 * @return a new object of class '<em>SMT Sorted Variable</em>'.
237 * @generated
238 */
239 SMTSortedVariable createSMTSortedVariable();
240
241 /**
242 * Returns a new object of class '<em>SMT Quantified Expression</em>'.
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @return a new object of class '<em>SMT Quantified Expression</em>'.
246 * @generated
247 */
248 SMTQuantifiedExpression createSMTQuantifiedExpression();
249
250 /**
251 * Returns a new object of class '<em>SMT Exists</em>'.
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @return a new object of class '<em>SMT Exists</em>'.
255 * @generated
256 */
257 SMTExists createSMTExists();
258
259 /**
260 * Returns a new object of class '<em>SMT Forall</em>'.
261 * <!-- begin-user-doc -->
262 * <!-- end-user-doc -->
263 * @return a new object of class '<em>SMT Forall</em>'.
264 * @generated
265 */
266 SMTForall createSMTForall();
267
268 /**
269 * Returns a new object of class '<em>SMT Bool Operation</em>'.
270 * <!-- begin-user-doc -->
271 * <!-- end-user-doc -->
272 * @return a new object of class '<em>SMT Bool Operation</em>'.
273 * @generated
274 */
275 SMTBoolOperation createSMTBoolOperation();
276
277 /**
278 * Returns a new object of class '<em>SMT And</em>'.
279 * <!-- begin-user-doc -->
280 * <!-- end-user-doc -->
281 * @return a new object of class '<em>SMT And</em>'.
282 * @generated
283 */
284 SMTAnd createSMTAnd();
285
286 /**
287 * Returns a new object of class '<em>SMT Or</em>'.
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @return a new object of class '<em>SMT Or</em>'.
291 * @generated
292 */
293 SMTOr createSMTOr();
294
295 /**
296 * Returns a new object of class '<em>SMT Impl</em>'.
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @return a new object of class '<em>SMT Impl</em>'.
300 * @generated
301 */
302 SMTImpl createSMTImpl();
303
304 /**
305 * Returns a new object of class '<em>SMT Not</em>'.
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @return a new object of class '<em>SMT Not</em>'.
309 * @generated
310 */
311 SMTNot createSMTNot();
312
313 /**
314 * Returns a new object of class '<em>SMT Iff</em>'.
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @return a new object of class '<em>SMT Iff</em>'.
318 * @generated
319 */
320 SMTIff createSMTIff();
321
322 /**
323 * Returns a new object of class '<em>SMTITE</em>'.
324 * <!-- begin-user-doc -->
325 * <!-- end-user-doc -->
326 * @return a new object of class '<em>SMTITE</em>'.
327 * @generated
328 */
329 SMTITE createSMTITE();
330
331 /**
332 * Returns a new object of class '<em>SMT Let</em>'.
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @return a new object of class '<em>SMT Let</em>'.
336 * @generated
337 */
338 SMTLet createSMTLet();
339
340 /**
341 * Returns a new object of class '<em>SMT Inline Constant Definition</em>'.
342 * <!-- begin-user-doc -->
343 * <!-- end-user-doc -->
344 * @return a new object of class '<em>SMT Inline Constant Definition</em>'.
345 * @generated
346 */
347 SMTInlineConstantDefinition createSMTInlineConstantDefinition();
348
349 /**
350 * Returns a new object of class '<em>SMT Relation</em>'.
351 * <!-- begin-user-doc -->
352 * <!-- end-user-doc -->
353 * @return a new object of class '<em>SMT Relation</em>'.
354 * @generated
355 */
356 SMTRelation createSMTRelation();
357
358 /**
359 * Returns a new object of class '<em>SMT Equals</em>'.
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @return a new object of class '<em>SMT Equals</em>'.
363 * @generated
364 */
365 SMTEquals createSMTEquals();
366
367 /**
368 * Returns a new object of class '<em>SMT Distinct</em>'.
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @return a new object of class '<em>SMT Distinct</em>'.
372 * @generated
373 */
374 SMTDistinct createSMTDistinct();
375
376 /**
377 * Returns a new object of class '<em>SMTLT</em>'.
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @return a new object of class '<em>SMTLT</em>'.
381 * @generated
382 */
383 SMTLT createSMTLT();
384
385 /**
386 * Returns a new object of class '<em>SMTMT</em>'.
387 * <!-- begin-user-doc -->
388 * <!-- end-user-doc -->
389 * @return a new object of class '<em>SMTMT</em>'.
390 * @generated
391 */
392 SMTMT createSMTMT();
393
394 /**
395 * Returns a new object of class '<em>SMTLEQ</em>'.
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @return a new object of class '<em>SMTLEQ</em>'.
399 * @generated
400 */
401 SMTLEQ createSMTLEQ();
402
403 /**
404 * Returns a new object of class '<em>SMTMEQ</em>'.
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @return a new object of class '<em>SMTMEQ</em>'.
408 * @generated
409 */
410 SMTMEQ createSMTMEQ();
411
412 /**
413 * Returns a new object of class '<em>SMT Int Operation</em>'.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @return a new object of class '<em>SMT Int Operation</em>'.
417 * @generated
418 */
419 SMTIntOperation createSMTIntOperation();
420
421 /**
422 * Returns a new object of class '<em>SMT Plus</em>'.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @return a new object of class '<em>SMT Plus</em>'.
426 * @generated
427 */
428 SMTPlus createSMTPlus();
429
430 /**
431 * Returns a new object of class '<em>SMT Minus</em>'.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @return a new object of class '<em>SMT Minus</em>'.
435 * @generated
436 */
437 SMTMinus createSMTMinus();
438
439 /**
440 * Returns a new object of class '<em>SMT Multiply</em>'.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @return a new object of class '<em>SMT Multiply</em>'.
444 * @generated
445 */
446 SMTMultiply createSMTMultiply();
447
448 /**
449 * Returns a new object of class '<em>SMT Divison</em>'.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @return a new object of class '<em>SMT Divison</em>'.
453 * @generated
454 */
455 SMTDivison createSMTDivison();
456
457 /**
458 * Returns a new object of class '<em>SMT Div</em>'.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @return a new object of class '<em>SMT Div</em>'.
462 * @generated
463 */
464 SMTDiv createSMTDiv();
465
466 /**
467 * Returns a new object of class '<em>SMT Mod</em>'.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @return a new object of class '<em>SMT Mod</em>'.
471 * @generated
472 */
473 SMTMod createSMTMod();
474
475 /**
476 * Returns a new object of class '<em>SMT Assertion</em>'.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @return a new object of class '<em>SMT Assertion</em>'.
480 * @generated
481 */
482 SMTAssertion createSMTAssertion();
483
484 /**
485 * Returns a new object of class '<em>SMT Cardinality Constraint</em>'.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @return a new object of class '<em>SMT Cardinality Constraint</em>'.
489 * @generated
490 */
491 SMTCardinalityConstraint createSMTCardinalityConstraint();
492
493 /**
494 * Returns a new object of class '<em>SMT Sat Command</em>'.
495 * <!-- begin-user-doc -->
496 * <!-- end-user-doc -->
497 * @return a new object of class '<em>SMT Sat Command</em>'.
498 * @generated
499 */
500 SMTSatCommand createSMTSatCommand();
501
502 /**
503 * Returns a new object of class '<em>SMT Simple Sat Command</em>'.
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @return a new object of class '<em>SMT Simple Sat Command</em>'.
507 * @generated
508 */
509 SMTSimpleSatCommand createSMTSimpleSatCommand();
510
511 /**
512 * Returns a new object of class '<em>SMT Complex Sat Command</em>'.
513 * <!-- begin-user-doc -->
514 * <!-- end-user-doc -->
515 * @return a new object of class '<em>SMT Complex Sat Command</em>'.
516 * @generated
517 */
518 SMTComplexSatCommand createSMTComplexSatCommand();
519
520 /**
521 * Returns a new object of class '<em>SMT Get Model Command</em>'.
522 * <!-- begin-user-doc -->
523 * <!-- end-user-doc -->
524 * @return a new object of class '<em>SMT Get Model Command</em>'.
525 * @generated
526 */
527 SMTGetModelCommand createSMTGetModelCommand();
528
529 /**
530 * Returns a new object of class '<em>SMT Reasoning Tactic</em>'.
531 * <!-- begin-user-doc -->
532 * <!-- end-user-doc -->
533 * @return a new object of class '<em>SMT Reasoning Tactic</em>'.
534 * @generated
535 */
536 SMTReasoningTactic createSMTReasoningTactic();
537
538 /**
539 * Returns a new object of class '<em>SMT Builtin Tactic</em>'.
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @return a new object of class '<em>SMT Builtin Tactic</em>'.
543 * @generated
544 */
545 SMTBuiltinTactic createSMTBuiltinTactic();
546
547 /**
548 * Returns a new object of class '<em>SMT Reasoning Combinator</em>'.
549 * <!-- begin-user-doc -->
550 * <!-- end-user-doc -->
551 * @return a new object of class '<em>SMT Reasoning Combinator</em>'.
552 * @generated
553 */
554 SMTReasoningCombinator createSMTReasoningCombinator();
555
556 /**
557 * Returns a new object of class '<em>SMT And Then Combinator</em>'.
558 * <!-- begin-user-doc -->
559 * <!-- end-user-doc -->
560 * @return a new object of class '<em>SMT And Then Combinator</em>'.
561 * @generated
562 */
563 SMTAndThenCombinator createSMTAndThenCombinator();
564
565 /**
566 * Returns a new object of class '<em>SMT Or Else Combinator</em>'.
567 * <!-- begin-user-doc -->
568 * <!-- end-user-doc -->
569 * @return a new object of class '<em>SMT Or Else Combinator</em>'.
570 * @generated
571 */
572 SMTOrElseCombinator createSMTOrElseCombinator();
573
574 /**
575 * Returns a new object of class '<em>SMT Par Or Combinator</em>'.
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @return a new object of class '<em>SMT Par Or Combinator</em>'.
579 * @generated
580 */
581 SMTParOrCombinator createSMTParOrCombinator();
582
583 /**
584 * Returns a new object of class '<em>SMT Par Then Combinator</em>'.
585 * <!-- begin-user-doc -->
586 * <!-- end-user-doc -->
587 * @return a new object of class '<em>SMT Par Then Combinator</em>'.
588 * @generated
589 */
590 SMTParThenCombinator createSMTParThenCombinator();
591
592 /**
593 * Returns a new object of class '<em>SMT Try For Combinator</em>'.
594 * <!-- begin-user-doc -->
595 * <!-- end-user-doc -->
596 * @return a new object of class '<em>SMT Try For Combinator</em>'.
597 * @generated
598 */
599 SMTTryForCombinator createSMTTryForCombinator();
600
601 /**
602 * Returns a new object of class '<em>SMT If Combinator</em>'.
603 * <!-- begin-user-doc -->
604 * <!-- end-user-doc -->
605 * @return a new object of class '<em>SMT If Combinator</em>'.
606 * @generated
607 */
608 SMTIfCombinator createSMTIfCombinator();
609
610 /**
611 * Returns a new object of class '<em>SMT When Combinator</em>'.
612 * <!-- begin-user-doc -->
613 * <!-- end-user-doc -->
614 * @return a new object of class '<em>SMT When Combinator</em>'.
615 * @generated
616 */
617 SMTWhenCombinator createSMTWhenCombinator();
618
619 /**
620 * Returns a new object of class '<em>SMT Fail If Combinator</em>'.
621 * <!-- begin-user-doc -->
622 * <!-- end-user-doc -->
623 * @return a new object of class '<em>SMT Fail If Combinator</em>'.
624 * @generated
625 */
626 SMTFailIfCombinator createSMTFailIfCombinator();
627
628 /**
629 * Returns a new object of class '<em>SMT Using Param Combinator</em>'.
630 * <!-- begin-user-doc -->
631 * <!-- end-user-doc -->
632 * @return a new object of class '<em>SMT Using Param Combinator</em>'.
633 * @generated
634 */
635 SMTUsingParamCombinator createSMTUsingParamCombinator();
636
637 /**
638 * Returns a new object of class '<em>Reasoning Probe</em>'.
639 * <!-- begin-user-doc -->
640 * <!-- end-user-doc -->
641 * @return a new object of class '<em>Reasoning Probe</em>'.
642 * @generated
643 */
644 ReasoningProbe createReasoningProbe();
645
646 /**
647 * Returns a new object of class '<em>Reasoning Tactic Parameter</em>'.
648 * <!-- begin-user-doc -->
649 * <!-- end-user-doc -->
650 * @return a new object of class '<em>Reasoning Tactic Parameter</em>'.
651 * @generated
652 */
653 ReasoningTacticParameter createReasoningTacticParameter();
654
655 /**
656 * Returns a new object of class '<em>SMT Result</em>'.
657 * <!-- begin-user-doc -->
658 * <!-- end-user-doc -->
659 * @return a new object of class '<em>SMT Result</em>'.
660 * @generated
661 */
662 SMTResult createSMTResult();
663
664 /**
665 * Returns a new object of class '<em>SMT Error Result</em>'.
666 * <!-- begin-user-doc -->
667 * <!-- end-user-doc -->
668 * @return a new object of class '<em>SMT Error Result</em>'.
669 * @generated
670 */
671 SMTErrorResult createSMTErrorResult();
672
673 /**
674 * Returns a new object of class '<em>SMT Unsupported Result</em>'.
675 * <!-- begin-user-doc -->
676 * <!-- end-user-doc -->
677 * @return a new object of class '<em>SMT Unsupported Result</em>'.
678 * @generated
679 */
680 SMTUnsupportedResult createSMTUnsupportedResult();
681
682 /**
683 * Returns a new object of class '<em>SMT Sat Result</em>'.
684 * <!-- begin-user-doc -->
685 * <!-- end-user-doc -->
686 * @return a new object of class '<em>SMT Sat Result</em>'.
687 * @generated
688 */
689 SMTSatResult createSMTSatResult();
690
691 /**
692 * Returns a new object of class '<em>SMT Model Result</em>'.
693 * <!-- begin-user-doc -->
694 * <!-- end-user-doc -->
695 * @return a new object of class '<em>SMT Model Result</em>'.
696 * @generated
697 */
698 SMTModelResult createSMTModelResult();
699
700 /**
701 * Returns a new object of class '<em>SMT Statistic Value</em>'.
702 * <!-- begin-user-doc -->
703 * <!-- end-user-doc -->
704 * @return a new object of class '<em>SMT Statistic Value</em>'.
705 * @generated
706 */
707 SMTStatisticValue createSMTStatisticValue();
708
709 /**
710 * Returns a new object of class '<em>SMT Statistic Int Value</em>'.
711 * <!-- begin-user-doc -->
712 * <!-- end-user-doc -->
713 * @return a new object of class '<em>SMT Statistic Int Value</em>'.
714 * @generated
715 */
716 SMTStatisticIntValue createSMTStatisticIntValue();
717
718 /**
719 * Returns a new object of class '<em>SMT Statistic Double Value</em>'.
720 * <!-- begin-user-doc -->
721 * <!-- end-user-doc -->
722 * @return a new object of class '<em>SMT Statistic Double Value</em>'.
723 * @generated
724 */
725 SMTStatisticDoubleValue createSMTStatisticDoubleValue();
726
727 /**
728 * Returns a new object of class '<em>SMT Statistics Section</em>'.
729 * <!-- begin-user-doc -->
730 * <!-- end-user-doc -->
731 * @return a new object of class '<em>SMT Statistics Section</em>'.
732 * @generated
733 */
734 SMTStatisticsSection createSMTStatisticsSection();
735
736 /**
737 * Returns the package supported by this factory.
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @return the package supported by this factory.
741 * @generated
742 */
743 SmtLanguagePackage getSmtLanguagePackage();
744
745} //SmtLanguageFactory
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-25 13:03:55 +0000