diff options
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.java | 1042 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage.impl; | ||
4 | |||
5 | import hu.bme.mit.inf.dslreasoner.smtLanguage.*; | ||
6 | |||
7 | import org.eclipse.emf.ecore.EClass; | ||
8 | import org.eclipse.emf.ecore.EObject; | ||
9 | import org.eclipse.emf.ecore.EPackage; | ||
10 | |||
11 | import org.eclipse.emf.ecore.impl.EFactoryImpl; | ||
12 | |||
13 | import 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 | */ | ||
21 | public 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 | ||