diff options
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.java | 745 |
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 | */ | ||
3 | package hu.bme.mit.inf.dslreasoner.smtLanguage; | ||
4 | |||
5 | import 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 | */ | ||
15 | public 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 | ||