aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SmtLanguageFactoryImpl.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/impl/SmtLanguageFactoryImpl.java')
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SmtLanguageFactoryImpl.java1042
1 files changed, 1042 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SmtLanguageFactoryImpl.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SmtLanguageFactoryImpl.java
new file mode 100644
index 00000000..b284ade3
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/impl/SmtLanguageFactoryImpl.java
@@ -0,0 +1,1042 @@
1/**
2 */
3package hu.bme.mit.inf.dslreasoner.smtLanguage.impl;
4
5import hu.bme.mit.inf.dslreasoner.smtLanguage.*;
6
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EObject;
9import org.eclipse.emf.ecore.EPackage;
10
11import org.eclipse.emf.ecore.impl.EFactoryImpl;
12
13import org.eclipse.emf.ecore.plugin.EcorePlugin;
14
15/**
16 * <!-- begin-user-doc -->
17 * An implementation of the model <b>Factory</b>.
18 * <!-- end-user-doc -->
19 * @generated
20 */
21public class SmtLanguageFactoryImpl extends EFactoryImpl implements SmtLanguageFactory
22{
23 /**
24 * Creates the default factory implementation.
25 * <!-- begin-user-doc -->
26 * <!-- end-user-doc -->
27 * @generated
28 */
29 public static SmtLanguageFactory init()
30 {
31 try
32 {
33 SmtLanguageFactory theSmtLanguageFactory = (SmtLanguageFactory)EPackage.Registry.INSTANCE.getEFactory(SmtLanguagePackage.eNS_URI);
34 if (theSmtLanguageFactory != null)
35 {
36 return theSmtLanguageFactory;
37 }
38 }
39 catch (Exception exception)
40 {
41 EcorePlugin.INSTANCE.log(exception);
42 }
43 return new SmtLanguageFactoryImpl();
44 }
45
46 /**
47 * Creates an instance of the factory.
48 * <!-- begin-user-doc -->
49 * <!-- end-user-doc -->
50 * @generated
51 */
52 public SmtLanguageFactoryImpl()
53 {
54 super();
55 }
56
57 /**
58 * <!-- begin-user-doc -->
59 * <!-- end-user-doc -->
60 * @generated
61 */
62 @Override
63 public EObject create(EClass eClass)
64 {
65 switch (eClass.getClassifierID())
66 {
67 case SmtLanguagePackage.SMT_DOCUMENT: return createSMTDocument();
68 case SmtLanguagePackage.SMT_INPUT: return createSMTInput();
69 case SmtLanguagePackage.SMT_OUTPUT: return createSMTOutput();
70 case SmtLanguagePackage.SMT_OPTION: return createSMTOption();
71 case SmtLanguagePackage.SMT_TYPE: return createSMTType();
72 case SmtLanguagePackage.SMT_ENUM_LITERAL: return createSMTEnumLiteral();
73 case SmtLanguagePackage.SMT_ENUMERATED_TYPE_DECLARATION: return createSMTEnumeratedTypeDeclaration();
74 case SmtLanguagePackage.SMT_SET_TYPE_DECLARATION: return createSMTSetTypeDeclaration();
75 case SmtLanguagePackage.SMT_TYPE_REFERENCE: return createSMTTypeReference();
76 case SmtLanguagePackage.SMT_COMPLEX_TYPE_REFERENCE: return createSMTComplexTypeReference();
77 case SmtLanguagePackage.SMT_PRIMITIVE_TYPE_REFERENCE: return createSMTPrimitiveTypeReference();
78 case SmtLanguagePackage.SMT_INT_TYPE_REFERENCE: return createSMTIntTypeReference();
79 case SmtLanguagePackage.SMT_BOOL_TYPE_REFERENCE: return createSMTBoolTypeReference();
80 case SmtLanguagePackage.SMT_REAL_TYPE_REFERENCE: return createSMTRealTypeReference();
81 case SmtLanguagePackage.SMT_FUNCTION_DECLARATION: return createSMTFunctionDeclaration();
82 case SmtLanguagePackage.SMT_FUNCTION_DEFINITION: return createSMTFunctionDefinition();
83 case SmtLanguagePackage.SMT_TERM: return createSMTTerm();
84 case SmtLanguagePackage.SMT_SYMBOLIC_DECLARATION: return createSMTSymbolicDeclaration();
85 case SmtLanguagePackage.SMT_SYMBOLIC_VALUE: return createSMTSymbolicValue();
86 case SmtLanguagePackage.SMT_ATOMIC_TERM: return createSMTAtomicTerm();
87 case SmtLanguagePackage.SMT_INT_LITERAL: return createSMTIntLiteral();
88 case SmtLanguagePackage.SMT_BOOL_LITERAL: return createSMTBoolLiteral();
89 case SmtLanguagePackage.SMT_REAL_LITERAL: return createSMTRealLiteral();
90 case SmtLanguagePackage.SMT_SORTED_VARIABLE: return createSMTSortedVariable();
91 case SmtLanguagePackage.SMT_QUANTIFIED_EXPRESSION: return createSMTQuantifiedExpression();
92 case SmtLanguagePackage.SMT_EXISTS: return createSMTExists();
93 case SmtLanguagePackage.SMT_FORALL: return createSMTForall();
94 case SmtLanguagePackage.SMT_BOOL_OPERATION: return createSMTBoolOperation();
95 case SmtLanguagePackage.SMT_AND: return createSMTAnd();
96 case SmtLanguagePackage.SMT_OR: return createSMTOr();
97 case SmtLanguagePackage.SMT_IMPL: return createSMTImpl();
98 case SmtLanguagePackage.SMT_NOT: return createSMTNot();
99 case SmtLanguagePackage.SMT_IFF: return createSMTIff();
100 case SmtLanguagePackage.SMTITE: return createSMTITE();
101 case SmtLanguagePackage.SMT_LET: return createSMTLet();
102 case SmtLanguagePackage.SMT_INLINE_CONSTANT_DEFINITION: return createSMTInlineConstantDefinition();
103 case SmtLanguagePackage.SMT_RELATION: return createSMTRelation();
104 case SmtLanguagePackage.SMT_EQUALS: return createSMTEquals();
105 case SmtLanguagePackage.SMT_DISTINCT: return createSMTDistinct();
106 case SmtLanguagePackage.SMTLT: return createSMTLT();
107 case SmtLanguagePackage.SMTMT: return createSMTMT();
108 case SmtLanguagePackage.SMTLEQ: return createSMTLEQ();
109 case SmtLanguagePackage.SMTMEQ: return createSMTMEQ();
110 case SmtLanguagePackage.SMT_INT_OPERATION: return createSMTIntOperation();
111 case SmtLanguagePackage.SMT_PLUS: return createSMTPlus();
112 case SmtLanguagePackage.SMT_MINUS: return createSMTMinus();
113 case SmtLanguagePackage.SMT_MULTIPLY: return createSMTMultiply();
114 case SmtLanguagePackage.SMT_DIVISON: return createSMTDivison();
115 case SmtLanguagePackage.SMT_DIV: return createSMTDiv();
116 case SmtLanguagePackage.SMT_MOD: return createSMTMod();
117 case SmtLanguagePackage.SMT_ASSERTION: return createSMTAssertion();
118 case SmtLanguagePackage.SMT_CARDINALITY_CONSTRAINT: return createSMTCardinalityConstraint();
119 case SmtLanguagePackage.SMT_SAT_COMMAND: return createSMTSatCommand();
120 case SmtLanguagePackage.SMT_SIMPLE_SAT_COMMAND: return createSMTSimpleSatCommand();
121 case SmtLanguagePackage.SMT_COMPLEX_SAT_COMMAND: return createSMTComplexSatCommand();
122 case SmtLanguagePackage.SMT_GET_MODEL_COMMAND: return createSMTGetModelCommand();
123 case SmtLanguagePackage.SMT_REASONING_TACTIC: return createSMTReasoningTactic();
124 case SmtLanguagePackage.SMT_BUILTIN_TACTIC: return createSMTBuiltinTactic();
125 case SmtLanguagePackage.SMT_REASONING_COMBINATOR: return createSMTReasoningCombinator();
126 case SmtLanguagePackage.SMT_AND_THEN_COMBINATOR: return createSMTAndThenCombinator();
127 case SmtLanguagePackage.SMT_OR_ELSE_COMBINATOR: return createSMTOrElseCombinator();
128 case SmtLanguagePackage.SMT_PAR_OR_COMBINATOR: return createSMTParOrCombinator();
129 case SmtLanguagePackage.SMT_PAR_THEN_COMBINATOR: return createSMTParThenCombinator();
130 case SmtLanguagePackage.SMT_TRY_FOR_COMBINATOR: return createSMTTryForCombinator();
131 case SmtLanguagePackage.SMT_IF_COMBINATOR: return createSMTIfCombinator();
132 case SmtLanguagePackage.SMT_WHEN_COMBINATOR: return createSMTWhenCombinator();
133 case SmtLanguagePackage.SMT_FAIL_IF_COMBINATOR: return createSMTFailIfCombinator();
134 case SmtLanguagePackage.SMT_USING_PARAM_COMBINATOR: return createSMTUsingParamCombinator();
135 case SmtLanguagePackage.REASONING_PROBE: return createReasoningProbe();
136 case SmtLanguagePackage.REASONING_TACTIC_PARAMETER: return createReasoningTacticParameter();
137 case SmtLanguagePackage.SMT_RESULT: return createSMTResult();
138 case SmtLanguagePackage.SMT_ERROR_RESULT: return createSMTErrorResult();
139 case SmtLanguagePackage.SMT_UNSUPPORTED_RESULT: return createSMTUnsupportedResult();
140 case SmtLanguagePackage.SMT_SAT_RESULT: return createSMTSatResult();
141 case SmtLanguagePackage.SMT_MODEL_RESULT: return createSMTModelResult();
142 case SmtLanguagePackage.SMT_STATISTIC_VALUE: return createSMTStatisticValue();
143 case SmtLanguagePackage.SMT_STATISTIC_INT_VALUE: return createSMTStatisticIntValue();
144 case SmtLanguagePackage.SMT_STATISTIC_DOUBLE_VALUE: return createSMTStatisticDoubleValue();
145 case SmtLanguagePackage.SMT_STATISTICS_SECTION: return createSMTStatisticsSection();
146 default:
147 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
148 }
149 }
150
151 /**
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @generated
155 */
156 public SMTDocument createSMTDocument()
157 {
158 SMTDocumentImpl smtDocument = new SMTDocumentImpl();
159 return smtDocument;
160 }
161
162 /**
163 * <!-- begin-user-doc -->
164 * <!-- end-user-doc -->
165 * @generated
166 */
167 public SMTInput createSMTInput()
168 {
169 SMTInputImpl smtInput = new SMTInputImpl();
170 return smtInput;
171 }
172
173 /**
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 */
178 public SMTOutput createSMTOutput()
179 {
180 SMTOutputImpl smtOutput = new SMTOutputImpl();
181 return smtOutput;
182 }
183
184 /**
185 * <!-- begin-user-doc -->
186 * <!-- end-user-doc -->
187 * @generated
188 */
189 public SMTOption createSMTOption()
190 {
191 SMTOptionImpl smtOption = new SMTOptionImpl();
192 return smtOption;
193 }
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 public SMTType createSMTType()
201 {
202 SMTTypeImpl smtType = new SMTTypeImpl();
203 return smtType;
204 }
205
206 /**
207 * <!-- begin-user-doc -->
208 * <!-- end-user-doc -->
209 * @generated
210 */
211 public SMTEnumLiteral createSMTEnumLiteral()
212 {
213 SMTEnumLiteralImpl smtEnumLiteral = new SMTEnumLiteralImpl();
214 return smtEnumLiteral;
215 }
216
217 /**
218 * <!-- begin-user-doc -->
219 * <!-- end-user-doc -->
220 * @generated
221 */
222 public SMTEnumeratedTypeDeclaration createSMTEnumeratedTypeDeclaration()
223 {
224 SMTEnumeratedTypeDeclarationImpl smtEnumeratedTypeDeclaration = new SMTEnumeratedTypeDeclarationImpl();
225 return smtEnumeratedTypeDeclaration;
226 }
227
228 /**
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 */
233 public SMTSetTypeDeclaration createSMTSetTypeDeclaration()
234 {
235 SMTSetTypeDeclarationImpl smtSetTypeDeclaration = new SMTSetTypeDeclarationImpl();
236 return smtSetTypeDeclaration;
237 }
238
239 /**
240 * <!-- begin-user-doc -->
241 * <!-- end-user-doc -->
242 * @generated
243 */
244 public SMTTypeReference createSMTTypeReference()
245 {
246 SMTTypeReferenceImpl smtTypeReference = new SMTTypeReferenceImpl();
247 return smtTypeReference;
248 }
249
250 /**
251 * <!-- begin-user-doc -->
252 * <!-- end-user-doc -->
253 * @generated
254 */
255 public SMTComplexTypeReference createSMTComplexTypeReference()
256 {
257 SMTComplexTypeReferenceImpl smtComplexTypeReference = new SMTComplexTypeReferenceImpl();
258 return smtComplexTypeReference;
259 }
260
261 /**
262 * <!-- begin-user-doc -->
263 * <!-- end-user-doc -->
264 * @generated
265 */
266 public SMTPrimitiveTypeReference createSMTPrimitiveTypeReference()
267 {
268 SMTPrimitiveTypeReferenceImpl smtPrimitiveTypeReference = new SMTPrimitiveTypeReferenceImpl();
269 return smtPrimitiveTypeReference;
270 }
271
272 /**
273 * <!-- begin-user-doc -->
274 * <!-- end-user-doc -->
275 * @generated
276 */
277 public SMTIntTypeReference createSMTIntTypeReference()
278 {
279 SMTIntTypeReferenceImpl smtIntTypeReference = new SMTIntTypeReferenceImpl();
280 return smtIntTypeReference;
281 }
282
283 /**
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @generated
287 */
288 public SMTBoolTypeReference createSMTBoolTypeReference()
289 {
290 SMTBoolTypeReferenceImpl smtBoolTypeReference = new SMTBoolTypeReferenceImpl();
291 return smtBoolTypeReference;
292 }
293
294 /**
295 * <!-- begin-user-doc -->
296 * <!-- end-user-doc -->
297 * @generated
298 */
299 public SMTRealTypeReference createSMTRealTypeReference()
300 {
301 SMTRealTypeReferenceImpl smtRealTypeReference = new SMTRealTypeReferenceImpl();
302 return smtRealTypeReference;
303 }
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 public SMTFunctionDeclaration createSMTFunctionDeclaration()
311 {
312 SMTFunctionDeclarationImpl smtFunctionDeclaration = new SMTFunctionDeclarationImpl();
313 return smtFunctionDeclaration;
314 }
315
316 /**
317 * <!-- begin-user-doc -->
318 * <!-- end-user-doc -->
319 * @generated
320 */
321 public SMTFunctionDefinition createSMTFunctionDefinition()
322 {
323 SMTFunctionDefinitionImpl smtFunctionDefinition = new SMTFunctionDefinitionImpl();
324 return smtFunctionDefinition;
325 }
326
327 /**
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 */
332 public SMTTerm createSMTTerm()
333 {
334 SMTTermImpl smtTerm = new SMTTermImpl();
335 return smtTerm;
336 }
337
338 /**
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 */
343 public SMTSymbolicDeclaration createSMTSymbolicDeclaration()
344 {
345 SMTSymbolicDeclarationImpl smtSymbolicDeclaration = new SMTSymbolicDeclarationImpl();
346 return smtSymbolicDeclaration;
347 }
348
349 /**
350 * <!-- begin-user-doc -->
351 * <!-- end-user-doc -->
352 * @generated
353 */
354 public SMTSymbolicValue createSMTSymbolicValue()
355 {
356 SMTSymbolicValueImpl smtSymbolicValue = new SMTSymbolicValueImpl();
357 return smtSymbolicValue;
358 }
359
360 /**
361 * <!-- begin-user-doc -->
362 * <!-- end-user-doc -->
363 * @generated
364 */
365 public SMTAtomicTerm createSMTAtomicTerm()
366 {
367 SMTAtomicTermImpl smtAtomicTerm = new SMTAtomicTermImpl();
368 return smtAtomicTerm;
369 }
370
371 /**
372 * <!-- begin-user-doc -->
373 * <!-- end-user-doc -->
374 * @generated
375 */
376 public SMTIntLiteral createSMTIntLiteral()
377 {
378 SMTIntLiteralImpl smtIntLiteral = new SMTIntLiteralImpl();
379 return smtIntLiteral;
380 }
381
382 /**
383 * <!-- begin-user-doc -->
384 * <!-- end-user-doc -->
385 * @generated
386 */
387 public SMTBoolLiteral createSMTBoolLiteral()
388 {
389 SMTBoolLiteralImpl smtBoolLiteral = new SMTBoolLiteralImpl();
390 return smtBoolLiteral;
391 }
392
393 /**
394 * <!-- begin-user-doc -->
395 * <!-- end-user-doc -->
396 * @generated
397 */
398 public SMTRealLiteral createSMTRealLiteral()
399 {
400 SMTRealLiteralImpl smtRealLiteral = new SMTRealLiteralImpl();
401 return smtRealLiteral;
402 }
403
404 /**
405 * <!-- begin-user-doc -->
406 * <!-- end-user-doc -->
407 * @generated
408 */
409 public SMTSortedVariable createSMTSortedVariable()
410 {
411 SMTSortedVariableImpl smtSortedVariable = new SMTSortedVariableImpl();
412 return smtSortedVariable;
413 }
414
415 /**
416 * <!-- begin-user-doc -->
417 * <!-- end-user-doc -->
418 * @generated
419 */
420 public SMTQuantifiedExpression createSMTQuantifiedExpression()
421 {
422 SMTQuantifiedExpressionImpl smtQuantifiedExpression = new SMTQuantifiedExpressionImpl();
423 return smtQuantifiedExpression;
424 }
425
426 /**
427 * <!-- begin-user-doc -->
428 * <!-- end-user-doc -->
429 * @generated
430 */
431 public SMTExists createSMTExists()
432 {
433 SMTExistsImpl smtExists = new SMTExistsImpl();
434 return smtExists;
435 }
436
437 /**
438 * <!-- begin-user-doc -->
439 * <!-- end-user-doc -->
440 * @generated
441 */
442 public SMTForall createSMTForall()
443 {
444 SMTForallImpl smtForall = new SMTForallImpl();
445 return smtForall;
446 }
447
448 /**
449 * <!-- begin-user-doc -->
450 * <!-- end-user-doc -->
451 * @generated
452 */
453 public SMTBoolOperation createSMTBoolOperation()
454 {
455 SMTBoolOperationImpl smtBoolOperation = new SMTBoolOperationImpl();
456 return smtBoolOperation;
457 }
458
459 /**
460 * <!-- begin-user-doc -->
461 * <!-- end-user-doc -->
462 * @generated
463 */
464 public SMTAnd createSMTAnd()
465 {
466 SMTAndImpl smtAnd = new SMTAndImpl();
467 return smtAnd;
468 }
469
470 /**
471 * <!-- begin-user-doc -->
472 * <!-- end-user-doc -->
473 * @generated
474 */
475 public SMTOr createSMTOr()
476 {
477 SMTOrImpl smtOr = new SMTOrImpl();
478 return smtOr;
479 }
480
481 /**
482 * <!-- begin-user-doc -->
483 * <!-- end-user-doc -->
484 * @generated
485 */
486 public SMTImpl createSMTImpl()
487 {
488 SMTImplImpl smtImpl = new SMTImplImpl();
489 return smtImpl;
490 }
491
492 /**
493 * <!-- begin-user-doc -->
494 * <!-- end-user-doc -->
495 * @generated
496 */
497 public SMTNot createSMTNot()
498 {
499 SMTNotImpl smtNot = new SMTNotImpl();
500 return smtNot;
501 }
502
503 /**
504 * <!-- begin-user-doc -->
505 * <!-- end-user-doc -->
506 * @generated
507 */
508 public SMTIff createSMTIff()
509 {
510 SMTIffImpl smtIff = new SMTIffImpl();
511 return smtIff;
512 }
513
514 /**
515 * <!-- begin-user-doc -->
516 * <!-- end-user-doc -->
517 * @generated
518 */
519 public SMTITE createSMTITE()
520 {
521 SMTITEImpl smtite = new SMTITEImpl();
522 return smtite;
523 }
524
525 /**
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @generated
529 */
530 public SMTLet createSMTLet()
531 {
532 SMTLetImpl smtLet = new SMTLetImpl();
533 return smtLet;
534 }
535
536 /**
537 * <!-- begin-user-doc -->
538 * <!-- end-user-doc -->
539 * @generated
540 */
541 public SMTInlineConstantDefinition createSMTInlineConstantDefinition()
542 {
543 SMTInlineConstantDefinitionImpl smtInlineConstantDefinition = new SMTInlineConstantDefinitionImpl();
544 return smtInlineConstantDefinition;
545 }
546
547 /**
548 * <!-- begin-user-doc -->
549 * <!-- end-user-doc -->
550 * @generated
551 */
552 public SMTRelation createSMTRelation()
553 {
554 SMTRelationImpl smtRelation = new SMTRelationImpl();
555 return smtRelation;
556 }
557
558 /**
559 * <!-- begin-user-doc -->
560 * <!-- end-user-doc -->
561 * @generated
562 */
563 public SMTEquals createSMTEquals()
564 {
565 SMTEqualsImpl smtEquals = new SMTEqualsImpl();
566 return smtEquals;
567 }
568
569 /**
570 * <!-- begin-user-doc -->
571 * <!-- end-user-doc -->
572 * @generated
573 */
574 public SMTDistinct createSMTDistinct()
575 {
576 SMTDistinctImpl smtDistinct = new SMTDistinctImpl();
577 return smtDistinct;
578 }
579
580 /**
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @generated
584 */
585 public SMTLT createSMTLT()
586 {
587 SMTLTImpl smtlt = new SMTLTImpl();
588 return smtlt;
589 }
590
591 /**
592 * <!-- begin-user-doc -->
593 * <!-- end-user-doc -->
594 * @generated
595 */
596 public SMTMT createSMTMT()
597 {
598 SMTMTImpl smtmt = new SMTMTImpl();
599 return smtmt;
600 }
601
602 /**
603 * <!-- begin-user-doc -->
604 * <!-- end-user-doc -->
605 * @generated
606 */
607 public SMTLEQ createSMTLEQ()
608 {
609 SMTLEQImpl smtleq = new SMTLEQImpl();
610 return smtleq;
611 }
612
613 /**
614 * <!-- begin-user-doc -->
615 * <!-- end-user-doc -->
616 * @generated
617 */
618 public SMTMEQ createSMTMEQ()
619 {
620 SMTMEQImpl smtmeq = new SMTMEQImpl();
621 return smtmeq;
622 }
623
624 /**
625 * <!-- begin-user-doc -->
626 * <!-- end-user-doc -->
627 * @generated
628 */
629 public SMTIntOperation createSMTIntOperation()
630 {
631 SMTIntOperationImpl smtIntOperation = new SMTIntOperationImpl();
632 return smtIntOperation;
633 }
634
635 /**
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @generated
639 */
640 public SMTPlus createSMTPlus()
641 {
642 SMTPlusImpl smtPlus = new SMTPlusImpl();
643 return smtPlus;
644 }
645
646 /**
647 * <!-- begin-user-doc -->
648 * <!-- end-user-doc -->
649 * @generated
650 */
651 public SMTMinus createSMTMinus()
652 {
653 SMTMinusImpl smtMinus = new SMTMinusImpl();
654 return smtMinus;
655 }
656
657 /**
658 * <!-- begin-user-doc -->
659 * <!-- end-user-doc -->
660 * @generated
661 */
662 public SMTMultiply createSMTMultiply()
663 {
664 SMTMultiplyImpl smtMultiply = new SMTMultiplyImpl();
665 return smtMultiply;
666 }
667
668 /**
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @generated
672 */
673 public SMTDivison createSMTDivison()
674 {
675 SMTDivisonImpl smtDivison = new SMTDivisonImpl();
676 return smtDivison;
677 }
678
679 /**
680 * <!-- begin-user-doc -->
681 * <!-- end-user-doc -->
682 * @generated
683 */
684 public SMTDiv createSMTDiv()
685 {
686 SMTDivImpl smtDiv = new SMTDivImpl();
687 return smtDiv;
688 }
689
690 /**
691 * <!-- begin-user-doc -->
692 * <!-- end-user-doc -->
693 * @generated
694 */
695 public SMTMod createSMTMod()
696 {
697 SMTModImpl smtMod = new SMTModImpl();
698 return smtMod;
699 }
700
701 /**
702 * <!-- begin-user-doc -->
703 * <!-- end-user-doc -->
704 * @generated
705 */
706 public SMTAssertion createSMTAssertion()
707 {
708 SMTAssertionImpl smtAssertion = new SMTAssertionImpl();
709 return smtAssertion;
710 }
711
712 /**
713 * <!-- begin-user-doc -->
714 * <!-- end-user-doc -->
715 * @generated
716 */
717 public SMTCardinalityConstraint createSMTCardinalityConstraint()
718 {
719 SMTCardinalityConstraintImpl smtCardinalityConstraint = new SMTCardinalityConstraintImpl();
720 return smtCardinalityConstraint;
721 }
722
723 /**
724 * <!-- begin-user-doc -->
725 * <!-- end-user-doc -->
726 * @generated
727 */
728 public SMTSatCommand createSMTSatCommand()
729 {
730 SMTSatCommandImpl smtSatCommand = new SMTSatCommandImpl();
731 return smtSatCommand;
732 }
733
734 /**
735 * <!-- begin-user-doc -->
736 * <!-- end-user-doc -->
737 * @generated
738 */
739 public SMTSimpleSatCommand createSMTSimpleSatCommand()
740 {
741 SMTSimpleSatCommandImpl smtSimpleSatCommand = new SMTSimpleSatCommandImpl();
742 return smtSimpleSatCommand;
743 }
744
745 /**
746 * <!-- begin-user-doc -->
747 * <!-- end-user-doc -->
748 * @generated
749 */
750 public SMTComplexSatCommand createSMTComplexSatCommand()
751 {
752 SMTComplexSatCommandImpl smtComplexSatCommand = new SMTComplexSatCommandImpl();
753 return smtComplexSatCommand;
754 }
755
756 /**
757 * <!-- begin-user-doc -->
758 * <!-- end-user-doc -->
759 * @generated
760 */
761 public SMTGetModelCommand createSMTGetModelCommand()
762 {
763 SMTGetModelCommandImpl smtGetModelCommand = new SMTGetModelCommandImpl();
764 return smtGetModelCommand;
765 }
766
767 /**
768 * <!-- begin-user-doc -->
769 * <!-- end-user-doc -->
770 * @generated
771 */
772 public SMTReasoningTactic createSMTReasoningTactic()
773 {
774 SMTReasoningTacticImpl smtReasoningTactic = new SMTReasoningTacticImpl();
775 return smtReasoningTactic;
776 }
777
778 /**
779 * <!-- begin-user-doc -->
780 * <!-- end-user-doc -->
781 * @generated
782 */
783 public SMTBuiltinTactic createSMTBuiltinTactic()
784 {
785 SMTBuiltinTacticImpl smtBuiltinTactic = new SMTBuiltinTacticImpl();
786 return smtBuiltinTactic;
787 }
788
789 /**
790 * <!-- begin-user-doc -->
791 * <!-- end-user-doc -->
792 * @generated
793 */
794 public SMTReasoningCombinator createSMTReasoningCombinator()
795 {
796 SMTReasoningCombinatorImpl smtReasoningCombinator = new SMTReasoningCombinatorImpl();
797 return smtReasoningCombinator;
798 }
799
800 /**
801 * <!-- begin-user-doc -->
802 * <!-- end-user-doc -->
803 * @generated
804 */
805 public SMTAndThenCombinator createSMTAndThenCombinator()
806 {
807 SMTAndThenCombinatorImpl smtAndThenCombinator = new SMTAndThenCombinatorImpl();
808 return smtAndThenCombinator;
809 }
810
811 /**
812 * <!-- begin-user-doc -->
813 * <!-- end-user-doc -->
814 * @generated
815 */
816 public SMTOrElseCombinator createSMTOrElseCombinator()
817 {
818 SMTOrElseCombinatorImpl smtOrElseCombinator = new SMTOrElseCombinatorImpl();
819 return smtOrElseCombinator;
820 }
821
822 /**
823 * <!-- begin-user-doc -->
824 * <!-- end-user-doc -->
825 * @generated
826 */
827 public SMTParOrCombinator createSMTParOrCombinator()
828 {
829 SMTParOrCombinatorImpl smtParOrCombinator = new SMTParOrCombinatorImpl();
830 return smtParOrCombinator;
831 }
832
833 /**
834 * <!-- begin-user-doc -->
835 * <!-- end-user-doc -->
836 * @generated
837 */
838 public SMTParThenCombinator createSMTParThenCombinator()
839 {
840 SMTParThenCombinatorImpl smtParThenCombinator = new SMTParThenCombinatorImpl();
841 return smtParThenCombinator;
842 }
843
844 /**
845 * <!-- begin-user-doc -->
846 * <!-- end-user-doc -->
847 * @generated
848 */
849 public SMTTryForCombinator createSMTTryForCombinator()
850 {
851 SMTTryForCombinatorImpl smtTryForCombinator = new SMTTryForCombinatorImpl();
852 return smtTryForCombinator;
853 }
854
855 /**
856 * <!-- begin-user-doc -->
857 * <!-- end-user-doc -->
858 * @generated
859 */
860 public SMTIfCombinator createSMTIfCombinator()
861 {
862 SMTIfCombinatorImpl smtIfCombinator = new SMTIfCombinatorImpl();
863 return smtIfCombinator;
864 }
865
866 /**
867 * <!-- begin-user-doc -->
868 * <!-- end-user-doc -->
869 * @generated
870 */
871 public SMTWhenCombinator createSMTWhenCombinator()
872 {
873 SMTWhenCombinatorImpl smtWhenCombinator = new SMTWhenCombinatorImpl();
874 return smtWhenCombinator;
875 }
876
877 /**
878 * <!-- begin-user-doc -->
879 * <!-- end-user-doc -->
880 * @generated
881 */
882 public SMTFailIfCombinator createSMTFailIfCombinator()
883 {
884 SMTFailIfCombinatorImpl smtFailIfCombinator = new SMTFailIfCombinatorImpl();
885 return smtFailIfCombinator;
886 }
887
888 /**
889 * <!-- begin-user-doc -->
890 * <!-- end-user-doc -->
891 * @generated
892 */
893 public SMTUsingParamCombinator createSMTUsingParamCombinator()
894 {
895 SMTUsingParamCombinatorImpl smtUsingParamCombinator = new SMTUsingParamCombinatorImpl();
896 return smtUsingParamCombinator;
897 }
898
899 /**
900 * <!-- begin-user-doc -->
901 * <!-- end-user-doc -->
902 * @generated
903 */
904 public ReasoningProbe createReasoningProbe()
905 {
906 ReasoningProbeImpl reasoningProbe = new ReasoningProbeImpl();
907 return reasoningProbe;
908 }
909
910 /**
911 * <!-- begin-user-doc -->
912 * <!-- end-user-doc -->
913 * @generated
914 */
915 public ReasoningTacticParameter createReasoningTacticParameter()
916 {
917 ReasoningTacticParameterImpl reasoningTacticParameter = new ReasoningTacticParameterImpl();
918 return reasoningTacticParameter;
919 }
920
921 /**
922 * <!-- begin-user-doc -->
923 * <!-- end-user-doc -->
924 * @generated
925 */
926 public SMTResult createSMTResult()
927 {
928 SMTResultImpl smtResult = new SMTResultImpl();
929 return smtResult;
930 }
931
932 /**
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @generated
936 */
937 public SMTErrorResult createSMTErrorResult()
938 {
939 SMTErrorResultImpl smtErrorResult = new SMTErrorResultImpl();
940 return smtErrorResult;
941 }
942
943 /**
944 * <!-- begin-user-doc -->
945 * <!-- end-user-doc -->
946 * @generated
947 */
948 public SMTUnsupportedResult createSMTUnsupportedResult()
949 {
950 SMTUnsupportedResultImpl smtUnsupportedResult = new SMTUnsupportedResultImpl();
951 return smtUnsupportedResult;
952 }
953
954 /**
955 * <!-- begin-user-doc -->
956 * <!-- end-user-doc -->
957 * @generated
958 */
959 public SMTSatResult createSMTSatResult()
960 {
961 SMTSatResultImpl smtSatResult = new SMTSatResultImpl();
962 return smtSatResult;
963 }
964
965 /**
966 * <!-- begin-user-doc -->
967 * <!-- end-user-doc -->
968 * @generated
969 */
970 public SMTModelResult createSMTModelResult()
971 {
972 SMTModelResultImpl smtModelResult = new SMTModelResultImpl();
973 return smtModelResult;
974 }
975
976 /**
977 * <!-- begin-user-doc -->
978 * <!-- end-user-doc -->
979 * @generated
980 */
981 public SMTStatisticValue createSMTStatisticValue()
982 {
983 SMTStatisticValueImpl smtStatisticValue = new SMTStatisticValueImpl();
984 return smtStatisticValue;
985 }
986
987 /**
988 * <!-- begin-user-doc -->
989 * <!-- end-user-doc -->
990 * @generated
991 */
992 public SMTStatisticIntValue createSMTStatisticIntValue()
993 {
994 SMTStatisticIntValueImpl smtStatisticIntValue = new SMTStatisticIntValueImpl();
995 return smtStatisticIntValue;
996 }
997
998 /**
999 * <!-- begin-user-doc -->
1000 * <!-- end-user-doc -->
1001 * @generated
1002 */
1003 public SMTStatisticDoubleValue createSMTStatisticDoubleValue()
1004 {
1005 SMTStatisticDoubleValueImpl smtStatisticDoubleValue = new SMTStatisticDoubleValueImpl();
1006 return smtStatisticDoubleValue;
1007 }
1008
1009 /**
1010 * <!-- begin-user-doc -->
1011 * <!-- end-user-doc -->
1012 * @generated
1013 */
1014 public SMTStatisticsSection createSMTStatisticsSection()
1015 {
1016 SMTStatisticsSectionImpl smtStatisticsSection = new SMTStatisticsSectionImpl();
1017 return smtStatisticsSection;
1018 }
1019
1020 /**
1021 * <!-- begin-user-doc -->
1022 * <!-- end-user-doc -->
1023 * @generated
1024 */
1025 public SmtLanguagePackage getSmtLanguagePackage()
1026 {
1027 return (SmtLanguagePackage)getEPackage();
1028 }
1029
1030 /**
1031 * <!-- begin-user-doc -->
1032 * <!-- end-user-doc -->
1033 * @deprecated
1034 * @generated
1035 */
1036 @Deprecated
1037 public static SmtLanguagePackage getPackage()
1038 {
1039 return SmtLanguagePackage.eINSTANCE;
1040 }
1041
1042} //SmtLanguageFactoryImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-08 23:39:33 +0000