aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g6043
1 files changed, 6043 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
new file mode 100644
index 00000000..c5f2bcd0
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language.ide/src-gen/ca/mcgill/ecse/dslreasoner/ide/contentassist/antlr/internal/InternalVampireLanguage.g
@@ -0,0 +1,6043 @@
1/*
2 * generated by Xtext 2.14.0
3 */
4grammar InternalVampireLanguage;
5
6options {
7 superClass=AbstractInternalContentAssistParser;
8}
9
10@lexer::header {
11package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal;
12
13// Hack: Use our own Lexer superclass by means of import.
14// Currently there is no other way to specify the superclass for the lexer.
15import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
16}
17
18@parser::header {
19package ca.mcgill.ecse.dslreasoner.ide.contentassist.antlr.internal;
20
21import java.io.InputStream;
22import org.eclipse.xtext.*;
23import org.eclipse.xtext.parser.*;
24import org.eclipse.xtext.parser.impl.*;
25import org.eclipse.emf.ecore.util.EcoreUtil;
26import org.eclipse.emf.ecore.EObject;
27import org.eclipse.xtext.parser.antlr.XtextTokenStream;
28import org.eclipse.xtext.parser.antlr.XtextTokenStream.HiddenTokens;
29import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.AbstractInternalContentAssistParser;
30import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.DFA;
31import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;
32
33}
34@parser::members {
35 private VampireLanguageGrammarAccess grammarAccess;
36
37 public void setGrammarAccess(VampireLanguageGrammarAccess grammarAccess) {
38 this.grammarAccess = grammarAccess;
39 }
40
41 @Override
42 protected Grammar getGrammar() {
43 return grammarAccess.getGrammar();
44 }
45
46 @Override
47 protected String getValueForTokenName(String tokenName) {
48 return tokenName;
49 }
50}
51
52// Entry rule entryRuleVampireModel
53entryRuleVampireModel
54:
55{ before(grammarAccess.getVampireModelRule()); }
56 ruleVampireModel
57{ after(grammarAccess.getVampireModelRule()); }
58 EOF
59;
60
61// Rule VampireModel
62ruleVampireModel
63 @init {
64 int stackSize = keepStackSize();
65 }
66 :
67 (
68 { before(grammarAccess.getVampireModelAccess().getAlternatives()); }
69 (rule__VampireModel__Alternatives)*
70 { after(grammarAccess.getVampireModelAccess().getAlternatives()); }
71 )
72;
73finally {
74 restoreStackSize(stackSize);
75}
76
77// Entry rule entryRuleVLSInclude
78entryRuleVLSInclude
79:
80{ before(grammarAccess.getVLSIncludeRule()); }
81 ruleVLSInclude
82{ after(grammarAccess.getVLSIncludeRule()); }
83 EOF
84;
85
86// Rule VLSInclude
87ruleVLSInclude
88 @init {
89 int stackSize = keepStackSize();
90 }
91 :
92 (
93 { before(grammarAccess.getVLSIncludeAccess().getGroup()); }
94 (rule__VLSInclude__Group__0)
95 { after(grammarAccess.getVLSIncludeAccess().getGroup()); }
96 )
97;
98finally {
99 restoreStackSize(stackSize);
100}
101
102// Entry rule entryRuleVLSName
103entryRuleVLSName
104:
105{ before(grammarAccess.getVLSNameRule()); }
106 ruleVLSName
107{ after(grammarAccess.getVLSNameRule()); }
108 EOF
109;
110
111// Rule VLSName
112ruleVLSName
113 @init {
114 int stackSize = keepStackSize();
115 }
116 :
117 (
118 { before(grammarAccess.getVLSNameAccess().getNameAssignment()); }
119 (rule__VLSName__NameAssignment)
120 { after(grammarAccess.getVLSNameAccess().getNameAssignment()); }
121 )
122;
123finally {
124 restoreStackSize(stackSize);
125}
126
127// Entry rule entryRuleVLSComment
128entryRuleVLSComment
129:
130{ before(grammarAccess.getVLSCommentRule()); }
131 ruleVLSComment
132{ after(grammarAccess.getVLSCommentRule()); }
133 EOF
134;
135
136// Rule VLSComment
137ruleVLSComment
138 @init {
139 int stackSize = keepStackSize();
140 }
141 :
142 (
143 { before(grammarAccess.getVLSCommentAccess().getGroup()); }
144 (rule__VLSComment__Group__0)
145 { after(grammarAccess.getVLSCommentAccess().getGroup()); }
146 )
147;
148finally {
149 restoreStackSize(stackSize);
150}
151
152// Entry rule entryRuleVLSConfirmations
153entryRuleVLSConfirmations
154:
155{ before(grammarAccess.getVLSConfirmationsRule()); }
156 ruleVLSConfirmations
157{ after(grammarAccess.getVLSConfirmationsRule()); }
158 EOF
159;
160
161// Rule VLSConfirmations
162ruleVLSConfirmations
163 @init {
164 int stackSize = keepStackSize();
165 }
166 :
167 (
168 { before(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); }
169 ruleVLSSatisfiable
170 { after(grammarAccess.getVLSConfirmationsAccess().getVLSSatisfiableParserRuleCall()); }
171 )
172;
173finally {
174 restoreStackSize(stackSize);
175}
176
177// Entry rule entryRuleVLSSatisfiable
178entryRuleVLSSatisfiable
179:
180{ before(grammarAccess.getVLSSatisfiableRule()); }
181 ruleVLSSatisfiable
182{ after(grammarAccess.getVLSSatisfiableRule()); }
183 EOF
184;
185
186// Rule VLSSatisfiable
187ruleVLSSatisfiable
188 @init {
189 int stackSize = keepStackSize();
190 }
191 :
192 (
193 { before(grammarAccess.getVLSSatisfiableAccess().getGroup()); }
194 (rule__VLSSatisfiable__Group__0)
195 { after(grammarAccess.getVLSSatisfiableAccess().getGroup()); }
196 )
197;
198finally {
199 restoreStackSize(stackSize);
200}
201
202// Entry rule entryRuleVLSFofFormula
203entryRuleVLSFofFormula
204:
205{ before(grammarAccess.getVLSFofFormulaRule()); }
206 ruleVLSFofFormula
207{ after(grammarAccess.getVLSFofFormulaRule()); }
208 EOF
209;
210
211// Rule VLSFofFormula
212ruleVLSFofFormula
213 @init {
214 int stackSize = keepStackSize();
215 }
216 :
217 (
218 { before(grammarAccess.getVLSFofFormulaAccess().getGroup()); }
219 (rule__VLSFofFormula__Group__0)
220 { after(grammarAccess.getVLSFofFormulaAccess().getGroup()); }
221 )
222;
223finally {
224 restoreStackSize(stackSize);
225}
226
227// Entry rule entryRuleVLSTffFormula
228entryRuleVLSTffFormula
229:
230{ before(grammarAccess.getVLSTffFormulaRule()); }
231 ruleVLSTffFormula
232{ after(grammarAccess.getVLSTffFormulaRule()); }
233 EOF
234;
235
236// Rule VLSTffFormula
237ruleVLSTffFormula
238 @init {
239 int stackSize = keepStackSize();
240 }
241 :
242 (
243 { before(grammarAccess.getVLSTffFormulaAccess().getGroup()); }
244 (rule__VLSTffFormula__Group__0)
245 { after(grammarAccess.getVLSTffFormulaAccess().getGroup()); }
246 )
247;
248finally {
249 restoreStackSize(stackSize);
250}
251
252// Entry rule entryRuleVLSRole
253entryRuleVLSRole
254:
255{ before(grammarAccess.getVLSRoleRule()); }
256 ruleVLSRole
257{ after(grammarAccess.getVLSRoleRule()); }
258 EOF
259;
260
261// Rule VLSRole
262ruleVLSRole
263 @init {
264 int stackSize = keepStackSize();
265 }
266 :
267 (
268 { before(grammarAccess.getVLSRoleAccess().getAlternatives()); }
269 (rule__VLSRole__Alternatives)
270 { after(grammarAccess.getVLSRoleAccess().getAlternatives()); }
271 )
272;
273finally {
274 restoreStackSize(stackSize);
275}
276
277// Entry rule entryRuleVLSAnnotation
278entryRuleVLSAnnotation
279:
280{ before(grammarAccess.getVLSAnnotationRule()); }
281 ruleVLSAnnotation
282{ after(grammarAccess.getVLSAnnotationRule()); }
283 EOF
284;
285
286// Rule VLSAnnotation
287ruleVLSAnnotation
288 @init {
289 int stackSize = keepStackSize();
290 }
291 :
292 (
293 { before(grammarAccess.getVLSAnnotationAccess().getGroup()); }
294 (rule__VLSAnnotation__Group__0)
295 { after(grammarAccess.getVLSAnnotationAccess().getGroup()); }
296 )
297;
298finally {
299 restoreStackSize(stackSize);
300}
301
302// Entry rule entryRuleVLSAnnotationTerms
303entryRuleVLSAnnotationTerms
304:
305{ before(grammarAccess.getVLSAnnotationTermsRule()); }
306 ruleVLSAnnotationTerms
307{ after(grammarAccess.getVLSAnnotationTermsRule()); }
308 EOF
309;
310
311// Rule VLSAnnotationTerms
312ruleVLSAnnotationTerms
313 @init {
314 int stackSize = keepStackSize();
315 }
316 :
317 (
318 { before(grammarAccess.getVLSAnnotationTermsAccess().getGroup()); }
319 (rule__VLSAnnotationTerms__Group__0)
320 { after(grammarAccess.getVLSAnnotationTermsAccess().getGroup()); }
321 )
322;
323finally {
324 restoreStackSize(stackSize);
325}
326
327// Entry rule entryRuleVLSTerm
328entryRuleVLSTerm
329:
330{ before(grammarAccess.getVLSTermRule()); }
331 ruleVLSTerm
332{ after(grammarAccess.getVLSTermRule()); }
333 EOF
334;
335
336// Rule VLSTerm
337ruleVLSTerm
338 @init {
339 int stackSize = keepStackSize();
340 }
341 :
342 (
343 { before(grammarAccess.getVLSTermAccess().getVLSBinaryParserRuleCall()); }
344 ruleVLSBinary
345 { after(grammarAccess.getVLSTermAccess().getVLSBinaryParserRuleCall()); }
346 )
347;
348finally {
349 restoreStackSize(stackSize);
350}
351
352// Entry rule entryRuleVLSBinary
353entryRuleVLSBinary
354:
355{ before(grammarAccess.getVLSBinaryRule()); }
356 ruleVLSBinary
357{ after(grammarAccess.getVLSBinaryRule()); }
358 EOF
359;
360
361// Rule VLSBinary
362ruleVLSBinary
363 @init {
364 int stackSize = keepStackSize();
365 }
366 :
367 (
368 { before(grammarAccess.getVLSBinaryAccess().getGroup()); }
369 (rule__VLSBinary__Group__0)
370 { after(grammarAccess.getVLSBinaryAccess().getGroup()); }
371 )
372;
373finally {
374 restoreStackSize(stackSize);
375}
376
377// Entry rule entryRuleVLSUnitaryFormula
378entryRuleVLSUnitaryFormula
379:
380{ before(grammarAccess.getVLSUnitaryFormulaRule()); }
381 ruleVLSUnitaryFormula
382{ after(grammarAccess.getVLSUnitaryFormulaRule()); }
383 EOF
384;
385
386// Rule VLSUnitaryFormula
387ruleVLSUnitaryFormula
388 @init {
389 int stackSize = keepStackSize();
390 }
391 :
392 (
393 { before(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives()); }
394 (rule__VLSUnitaryFormula__Alternatives)
395 { after(grammarAccess.getVLSUnitaryFormulaAccess().getAlternatives()); }
396 )
397;
398finally {
399 restoreStackSize(stackSize);
400}
401
402// Entry rule entryRuleVLSUniversalQuantifier
403entryRuleVLSUniversalQuantifier
404:
405{ before(grammarAccess.getVLSUniversalQuantifierRule()); }
406 ruleVLSUniversalQuantifier
407{ after(grammarAccess.getVLSUniversalQuantifierRule()); }
408 EOF
409;
410
411// Rule VLSUniversalQuantifier
412ruleVLSUniversalQuantifier
413 @init {
414 int stackSize = keepStackSize();
415 }
416 :
417 (
418 { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup()); }
419 (rule__VLSUniversalQuantifier__Group__0)
420 { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup()); }
421 )
422;
423finally {
424 restoreStackSize(stackSize);
425}
426
427// Entry rule entryRuleVLSExistentialQuantifier
428entryRuleVLSExistentialQuantifier
429:
430{ before(grammarAccess.getVLSExistentialQuantifierRule()); }
431 ruleVLSExistentialQuantifier
432{ after(grammarAccess.getVLSExistentialQuantifierRule()); }
433 EOF
434;
435
436// Rule VLSExistentialQuantifier
437ruleVLSExistentialQuantifier
438 @init {
439 int stackSize = keepStackSize();
440 }
441 :
442 (
443 { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup()); }
444 (rule__VLSExistentialQuantifier__Group__0)
445 { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup()); }
446 )
447;
448finally {
449 restoreStackSize(stackSize);
450}
451
452// Entry rule entryRuleVLSUnaryNegation
453entryRuleVLSUnaryNegation
454:
455{ before(grammarAccess.getVLSUnaryNegationRule()); }
456 ruleVLSUnaryNegation
457{ after(grammarAccess.getVLSUnaryNegationRule()); }
458 EOF
459;
460
461// Rule VLSUnaryNegation
462ruleVLSUnaryNegation
463 @init {
464 int stackSize = keepStackSize();
465 }
466 :
467 (
468 { before(grammarAccess.getVLSUnaryNegationAccess().getGroup()); }
469 (rule__VLSUnaryNegation__Group__0)
470 { after(grammarAccess.getVLSUnaryNegationAccess().getGroup()); }
471 )
472;
473finally {
474 restoreStackSize(stackSize);
475}
476
477// Entry rule entryRuleVLSUnaryInfix
478entryRuleVLSUnaryInfix
479:
480{ before(grammarAccess.getVLSUnaryInfixRule()); }
481 ruleVLSUnaryInfix
482{ after(grammarAccess.getVLSUnaryInfixRule()); }
483 EOF
484;
485
486// Rule VLSUnaryInfix
487ruleVLSUnaryInfix
488 @init {
489 int stackSize = keepStackSize();
490 }
491 :
492 (
493 { before(grammarAccess.getVLSUnaryInfixAccess().getGroup()); }
494 (rule__VLSUnaryInfix__Group__0)
495 { after(grammarAccess.getVLSUnaryInfixAccess().getGroup()); }
496 )
497;
498finally {
499 restoreStackSize(stackSize);
500}
501
502// Entry rule entryRuleVLSAtomic
503entryRuleVLSAtomic
504:
505{ before(grammarAccess.getVLSAtomicRule()); }
506 ruleVLSAtomic
507{ after(grammarAccess.getVLSAtomicRule()); }
508 EOF
509;
510
511// Rule VLSAtomic
512ruleVLSAtomic
513 @init {
514 int stackSize = keepStackSize();
515 }
516 :
517 (
518 { before(grammarAccess.getVLSAtomicAccess().getAlternatives()); }
519 (rule__VLSAtomic__Alternatives)
520 { after(grammarAccess.getVLSAtomicAccess().getAlternatives()); }
521 )
522;
523finally {
524 restoreStackSize(stackSize);
525}
526
527// Entry rule entryRuleVLSAtomicConstant
528entryRuleVLSAtomicConstant
529:
530{ before(grammarAccess.getVLSAtomicConstantRule()); }
531 ruleVLSAtomicConstant
532{ after(grammarAccess.getVLSAtomicConstantRule()); }
533 EOF
534;
535
536// Rule VLSAtomicConstant
537ruleVLSAtomicConstant
538 @init {
539 int stackSize = keepStackSize();
540 }
541 :
542 (
543 { before(grammarAccess.getVLSAtomicConstantAccess().getAlternatives()); }
544 (rule__VLSAtomicConstant__Alternatives)
545 { after(grammarAccess.getVLSAtomicConstantAccess().getAlternatives()); }
546 )
547;
548finally {
549 restoreStackSize(stackSize);
550}
551
552// Entry rule entryRuleVLSAtomicFunction
553entryRuleVLSAtomicFunction
554:
555{ before(grammarAccess.getVLSAtomicFunctionRule()); }
556 ruleVLSAtomicFunction
557{ after(grammarAccess.getVLSAtomicFunctionRule()); }
558 EOF
559;
560
561// Rule VLSAtomicFunction
562ruleVLSAtomicFunction
563 @init {
564 int stackSize = keepStackSize();
565 }
566 :
567 (
568 { before(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives()); }
569 (rule__VLSAtomicFunction__Alternatives)
570 { after(grammarAccess.getVLSAtomicFunctionAccess().getAlternatives()); }
571 )
572;
573finally {
574 restoreStackSize(stackSize);
575}
576
577// Entry rule entryRuleVLSVariable
578entryRuleVLSVariable
579:
580{ before(grammarAccess.getVLSVariableRule()); }
581 ruleVLSVariable
582{ after(grammarAccess.getVLSVariableRule()); }
583 EOF
584;
585
586// Rule VLSVariable
587ruleVLSVariable
588 @init {
589 int stackSize = keepStackSize();
590 }
591 :
592 (
593 { before(grammarAccess.getVLSVariableAccess().getNameAssignment()); }
594 (rule__VLSVariable__NameAssignment)
595 { after(grammarAccess.getVLSVariableAccess().getNameAssignment()); }
596 )
597;
598finally {
599 restoreStackSize(stackSize);
600}
601
602// Entry rule entryRuleVLSFofTerm
603entryRuleVLSFofTerm
604:
605{ before(grammarAccess.getVLSFofTermRule()); }
606 ruleVLSFofTerm
607{ after(grammarAccess.getVLSFofTermRule()); }
608 EOF
609;
610
611// Rule VLSFofTerm
612ruleVLSFofTerm
613 @init {
614 int stackSize = keepStackSize();
615 }
616 :
617 (
618 { before(grammarAccess.getVLSFofTermAccess().getAlternatives()); }
619 (rule__VLSFofTerm__Alternatives)
620 { after(grammarAccess.getVLSFofTermAccess().getAlternatives()); }
621 )
622;
623finally {
624 restoreStackSize(stackSize);
625}
626
627// Entry rule entryRuleVLSFunctionAsTerm
628entryRuleVLSFunctionAsTerm
629:
630{ before(grammarAccess.getVLSFunctionAsTermRule()); }
631 ruleVLSFunctionAsTerm
632{ after(grammarAccess.getVLSFunctionAsTermRule()); }
633 EOF
634;
635
636// Rule VLSFunctionAsTerm
637ruleVLSFunctionAsTerm
638 @init {
639 int stackSize = keepStackSize();
640 }
641 :
642 (
643 { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); }
644 (rule__VLSFunctionAsTerm__Group__0)
645 { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); }
646 )
647;
648finally {
649 restoreStackSize(stackSize);
650}
651
652// Entry rule entryRuleVLSDefinedTerm
653entryRuleVLSDefinedTerm
654:
655{ before(grammarAccess.getVLSDefinedTermRule()); }
656 ruleVLSDefinedTerm
657{ after(grammarAccess.getVLSDefinedTermRule()); }
658 EOF
659;
660
661// Rule VLSDefinedTerm
662ruleVLSDefinedTerm
663 @init {
664 int stackSize = keepStackSize();
665 }
666 :
667 (
668 { before(grammarAccess.getVLSDefinedTermAccess().getAlternatives()); }
669 (rule__VLSDefinedTerm__Alternatives)
670 { after(grammarAccess.getVLSDefinedTermAccess().getAlternatives()); }
671 )
672;
673finally {
674 restoreStackSize(stackSize);
675}
676
677rule__VampireModel__Alternatives
678 @init {
679 int stackSize = keepStackSize();
680 }
681:
682 (
683 { before(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); }
684 (rule__VampireModel__IncludesAssignment_0)
685 { after(grammarAccess.getVampireModelAccess().getIncludesAssignment_0()); }
686 )
687 |
688 (
689 { before(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); }
690 (rule__VampireModel__CommentsAssignment_1)
691 { after(grammarAccess.getVampireModelAccess().getCommentsAssignment_1()); }
692 )
693 |
694 (
695 { before(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); }
696 (rule__VampireModel__ConfirmationsAssignment_2)
697 { after(grammarAccess.getVampireModelAccess().getConfirmationsAssignment_2()); }
698 )
699 |
700 (
701 { before(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); }
702 (rule__VampireModel__FormulasAssignment_3)
703 { after(grammarAccess.getVampireModelAccess().getFormulasAssignment_3()); }
704 )
705 |
706 (
707 { before(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); }
708 (rule__VampireModel__TfformulasAssignment_4)
709 { after(grammarAccess.getVampireModelAccess().getTfformulasAssignment_4()); }
710 )
711;
712finally {
713 restoreStackSize(stackSize);
714}
715
716rule__VLSName__NameAlternatives_0
717 @init {
718 int stackSize = keepStackSize();
719 }
720:
721 (
722 { before(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); }
723 RULE_LOWER_WORD_ID
724 { after(grammarAccess.getVLSNameAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_0()); }
725 )
726 |
727 (
728 { before(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); }
729 RULE_SINGLE_QUOTE
730 { after(grammarAccess.getVLSNameAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1()); }
731 )
732 |
733 (
734 { before(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); }
735 RULE_LITERAL
736 { after(grammarAccess.getVLSNameAccess().getNameLITERALTerminalRuleCall_0_2()); }
737 )
738 |
739 (
740 { before(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); }
741 RULE_SIGNED_LITERAL
742 { after(grammarAccess.getVLSNameAccess().getNameSIGNED_LITERALTerminalRuleCall_0_3()); }
743 )
744;
745finally {
746 restoreStackSize(stackSize);
747}
748
749rule__VLSFofFormula__NameAlternatives_2_0
750 @init {
751 int stackSize = keepStackSize();
752 }
753:
754 (
755 { before(grammarAccess.getVLSFofFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); }
756 RULE_LOWER_WORD_ID
757 { after(grammarAccess.getVLSFofFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); }
758 )
759 |
760 (
761 { before(grammarAccess.getVLSFofFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); }
762 RULE_SIGNED_LITERAL
763 { after(grammarAccess.getVLSFofFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); }
764 )
765 |
766 (
767 { before(grammarAccess.getVLSFofFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); }
768 RULE_SINGLE_QUOTE
769 { after(grammarAccess.getVLSFofFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); }
770 )
771;
772finally {
773 restoreStackSize(stackSize);
774}
775
776rule__VLSTffFormula__NameAlternatives_2_0
777 @init {
778 int stackSize = keepStackSize();
779 }
780:
781 (
782 { before(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); }
783 RULE_LOWER_WORD_ID
784 { after(grammarAccess.getVLSTffFormulaAccess().getNameLOWER_WORD_IDTerminalRuleCall_2_0_0()); }
785 )
786 |
787 (
788 { before(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); }
789 RULE_SIGNED_LITERAL
790 { after(grammarAccess.getVLSTffFormulaAccess().getNameSIGNED_LITERALTerminalRuleCall_2_0_1()); }
791 )
792 |
793 (
794 { before(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); }
795 RULE_SINGLE_QUOTE
796 { after(grammarAccess.getVLSTffFormulaAccess().getNameSINGLE_QUOTETerminalRuleCall_2_0_2()); }
797 )
798;
799finally {
800 restoreStackSize(stackSize);
801}
802
803rule__VLSRole__Alternatives
804 @init {
805 int stackSize = keepStackSize();
806 }
807:
808 (
809 { before(grammarAccess.getVLSRoleAccess().getAxiomKeyword_0()); }
810 'axiom'
811 { after(grammarAccess.getVLSRoleAccess().getAxiomKeyword_0()); }
812 )
813 |
814 (
815 { before(grammarAccess.getVLSRoleAccess().getConjectureKeyword_1()); }
816 'conjecture'
817 { after(grammarAccess.getVLSRoleAccess().getConjectureKeyword_1()); }
818 )
819 |
820 (
821 { before(grammarAccess.getVLSRoleAccess().getHypothesisKeyword_2()); }
822 'hypothesis'
823 { after(grammarAccess.getVLSRoleAccess().getHypothesisKeyword_2()); }
824 )
825 |
826 (
827 { before(grammarAccess.getVLSRoleAccess().getDefinitionKeyword_3()); }
828 'definition'
829 { after(grammarAccess.getVLSRoleAccess().getDefinitionKeyword_3()); }
830 )
831 |
832 (
833 { before(grammarAccess.getVLSRoleAccess().getAssumptionKeyword_4()); }
834 'assumption'
835 { after(grammarAccess.getVLSRoleAccess().getAssumptionKeyword_4()); }
836 )
837 |
838 (
839 { before(grammarAccess.getVLSRoleAccess().getLemmaKeyword_5()); }
840 'lemma'
841 { after(grammarAccess.getVLSRoleAccess().getLemmaKeyword_5()); }
842 )
843 |
844 (
845 { before(grammarAccess.getVLSRoleAccess().getTheoremKeyword_6()); }
846 'theorem'
847 { after(grammarAccess.getVLSRoleAccess().getTheoremKeyword_6()); }
848 )
849 |
850 (
851 { before(grammarAccess.getVLSRoleAccess().getCorollaryKeyword_7()); }
852 'corollary'
853 { after(grammarAccess.getVLSRoleAccess().getCorollaryKeyword_7()); }
854 )
855 |
856 (
857 { before(grammarAccess.getVLSRoleAccess().getNegated_conjectureKeyword_8()); }
858 'negated_conjecture'
859 { after(grammarAccess.getVLSRoleAccess().getNegated_conjectureKeyword_8()); }
860 )
861 |
862 (
863 { before(grammarAccess.getVLSRoleAccess().getPlainKeyword_9()); }
864 'plain'
865 { after(grammarAccess.getVLSRoleAccess().getPlainKeyword_9()); }
866 )
867 |
868 (
869 { before(grammarAccess.getVLSRoleAccess().getTypeKeyword_10()); }
870 'type'
871 { after(grammarAccess.getVLSRoleAccess().getTypeKeyword_10()); }
872 )
873 |
874 (
875 { before(grammarAccess.getVLSRoleAccess().getFi_domainKeyword_11()); }
876 'fi_domain'
877 { after(grammarAccess.getVLSRoleAccess().getFi_domainKeyword_11()); }
878 )
879 |
880 (
881 { before(grammarAccess.getVLSRoleAccess().getFi_functorsKeyword_12()); }
882 'fi_functors'
883 { after(grammarAccess.getVLSRoleAccess().getFi_functorsKeyword_12()); }
884 )
885 |
886 (
887 { before(grammarAccess.getVLSRoleAccess().getFi_predicatesKeyword_13()); }
888 'fi_predicates'
889 { after(grammarAccess.getVLSRoleAccess().getFi_predicatesKeyword_13()); }
890 )
891 |
892 (
893 { before(grammarAccess.getVLSRoleAccess().getUnknownKeyword_14()); }
894 'unknown'
895 { after(grammarAccess.getVLSRoleAccess().getUnknownKeyword_14()); }
896 )
897;
898finally {
899 restoreStackSize(stackSize);
900}
901
902rule__VLSAnnotation__NameAlternatives_1_0
903 @init {
904 int stackSize = keepStackSize();
905 }
906:
907 (
908 { before(grammarAccess.getVLSAnnotationAccess().getNameLOWER_WORD_IDTerminalRuleCall_1_0_0()); }
909 RULE_LOWER_WORD_ID
910 { after(grammarAccess.getVLSAnnotationAccess().getNameLOWER_WORD_IDTerminalRuleCall_1_0_0()); }
911 )
912 |
913 (
914 { before(grammarAccess.getVLSAnnotationAccess().getNameSINGLE_QUOTETerminalRuleCall_1_0_1()); }
915 RULE_SINGLE_QUOTE
916 { after(grammarAccess.getVLSAnnotationAccess().getNameSINGLE_QUOTETerminalRuleCall_1_0_1()); }
917 )
918 |
919 (
920 { before(grammarAccess.getVLSAnnotationAccess().getNameVLSRoleParserRuleCall_1_0_2()); }
921 ruleVLSRole
922 { after(grammarAccess.getVLSAnnotationAccess().getNameVLSRoleParserRuleCall_1_0_2()); }
923 )
924;
925finally {
926 restoreStackSize(stackSize);
927}
928
929rule__VLSBinary__Alternatives_1
930 @init {
931 int stackSize = keepStackSize();
932 }
933:
934 (
935 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0()); }
936 (rule__VLSBinary__Group_1_0__0)
937 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0()); }
938 )
939 |
940 (
941 (
942 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); }
943 (rule__VLSBinary__Group_1_1__0)
944 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); }
945 )
946 (
947 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); }
948 (rule__VLSBinary__Group_1_1__0)*
949 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_1()); }
950 )
951 )
952 |
953 (
954 (
955 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); }
956 (rule__VLSBinary__Group_1_2__0)
957 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); }
958 )
959 (
960 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); }
961 (rule__VLSBinary__Group_1_2__0)*
962 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_2()); }
963 )
964 )
965;
966finally {
967 restoreStackSize(stackSize);
968}
969
970rule__VLSBinary__Alternatives_1_0_0
971 @init {
972 int stackSize = keepStackSize();
973 }
974:
975 (
976 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0()); }
977 (rule__VLSBinary__Group_1_0_0_0__0)
978 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_0()); }
979 )
980 |
981 (
982 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1()); }
983 (rule__VLSBinary__Group_1_0_0_1__0)
984 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_1()); }
985 )
986 |
987 (
988 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2()); }
989 (rule__VLSBinary__Group_1_0_0_2__0)
990 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_2()); }
991 )
992 |
993 (
994 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3()); }
995 (rule__VLSBinary__Group_1_0_0_3__0)
996 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_3()); }
997 )
998 |
999 (
1000 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4()); }
1001 (rule__VLSBinary__Group_1_0_0_4__0)
1002 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_4()); }
1003 )
1004 |
1005 (
1006 { before(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5()); }
1007 (rule__VLSBinary__Group_1_0_0_5__0)
1008 { after(grammarAccess.getVLSBinaryAccess().getGroup_1_0_0_5()); }
1009 )
1010;
1011finally {
1012 restoreStackSize(stackSize);
1013}
1014
1015rule__VLSUnitaryFormula__Alternatives
1016 @init {
1017 int stackSize = keepStackSize();
1018 }
1019:
1020 (
1021 { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUniversalQuantifierParserRuleCall_0()); }
1022 ruleVLSUniversalQuantifier
1023 { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUniversalQuantifierParserRuleCall_0()); }
1024 )
1025 |
1026 (
1027 { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSExistentialQuantifierParserRuleCall_1()); }
1028 ruleVLSExistentialQuantifier
1029 { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSExistentialQuantifierParserRuleCall_1()); }
1030 )
1031 |
1032 (
1033 { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryNegationParserRuleCall_2()); }
1034 ruleVLSUnaryNegation
1035 { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryNegationParserRuleCall_2()); }
1036 )
1037 |
1038 (
1039 { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryInfixParserRuleCall_3()); }
1040 ruleVLSUnaryInfix
1041 { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSUnaryInfixParserRuleCall_3()); }
1042 )
1043 |
1044 (
1045 { before(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4()); }
1046 (rule__VLSUnitaryFormula__Group_4__0)
1047 { after(grammarAccess.getVLSUnitaryFormulaAccess().getGroup_4()); }
1048 )
1049;
1050finally {
1051 restoreStackSize(stackSize);
1052}
1053
1054rule__VLSUnaryInfix__Alternatives_1_0
1055 @init {
1056 int stackSize = keepStackSize();
1057 }
1058:
1059 (
1060 { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0()); }
1061 (rule__VLSUnaryInfix__Group_1_0_0__0)
1062 { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_0()); }
1063 )
1064 |
1065 (
1066 { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1()); }
1067 (rule__VLSUnaryInfix__Group_1_0_1__0)
1068 { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_1()); }
1069 )
1070 |
1071 (
1072 { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2()); }
1073 (rule__VLSUnaryInfix__Group_1_0_2__0)
1074 { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1_0_2()); }
1075 )
1076;
1077finally {
1078 restoreStackSize(stackSize);
1079}
1080
1081rule__VLSAtomic__Alternatives
1082 @init {
1083 int stackSize = keepStackSize();
1084 }
1085:
1086 (
1087 { before(grammarAccess.getVLSAtomicAccess().getVLSAtomicConstantParserRuleCall_0()); }
1088 ruleVLSAtomicConstant
1089 { after(grammarAccess.getVLSAtomicAccess().getVLSAtomicConstantParserRuleCall_0()); }
1090 )
1091 |
1092 (
1093 { before(grammarAccess.getVLSAtomicAccess().getVLSAtomicFunctionParserRuleCall_1()); }
1094 ruleVLSAtomicFunction
1095 { after(grammarAccess.getVLSAtomicAccess().getVLSAtomicFunctionParserRuleCall_1()); }
1096 )
1097 |
1098 (
1099 { before(grammarAccess.getVLSAtomicAccess().getVLSVariableParserRuleCall_2()); }
1100 ruleVLSVariable
1101 { after(grammarAccess.getVLSAtomicAccess().getVLSVariableParserRuleCall_2()); }
1102 )
1103 |
1104 (
1105 { before(grammarAccess.getVLSAtomicAccess().getVLSDefinedTermParserRuleCall_3()); }
1106 ruleVLSDefinedTerm
1107 { after(grammarAccess.getVLSAtomicAccess().getVLSDefinedTermParserRuleCall_3()); }
1108 )
1109;
1110finally {
1111 restoreStackSize(stackSize);
1112}
1113
1114rule__VLSAtomicConstant__Alternatives
1115 @init {
1116 int stackSize = keepStackSize();
1117 }
1118:
1119 (
1120 { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_0()); }
1121 (rule__VLSAtomicConstant__Group_0__0)
1122 { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_0()); }
1123 )
1124 |
1125 (
1126 { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_1()); }
1127 (rule__VLSAtomicConstant__Group_1__0)
1128 { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_1()); }
1129 )
1130 |
1131 (
1132 { before(grammarAccess.getVLSAtomicConstantAccess().getGroup_2()); }
1133 (rule__VLSAtomicConstant__Group_2__0)
1134 { after(grammarAccess.getVLSAtomicConstantAccess().getGroup_2()); }
1135 )
1136;
1137finally {
1138 restoreStackSize(stackSize);
1139}
1140
1141rule__VLSAtomicConstant__NameAlternatives_0_1_0
1142 @init {
1143 int stackSize = keepStackSize();
1144 }
1145:
1146 (
1147 { before(grammarAccess.getVLSAtomicConstantAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); }
1148 RULE_LOWER_WORD_ID
1149 { after(grammarAccess.getVLSAtomicConstantAccess().getNameLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); }
1150 )
1151 |
1152 (
1153 { before(grammarAccess.getVLSAtomicConstantAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1_0_1()); }
1154 RULE_SINGLE_QUOTE
1155 { after(grammarAccess.getVLSAtomicConstantAccess().getNameSINGLE_QUOTETerminalRuleCall_0_1_0_1()); }
1156 )
1157 |
1158 (
1159 { before(grammarAccess.getVLSAtomicConstantAccess().getNameDOLLAR_IDTerminalRuleCall_0_1_0_2()); }
1160 RULE_DOLLAR_ID
1161 { after(grammarAccess.getVLSAtomicConstantAccess().getNameDOLLAR_IDTerminalRuleCall_0_1_0_2()); }
1162 )
1163 |
1164 (
1165 { before(grammarAccess.getVLSAtomicConstantAccess().getNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); }
1166 RULE_DOUBLE_DOLLAR_ID
1167 { after(grammarAccess.getVLSAtomicConstantAccess().getNameDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); }
1168 )
1169 |
1170 (
1171 { before(grammarAccess.getVLSAtomicConstantAccess().getNameVLSRoleParserRuleCall_0_1_0_4()); }
1172 ruleVLSRole
1173 { after(grammarAccess.getVLSAtomicConstantAccess().getNameVLSRoleParserRuleCall_0_1_0_4()); }
1174 )
1175;
1176finally {
1177 restoreStackSize(stackSize);
1178}
1179
1180rule__VLSAtomicFunction__Alternatives
1181 @init {
1182 int stackSize = keepStackSize();
1183 }
1184:
1185 (
1186 { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0()); }
1187 (rule__VLSAtomicFunction__Group_0__0)
1188 { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0()); }
1189 )
1190 |
1191 (
1192 { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1()); }
1193 (rule__VLSAtomicFunction__Group_1__0)
1194 { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_1()); }
1195 )
1196;
1197finally {
1198 restoreStackSize(stackSize);
1199}
1200
1201rule__VLSAtomicFunction__ConstantAlternatives_0_1_0
1202 @init {
1203 int stackSize = keepStackSize();
1204 }
1205:
1206 (
1207 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); }
1208 RULE_LOWER_WORD_ID
1209 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantLOWER_WORD_IDTerminalRuleCall_0_1_0_0()); }
1210 )
1211 |
1212 (
1213 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1()); }
1214 RULE_SINGLE_QUOTE
1215 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantSINGLE_QUOTETerminalRuleCall_0_1_0_1()); }
1216 )
1217 |
1218 (
1219 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOLLAR_IDTerminalRuleCall_0_1_0_2()); }
1220 RULE_DOLLAR_ID
1221 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOLLAR_IDTerminalRuleCall_0_1_0_2()); }
1222 )
1223 |
1224 (
1225 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); }
1226 RULE_DOUBLE_DOLLAR_ID
1227 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantDOUBLE_DOLLAR_IDTerminalRuleCall_0_1_0_3()); }
1228 )
1229 |
1230 (
1231 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantVLSRoleParserRuleCall_0_1_0_4()); }
1232 ruleVLSRole
1233 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantVLSRoleParserRuleCall_0_1_0_4()); }
1234 )
1235;
1236finally {
1237 restoreStackSize(stackSize);
1238}
1239
1240rule__VLSFofTerm__Alternatives
1241 @init {
1242 int stackSize = keepStackSize();
1243 }
1244:
1245 (
1246 { before(grammarAccess.getVLSFofTermAccess().getVLSVariableParserRuleCall_0()); }
1247 ruleVLSVariable
1248 { after(grammarAccess.getVLSFofTermAccess().getVLSVariableParserRuleCall_0()); }
1249 )
1250 |
1251 (
1252 { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); }
1253 ruleVLSFunctionAsTerm
1254 { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); }
1255 )
1256 |
1257 (
1258 { before(grammarAccess.getVLSFofTermAccess().getVLSDefinedTermParserRuleCall_2()); }
1259 ruleVLSDefinedTerm
1260 { after(grammarAccess.getVLSFofTermAccess().getVLSDefinedTermParserRuleCall_2()); }
1261 )
1262;
1263finally {
1264 restoreStackSize(stackSize);
1265}
1266
1267rule__VLSFunctionAsTerm__FunctorAlternatives_0_0
1268 @init {
1269 int stackSize = keepStackSize();
1270 }
1271:
1272 (
1273 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }
1274 RULE_LOWER_WORD_ID
1275 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }
1276 )
1277 |
1278 (
1279 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }
1280 RULE_SINGLE_QUOTE
1281 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }
1282 )
1283 |
1284 (
1285 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }
1286 RULE_DOLLAR_ID
1287 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }
1288 )
1289 |
1290 (
1291 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }
1292 RULE_DOUBLE_DOLLAR_ID
1293 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }
1294 )
1295;
1296finally {
1297 restoreStackSize(stackSize);
1298}
1299
1300rule__VLSDefinedTerm__Alternatives
1301 @init {
1302 int stackSize = keepStackSize();
1303 }
1304:
1305 (
1306 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_0()); }
1307 (rule__VLSDefinedTerm__Group_0__0)
1308 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_0()); }
1309 )
1310 |
1311 (
1312 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); }
1313 (rule__VLSDefinedTerm__Group_1__0)
1314 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_1()); }
1315 )
1316 |
1317 (
1318 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); }
1319 (rule__VLSDefinedTerm__Group_2__0)
1320 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_2()); }
1321 )
1322 |
1323 (
1324 { before(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); }
1325 (rule__VLSDefinedTerm__Group_3__0)
1326 { after(grammarAccess.getVLSDefinedTermAccess().getGroup_3()); }
1327 )
1328;
1329finally {
1330 restoreStackSize(stackSize);
1331}
1332
1333rule__VLSInclude__Group__0
1334 @init {
1335 int stackSize = keepStackSize();
1336 }
1337:
1338 rule__VLSInclude__Group__0__Impl
1339 rule__VLSInclude__Group__1
1340;
1341finally {
1342 restoreStackSize(stackSize);
1343}
1344
1345rule__VLSInclude__Group__0__Impl
1346 @init {
1347 int stackSize = keepStackSize();
1348 }
1349:
1350(
1351 { before(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); }
1352 'include('
1353 { after(grammarAccess.getVLSIncludeAccess().getIncludeKeyword_0()); }
1354)
1355;
1356finally {
1357 restoreStackSize(stackSize);
1358}
1359
1360rule__VLSInclude__Group__1
1361 @init {
1362 int stackSize = keepStackSize();
1363 }
1364:
1365 rule__VLSInclude__Group__1__Impl
1366 rule__VLSInclude__Group__2
1367;
1368finally {
1369 restoreStackSize(stackSize);
1370}
1371
1372rule__VLSInclude__Group__1__Impl
1373 @init {
1374 int stackSize = keepStackSize();
1375 }
1376:
1377(
1378 { before(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); }
1379 (rule__VLSInclude__FileNameAssignment_1)
1380 { after(grammarAccess.getVLSIncludeAccess().getFileNameAssignment_1()); }
1381)
1382;
1383finally {
1384 restoreStackSize(stackSize);
1385}
1386
1387rule__VLSInclude__Group__2
1388 @init {
1389 int stackSize = keepStackSize();
1390 }
1391:
1392 rule__VLSInclude__Group__2__Impl
1393;
1394finally {
1395 restoreStackSize(stackSize);
1396}
1397
1398rule__VLSInclude__Group__2__Impl
1399 @init {
1400 int stackSize = keepStackSize();
1401 }
1402:
1403(
1404 { before(grammarAccess.getVLSIncludeAccess().getGroup_2()); }
1405 (rule__VLSInclude__Group_2__0)?
1406 { after(grammarAccess.getVLSIncludeAccess().getGroup_2()); }
1407)
1408;
1409finally {
1410 restoreStackSize(stackSize);
1411}
1412
1413
1414rule__VLSInclude__Group_2__0
1415 @init {
1416 int stackSize = keepStackSize();
1417 }
1418:
1419 rule__VLSInclude__Group_2__0__Impl
1420 rule__VLSInclude__Group_2__1
1421;
1422finally {
1423 restoreStackSize(stackSize);
1424}
1425
1426rule__VLSInclude__Group_2__0__Impl
1427 @init {
1428 int stackSize = keepStackSize();
1429 }
1430:
1431(
1432 { before(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); }
1433 ',['
1434 { after(grammarAccess.getVLSIncludeAccess().getCommaLeftSquareBracketKeyword_2_0()); }
1435)
1436;
1437finally {
1438 restoreStackSize(stackSize);
1439}
1440
1441rule__VLSInclude__Group_2__1
1442 @init {
1443 int stackSize = keepStackSize();
1444 }
1445:
1446 rule__VLSInclude__Group_2__1__Impl
1447 rule__VLSInclude__Group_2__2
1448;
1449finally {
1450 restoreStackSize(stackSize);
1451}
1452
1453rule__VLSInclude__Group_2__1__Impl
1454 @init {
1455 int stackSize = keepStackSize();
1456 }
1457:
1458(
1459 { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); }
1460 (rule__VLSInclude__NamesAssignment_2_1)
1461 { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_1()); }
1462)
1463;
1464finally {
1465 restoreStackSize(stackSize);
1466}
1467
1468rule__VLSInclude__Group_2__2
1469 @init {
1470 int stackSize = keepStackSize();
1471 }
1472:
1473 rule__VLSInclude__Group_2__2__Impl
1474 rule__VLSInclude__Group_2__3
1475;
1476finally {
1477 restoreStackSize(stackSize);
1478}
1479
1480rule__VLSInclude__Group_2__2__Impl
1481 @init {
1482 int stackSize = keepStackSize();
1483 }
1484:
1485(
1486 { before(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); }
1487 (rule__VLSInclude__Group_2_2__0)*
1488 { after(grammarAccess.getVLSIncludeAccess().getGroup_2_2()); }
1489)
1490;
1491finally {
1492 restoreStackSize(stackSize);
1493}
1494
1495rule__VLSInclude__Group_2__3
1496 @init {
1497 int stackSize = keepStackSize();
1498 }
1499:
1500 rule__VLSInclude__Group_2__3__Impl
1501;
1502finally {
1503 restoreStackSize(stackSize);
1504}
1505
1506rule__VLSInclude__Group_2__3__Impl
1507 @init {
1508 int stackSize = keepStackSize();
1509 }
1510:
1511(
1512 { before(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); }
1513 ']'
1514 { after(grammarAccess.getVLSIncludeAccess().getRightSquareBracketKeyword_2_3()); }
1515)
1516;
1517finally {
1518 restoreStackSize(stackSize);
1519}
1520
1521
1522rule__VLSInclude__Group_2_2__0
1523 @init {
1524 int stackSize = keepStackSize();
1525 }
1526:
1527 rule__VLSInclude__Group_2_2__0__Impl
1528 rule__VLSInclude__Group_2_2__1
1529;
1530finally {
1531 restoreStackSize(stackSize);
1532}
1533
1534rule__VLSInclude__Group_2_2__0__Impl
1535 @init {
1536 int stackSize = keepStackSize();
1537 }
1538:
1539(
1540 { before(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); }
1541 ','
1542 { after(grammarAccess.getVLSIncludeAccess().getCommaKeyword_2_2_0()); }
1543)
1544;
1545finally {
1546 restoreStackSize(stackSize);
1547}
1548
1549rule__VLSInclude__Group_2_2__1
1550 @init {
1551 int stackSize = keepStackSize();
1552 }
1553:
1554 rule__VLSInclude__Group_2_2__1__Impl
1555;
1556finally {
1557 restoreStackSize(stackSize);
1558}
1559
1560rule__VLSInclude__Group_2_2__1__Impl
1561 @init {
1562 int stackSize = keepStackSize();
1563 }
1564:
1565(
1566 { before(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); }
1567 (rule__VLSInclude__NamesAssignment_2_2_1)
1568 { after(grammarAccess.getVLSIncludeAccess().getNamesAssignment_2_2_1()); }
1569)
1570;
1571finally {
1572 restoreStackSize(stackSize);
1573}
1574
1575
1576rule__VLSComment__Group__0
1577 @init {
1578 int stackSize = keepStackSize();
1579 }
1580:
1581 rule__VLSComment__Group__0__Impl
1582 rule__VLSComment__Group__1
1583;
1584finally {
1585 restoreStackSize(stackSize);
1586}
1587
1588rule__VLSComment__Group__0__Impl
1589 @init {
1590 int stackSize = keepStackSize();
1591 }
1592:
1593(
1594 { before(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); }
1595 '%'
1596 { after(grammarAccess.getVLSCommentAccess().getPercentSignKeyword_0()); }
1597)
1598;
1599finally {
1600 restoreStackSize(stackSize);
1601}
1602
1603rule__VLSComment__Group__1
1604 @init {
1605 int stackSize = keepStackSize();
1606 }
1607:
1608 rule__VLSComment__Group__1__Impl
1609;
1610finally {
1611 restoreStackSize(stackSize);
1612}
1613
1614rule__VLSComment__Group__1__Impl
1615 @init {
1616 int stackSize = keepStackSize();
1617 }
1618:
1619(
1620 { before(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); }
1621 (rule__VLSComment__CommentAssignment_1)
1622 { after(grammarAccess.getVLSCommentAccess().getCommentAssignment_1()); }
1623)
1624;
1625finally {
1626 restoreStackSize(stackSize);
1627}
1628
1629
1630rule__VLSSatisfiable__Group__0
1631 @init {
1632 int stackSize = keepStackSize();
1633 }
1634:
1635 rule__VLSSatisfiable__Group__0__Impl
1636 rule__VLSSatisfiable__Group__1
1637;
1638finally {
1639 restoreStackSize(stackSize);
1640}
1641
1642rule__VLSSatisfiable__Group__0__Impl
1643 @init {
1644 int stackSize = keepStackSize();
1645 }
1646:
1647(
1648 { before(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); }
1649 ()
1650 { after(grammarAccess.getVLSSatisfiableAccess().getVLSSatisfiableAction_0()); }
1651)
1652;
1653finally {
1654 restoreStackSize(stackSize);
1655}
1656
1657rule__VLSSatisfiable__Group__1
1658 @init {
1659 int stackSize = keepStackSize();
1660 }
1661:
1662 rule__VLSSatisfiable__Group__1__Impl
1663;
1664finally {
1665 restoreStackSize(stackSize);
1666}
1667
1668rule__VLSSatisfiable__Group__1__Impl
1669 @init {
1670 int stackSize = keepStackSize();
1671 }
1672:
1673(
1674 { before(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); }
1675 'Satisfiable!'
1676 { after(grammarAccess.getVLSSatisfiableAccess().getSatisfiableKeyword_1()); }
1677)
1678;
1679finally {
1680 restoreStackSize(stackSize);
1681}
1682
1683
1684rule__VLSFofFormula__Group__0
1685 @init {
1686 int stackSize = keepStackSize();
1687 }
1688:
1689 rule__VLSFofFormula__Group__0__Impl
1690 rule__VLSFofFormula__Group__1
1691;
1692finally {
1693 restoreStackSize(stackSize);
1694}
1695
1696rule__VLSFofFormula__Group__0__Impl
1697 @init {
1698 int stackSize = keepStackSize();
1699 }
1700:
1701(
1702 { before(grammarAccess.getVLSFofFormulaAccess().getFofKeyword_0()); }
1703 'fof'
1704 { after(grammarAccess.getVLSFofFormulaAccess().getFofKeyword_0()); }
1705)
1706;
1707finally {
1708 restoreStackSize(stackSize);
1709}
1710
1711rule__VLSFofFormula__Group__1
1712 @init {
1713 int stackSize = keepStackSize();
1714 }
1715:
1716 rule__VLSFofFormula__Group__1__Impl
1717 rule__VLSFofFormula__Group__2
1718;
1719finally {
1720 restoreStackSize(stackSize);
1721}
1722
1723rule__VLSFofFormula__Group__1__Impl
1724 @init {
1725 int stackSize = keepStackSize();
1726 }
1727:
1728(
1729 { before(grammarAccess.getVLSFofFormulaAccess().getLeftParenthesisKeyword_1()); }
1730 '('
1731 { after(grammarAccess.getVLSFofFormulaAccess().getLeftParenthesisKeyword_1()); }
1732)
1733;
1734finally {
1735 restoreStackSize(stackSize);
1736}
1737
1738rule__VLSFofFormula__Group__2
1739 @init {
1740 int stackSize = keepStackSize();
1741 }
1742:
1743 rule__VLSFofFormula__Group__2__Impl
1744 rule__VLSFofFormula__Group__3
1745;
1746finally {
1747 restoreStackSize(stackSize);
1748}
1749
1750rule__VLSFofFormula__Group__2__Impl
1751 @init {
1752 int stackSize = keepStackSize();
1753 }
1754:
1755(
1756 { before(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2()); }
1757 (rule__VLSFofFormula__NameAssignment_2)
1758 { after(grammarAccess.getVLSFofFormulaAccess().getNameAssignment_2()); }
1759)
1760;
1761finally {
1762 restoreStackSize(stackSize);
1763}
1764
1765rule__VLSFofFormula__Group__3
1766 @init {
1767 int stackSize = keepStackSize();
1768 }
1769:
1770 rule__VLSFofFormula__Group__3__Impl
1771 rule__VLSFofFormula__Group__4
1772;
1773finally {
1774 restoreStackSize(stackSize);
1775}
1776
1777rule__VLSFofFormula__Group__3__Impl
1778 @init {
1779 int stackSize = keepStackSize();
1780 }
1781:
1782(
1783 { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_3()); }
1784 ','
1785 { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_3()); }
1786)
1787;
1788finally {
1789 restoreStackSize(stackSize);
1790}
1791
1792rule__VLSFofFormula__Group__4
1793 @init {
1794 int stackSize = keepStackSize();
1795 }
1796:
1797 rule__VLSFofFormula__Group__4__Impl
1798 rule__VLSFofFormula__Group__5
1799;
1800finally {
1801 restoreStackSize(stackSize);
1802}
1803
1804rule__VLSFofFormula__Group__4__Impl
1805 @init {
1806 int stackSize = keepStackSize();
1807 }
1808:
1809(
1810 { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4()); }
1811 (rule__VLSFofFormula__FofRoleAssignment_4)
1812 { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleAssignment_4()); }
1813)
1814;
1815finally {
1816 restoreStackSize(stackSize);
1817}
1818
1819rule__VLSFofFormula__Group__5
1820 @init {
1821 int stackSize = keepStackSize();
1822 }
1823:
1824 rule__VLSFofFormula__Group__5__Impl
1825 rule__VLSFofFormula__Group__6
1826;
1827finally {
1828 restoreStackSize(stackSize);
1829}
1830
1831rule__VLSFofFormula__Group__5__Impl
1832 @init {
1833 int stackSize = keepStackSize();
1834 }
1835:
1836(
1837 { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_5()); }
1838 ','
1839 { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_5()); }
1840)
1841;
1842finally {
1843 restoreStackSize(stackSize);
1844}
1845
1846rule__VLSFofFormula__Group__6
1847 @init {
1848 int stackSize = keepStackSize();
1849 }
1850:
1851 rule__VLSFofFormula__Group__6__Impl
1852 rule__VLSFofFormula__Group__7
1853;
1854finally {
1855 restoreStackSize(stackSize);
1856}
1857
1858rule__VLSFofFormula__Group__6__Impl
1859 @init {
1860 int stackSize = keepStackSize();
1861 }
1862:
1863(
1864 { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6()); }
1865 (rule__VLSFofFormula__FofFormulaAssignment_6)
1866 { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaAssignment_6()); }
1867)
1868;
1869finally {
1870 restoreStackSize(stackSize);
1871}
1872
1873rule__VLSFofFormula__Group__7
1874 @init {
1875 int stackSize = keepStackSize();
1876 }
1877:
1878 rule__VLSFofFormula__Group__7__Impl
1879 rule__VLSFofFormula__Group__8
1880;
1881finally {
1882 restoreStackSize(stackSize);
1883}
1884
1885rule__VLSFofFormula__Group__7__Impl
1886 @init {
1887 int stackSize = keepStackSize();
1888 }
1889:
1890(
1891 { before(grammarAccess.getVLSFofFormulaAccess().getGroup_7()); }
1892 (rule__VLSFofFormula__Group_7__0)?
1893 { after(grammarAccess.getVLSFofFormulaAccess().getGroup_7()); }
1894)
1895;
1896finally {
1897 restoreStackSize(stackSize);
1898}
1899
1900rule__VLSFofFormula__Group__8
1901 @init {
1902 int stackSize = keepStackSize();
1903 }
1904:
1905 rule__VLSFofFormula__Group__8__Impl
1906 rule__VLSFofFormula__Group__9
1907;
1908finally {
1909 restoreStackSize(stackSize);
1910}
1911
1912rule__VLSFofFormula__Group__8__Impl
1913 @init {
1914 int stackSize = keepStackSize();
1915 }
1916:
1917(
1918 { before(grammarAccess.getVLSFofFormulaAccess().getRightParenthesisKeyword_8()); }
1919 ')'
1920 { after(grammarAccess.getVLSFofFormulaAccess().getRightParenthesisKeyword_8()); }
1921)
1922;
1923finally {
1924 restoreStackSize(stackSize);
1925}
1926
1927rule__VLSFofFormula__Group__9
1928 @init {
1929 int stackSize = keepStackSize();
1930 }
1931:
1932 rule__VLSFofFormula__Group__9__Impl
1933;
1934finally {
1935 restoreStackSize(stackSize);
1936}
1937
1938rule__VLSFofFormula__Group__9__Impl
1939 @init {
1940 int stackSize = keepStackSize();
1941 }
1942:
1943(
1944 { before(grammarAccess.getVLSFofFormulaAccess().getFullStopKeyword_9()); }
1945 '.'
1946 { after(grammarAccess.getVLSFofFormulaAccess().getFullStopKeyword_9()); }
1947)
1948;
1949finally {
1950 restoreStackSize(stackSize);
1951}
1952
1953
1954rule__VLSFofFormula__Group_7__0
1955 @init {
1956 int stackSize = keepStackSize();
1957 }
1958:
1959 rule__VLSFofFormula__Group_7__0__Impl
1960 rule__VLSFofFormula__Group_7__1
1961;
1962finally {
1963 restoreStackSize(stackSize);
1964}
1965
1966rule__VLSFofFormula__Group_7__0__Impl
1967 @init {
1968 int stackSize = keepStackSize();
1969 }
1970:
1971(
1972 { before(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_7_0()); }
1973 ','
1974 { after(grammarAccess.getVLSFofFormulaAccess().getCommaKeyword_7_0()); }
1975)
1976;
1977finally {
1978 restoreStackSize(stackSize);
1979}
1980
1981rule__VLSFofFormula__Group_7__1
1982 @init {
1983 int stackSize = keepStackSize();
1984 }
1985:
1986 rule__VLSFofFormula__Group_7__1__Impl
1987;
1988finally {
1989 restoreStackSize(stackSize);
1990}
1991
1992rule__VLSFofFormula__Group_7__1__Impl
1993 @init {
1994 int stackSize = keepStackSize();
1995 }
1996:
1997(
1998 { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1()); }
1999 (rule__VLSFofFormula__AnnotationsAssignment_7_1)
2000 { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsAssignment_7_1()); }
2001)
2002;
2003finally {
2004 restoreStackSize(stackSize);
2005}
2006
2007
2008rule__VLSTffFormula__Group__0
2009 @init {
2010 int stackSize = keepStackSize();
2011 }
2012:
2013 rule__VLSTffFormula__Group__0__Impl
2014 rule__VLSTffFormula__Group__1
2015;
2016finally {
2017 restoreStackSize(stackSize);
2018}
2019
2020rule__VLSTffFormula__Group__0__Impl
2021 @init {
2022 int stackSize = keepStackSize();
2023 }
2024:
2025(
2026 { before(grammarAccess.getVLSTffFormulaAccess().getTffKeyword_0()); }
2027 'tff'
2028 { after(grammarAccess.getVLSTffFormulaAccess().getTffKeyword_0()); }
2029)
2030;
2031finally {
2032 restoreStackSize(stackSize);
2033}
2034
2035rule__VLSTffFormula__Group__1
2036 @init {
2037 int stackSize = keepStackSize();
2038 }
2039:
2040 rule__VLSTffFormula__Group__1__Impl
2041 rule__VLSTffFormula__Group__2
2042;
2043finally {
2044 restoreStackSize(stackSize);
2045}
2046
2047rule__VLSTffFormula__Group__1__Impl
2048 @init {
2049 int stackSize = keepStackSize();
2050 }
2051:
2052(
2053 { before(grammarAccess.getVLSTffFormulaAccess().getLeftParenthesisKeyword_1()); }
2054 '('
2055 { after(grammarAccess.getVLSTffFormulaAccess().getLeftParenthesisKeyword_1()); }
2056)
2057;
2058finally {
2059 restoreStackSize(stackSize);
2060}
2061
2062rule__VLSTffFormula__Group__2
2063 @init {
2064 int stackSize = keepStackSize();
2065 }
2066:
2067 rule__VLSTffFormula__Group__2__Impl
2068 rule__VLSTffFormula__Group__3
2069;
2070finally {
2071 restoreStackSize(stackSize);
2072}
2073
2074rule__VLSTffFormula__Group__2__Impl
2075 @init {
2076 int stackSize = keepStackSize();
2077 }
2078:
2079(
2080 { before(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2()); }
2081 (rule__VLSTffFormula__NameAssignment_2)
2082 { after(grammarAccess.getVLSTffFormulaAccess().getNameAssignment_2()); }
2083)
2084;
2085finally {
2086 restoreStackSize(stackSize);
2087}
2088
2089rule__VLSTffFormula__Group__3
2090 @init {
2091 int stackSize = keepStackSize();
2092 }
2093:
2094 rule__VLSTffFormula__Group__3__Impl
2095 rule__VLSTffFormula__Group__4
2096;
2097finally {
2098 restoreStackSize(stackSize);
2099}
2100
2101rule__VLSTffFormula__Group__3__Impl
2102 @init {
2103 int stackSize = keepStackSize();
2104 }
2105:
2106(
2107 { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_3()); }
2108 ','
2109 { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_3()); }
2110)
2111;
2112finally {
2113 restoreStackSize(stackSize);
2114}
2115
2116rule__VLSTffFormula__Group__4
2117 @init {
2118 int stackSize = keepStackSize();
2119 }
2120:
2121 rule__VLSTffFormula__Group__4__Impl
2122 rule__VLSTffFormula__Group__5
2123;
2124finally {
2125 restoreStackSize(stackSize);
2126}
2127
2128rule__VLSTffFormula__Group__4__Impl
2129 @init {
2130 int stackSize = keepStackSize();
2131 }
2132:
2133(
2134 { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); }
2135 (rule__VLSTffFormula__FofRoleAssignment_4)
2136 { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleAssignment_4()); }
2137)
2138;
2139finally {
2140 restoreStackSize(stackSize);
2141}
2142
2143rule__VLSTffFormula__Group__5
2144 @init {
2145 int stackSize = keepStackSize();
2146 }
2147:
2148 rule__VLSTffFormula__Group__5__Impl
2149 rule__VLSTffFormula__Group__6
2150;
2151finally {
2152 restoreStackSize(stackSize);
2153}
2154
2155rule__VLSTffFormula__Group__5__Impl
2156 @init {
2157 int stackSize = keepStackSize();
2158 }
2159:
2160(
2161 { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_5()); }
2162 ','
2163 { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_5()); }
2164)
2165;
2166finally {
2167 restoreStackSize(stackSize);
2168}
2169
2170rule__VLSTffFormula__Group__6
2171 @init {
2172 int stackSize = keepStackSize();
2173 }
2174:
2175 rule__VLSTffFormula__Group__6__Impl
2176 rule__VLSTffFormula__Group__7
2177;
2178finally {
2179 restoreStackSize(stackSize);
2180}
2181
2182rule__VLSTffFormula__Group__6__Impl
2183 @init {
2184 int stackSize = keepStackSize();
2185 }
2186:
2187(
2188 { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6()); }
2189 (rule__VLSTffFormula__FofFormulaAssignment_6)
2190 { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaAssignment_6()); }
2191)
2192;
2193finally {
2194 restoreStackSize(stackSize);
2195}
2196
2197rule__VLSTffFormula__Group__7
2198 @init {
2199 int stackSize = keepStackSize();
2200 }
2201:
2202 rule__VLSTffFormula__Group__7__Impl
2203 rule__VLSTffFormula__Group__8
2204;
2205finally {
2206 restoreStackSize(stackSize);
2207}
2208
2209rule__VLSTffFormula__Group__7__Impl
2210 @init {
2211 int stackSize = keepStackSize();
2212 }
2213:
2214(
2215 { before(grammarAccess.getVLSTffFormulaAccess().getGroup_7()); }
2216 (rule__VLSTffFormula__Group_7__0)?
2217 { after(grammarAccess.getVLSTffFormulaAccess().getGroup_7()); }
2218)
2219;
2220finally {
2221 restoreStackSize(stackSize);
2222}
2223
2224rule__VLSTffFormula__Group__8
2225 @init {
2226 int stackSize = keepStackSize();
2227 }
2228:
2229 rule__VLSTffFormula__Group__8__Impl
2230 rule__VLSTffFormula__Group__9
2231;
2232finally {
2233 restoreStackSize(stackSize);
2234}
2235
2236rule__VLSTffFormula__Group__8__Impl
2237 @init {
2238 int stackSize = keepStackSize();
2239 }
2240:
2241(
2242 { before(grammarAccess.getVLSTffFormulaAccess().getRightParenthesisKeyword_8()); }
2243 ')'
2244 { after(grammarAccess.getVLSTffFormulaAccess().getRightParenthesisKeyword_8()); }
2245)
2246;
2247finally {
2248 restoreStackSize(stackSize);
2249}
2250
2251rule__VLSTffFormula__Group__9
2252 @init {
2253 int stackSize = keepStackSize();
2254 }
2255:
2256 rule__VLSTffFormula__Group__9__Impl
2257;
2258finally {
2259 restoreStackSize(stackSize);
2260}
2261
2262rule__VLSTffFormula__Group__9__Impl
2263 @init {
2264 int stackSize = keepStackSize();
2265 }
2266:
2267(
2268 { before(grammarAccess.getVLSTffFormulaAccess().getFullStopKeyword_9()); }
2269 '.'
2270 { after(grammarAccess.getVLSTffFormulaAccess().getFullStopKeyword_9()); }
2271)
2272;
2273finally {
2274 restoreStackSize(stackSize);
2275}
2276
2277
2278rule__VLSTffFormula__Group_7__0
2279 @init {
2280 int stackSize = keepStackSize();
2281 }
2282:
2283 rule__VLSTffFormula__Group_7__0__Impl
2284 rule__VLSTffFormula__Group_7__1
2285;
2286finally {
2287 restoreStackSize(stackSize);
2288}
2289
2290rule__VLSTffFormula__Group_7__0__Impl
2291 @init {
2292 int stackSize = keepStackSize();
2293 }
2294:
2295(
2296 { before(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_7_0()); }
2297 ','
2298 { after(grammarAccess.getVLSTffFormulaAccess().getCommaKeyword_7_0()); }
2299)
2300;
2301finally {
2302 restoreStackSize(stackSize);
2303}
2304
2305rule__VLSTffFormula__Group_7__1
2306 @init {
2307 int stackSize = keepStackSize();
2308 }
2309:
2310 rule__VLSTffFormula__Group_7__1__Impl
2311;
2312finally {
2313 restoreStackSize(stackSize);
2314}
2315
2316rule__VLSTffFormula__Group_7__1__Impl
2317 @init {
2318 int stackSize = keepStackSize();
2319 }
2320:
2321(
2322 { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1()); }
2323 (rule__VLSTffFormula__AnnotationsAssignment_7_1)
2324 { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsAssignment_7_1()); }
2325)
2326;
2327finally {
2328 restoreStackSize(stackSize);
2329}
2330
2331
2332rule__VLSAnnotation__Group__0
2333 @init {
2334 int stackSize = keepStackSize();
2335 }
2336:
2337 rule__VLSAnnotation__Group__0__Impl
2338 rule__VLSAnnotation__Group__1
2339;
2340finally {
2341 restoreStackSize(stackSize);
2342}
2343
2344rule__VLSAnnotation__Group__0__Impl
2345 @init {
2346 int stackSize = keepStackSize();
2347 }
2348:
2349(
2350 { before(grammarAccess.getVLSAnnotationAccess().getLeftSquareBracketKeyword_0()); }
2351 ('[')?
2352 { after(grammarAccess.getVLSAnnotationAccess().getLeftSquareBracketKeyword_0()); }
2353)
2354;
2355finally {
2356 restoreStackSize(stackSize);
2357}
2358
2359rule__VLSAnnotation__Group__1
2360 @init {
2361 int stackSize = keepStackSize();
2362 }
2363:
2364 rule__VLSAnnotation__Group__1__Impl
2365 rule__VLSAnnotation__Group__2
2366;
2367finally {
2368 restoreStackSize(stackSize);
2369}
2370
2371rule__VLSAnnotation__Group__1__Impl
2372 @init {
2373 int stackSize = keepStackSize();
2374 }
2375:
2376(
2377 { before(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1()); }
2378 (rule__VLSAnnotation__NameAssignment_1)?
2379 { after(grammarAccess.getVLSAnnotationAccess().getNameAssignment_1()); }
2380)
2381;
2382finally {
2383 restoreStackSize(stackSize);
2384}
2385
2386rule__VLSAnnotation__Group__2
2387 @init {
2388 int stackSize = keepStackSize();
2389 }
2390:
2391 rule__VLSAnnotation__Group__2__Impl
2392 rule__VLSAnnotation__Group__3
2393;
2394finally {
2395 restoreStackSize(stackSize);
2396}
2397
2398rule__VLSAnnotation__Group__2__Impl
2399 @init {
2400 int stackSize = keepStackSize();
2401 }
2402:
2403(
2404 { before(grammarAccess.getVLSAnnotationAccess().getGroup_2()); }
2405 (rule__VLSAnnotation__Group_2__0)?
2406 { after(grammarAccess.getVLSAnnotationAccess().getGroup_2()); }
2407)
2408;
2409finally {
2410 restoreStackSize(stackSize);
2411}
2412
2413rule__VLSAnnotation__Group__3
2414 @init {
2415 int stackSize = keepStackSize();
2416 }
2417:
2418 rule__VLSAnnotation__Group__3__Impl
2419;
2420finally {
2421 restoreStackSize(stackSize);
2422}
2423
2424rule__VLSAnnotation__Group__3__Impl
2425 @init {
2426 int stackSize = keepStackSize();
2427 }
2428:
2429(
2430 { before(grammarAccess.getVLSAnnotationAccess().getRightSquareBracketKeyword_3()); }
2431 (']')?
2432 { after(grammarAccess.getVLSAnnotationAccess().getRightSquareBracketKeyword_3()); }
2433)
2434;
2435finally {
2436 restoreStackSize(stackSize);
2437}
2438
2439
2440rule__VLSAnnotation__Group_2__0
2441 @init {
2442 int stackSize = keepStackSize();
2443 }
2444:
2445 rule__VLSAnnotation__Group_2__0__Impl
2446 rule__VLSAnnotation__Group_2__1
2447;
2448finally {
2449 restoreStackSize(stackSize);
2450}
2451
2452rule__VLSAnnotation__Group_2__0__Impl
2453 @init {
2454 int stackSize = keepStackSize();
2455 }
2456:
2457(
2458 { before(grammarAccess.getVLSAnnotationAccess().getLeftParenthesisKeyword_2_0()); }
2459 '('
2460 { after(grammarAccess.getVLSAnnotationAccess().getLeftParenthesisKeyword_2_0()); }
2461)
2462;
2463finally {
2464 restoreStackSize(stackSize);
2465}
2466
2467rule__VLSAnnotation__Group_2__1
2468 @init {
2469 int stackSize = keepStackSize();
2470 }
2471:
2472 rule__VLSAnnotation__Group_2__1__Impl
2473 rule__VLSAnnotation__Group_2__2
2474;
2475finally {
2476 restoreStackSize(stackSize);
2477}
2478
2479rule__VLSAnnotation__Group_2__1__Impl
2480 @init {
2481 int stackSize = keepStackSize();
2482 }
2483:
2484(
2485 { before(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1()); }
2486 (rule__VLSAnnotation__FollowupAssignment_2_1)
2487 { after(grammarAccess.getVLSAnnotationAccess().getFollowupAssignment_2_1()); }
2488)
2489;
2490finally {
2491 restoreStackSize(stackSize);
2492}
2493
2494rule__VLSAnnotation__Group_2__2
2495 @init {
2496 int stackSize = keepStackSize();
2497 }
2498:
2499 rule__VLSAnnotation__Group_2__2__Impl
2500;
2501finally {
2502 restoreStackSize(stackSize);
2503}
2504
2505rule__VLSAnnotation__Group_2__2__Impl
2506 @init {
2507 int stackSize = keepStackSize();
2508 }
2509:
2510(
2511 { before(grammarAccess.getVLSAnnotationAccess().getRightParenthesisKeyword_2_2()); }
2512 ')'
2513 { after(grammarAccess.getVLSAnnotationAccess().getRightParenthesisKeyword_2_2()); }
2514)
2515;
2516finally {
2517 restoreStackSize(stackSize);
2518}
2519
2520
2521rule__VLSAnnotationTerms__Group__0
2522 @init {
2523 int stackSize = keepStackSize();
2524 }
2525:
2526 rule__VLSAnnotationTerms__Group__0__Impl
2527 rule__VLSAnnotationTerms__Group__1
2528;
2529finally {
2530 restoreStackSize(stackSize);
2531}
2532
2533rule__VLSAnnotationTerms__Group__0__Impl
2534 @init {
2535 int stackSize = keepStackSize();
2536 }
2537:
2538(
2539 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0()); }
2540 (rule__VLSAnnotationTerms__TermsAssignment_0)
2541 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_0()); }
2542)
2543;
2544finally {
2545 restoreStackSize(stackSize);
2546}
2547
2548rule__VLSAnnotationTerms__Group__1
2549 @init {
2550 int stackSize = keepStackSize();
2551 }
2552:
2553 rule__VLSAnnotationTerms__Group__1__Impl
2554;
2555finally {
2556 restoreStackSize(stackSize);
2557}
2558
2559rule__VLSAnnotationTerms__Group__1__Impl
2560 @init {
2561 int stackSize = keepStackSize();
2562 }
2563:
2564(
2565 { before(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1()); }
2566 (rule__VLSAnnotationTerms__Group_1__0)*
2567 { after(grammarAccess.getVLSAnnotationTermsAccess().getGroup_1()); }
2568)
2569;
2570finally {
2571 restoreStackSize(stackSize);
2572}
2573
2574
2575rule__VLSAnnotationTerms__Group_1__0
2576 @init {
2577 int stackSize = keepStackSize();
2578 }
2579:
2580 rule__VLSAnnotationTerms__Group_1__0__Impl
2581 rule__VLSAnnotationTerms__Group_1__1
2582;
2583finally {
2584 restoreStackSize(stackSize);
2585}
2586
2587rule__VLSAnnotationTerms__Group_1__0__Impl
2588 @init {
2589 int stackSize = keepStackSize();
2590 }
2591:
2592(
2593 { before(grammarAccess.getVLSAnnotationTermsAccess().getCommaKeyword_1_0()); }
2594 ','
2595 { after(grammarAccess.getVLSAnnotationTermsAccess().getCommaKeyword_1_0()); }
2596)
2597;
2598finally {
2599 restoreStackSize(stackSize);
2600}
2601
2602rule__VLSAnnotationTerms__Group_1__1
2603 @init {
2604 int stackSize = keepStackSize();
2605 }
2606:
2607 rule__VLSAnnotationTerms__Group_1__1__Impl
2608;
2609finally {
2610 restoreStackSize(stackSize);
2611}
2612
2613rule__VLSAnnotationTerms__Group_1__1__Impl
2614 @init {
2615 int stackSize = keepStackSize();
2616 }
2617:
2618(
2619 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1()); }
2620 (rule__VLSAnnotationTerms__TermsAssignment_1_1)
2621 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsAssignment_1_1()); }
2622)
2623;
2624finally {
2625 restoreStackSize(stackSize);
2626}
2627
2628
2629rule__VLSBinary__Group__0
2630 @init {
2631 int stackSize = keepStackSize();
2632 }
2633:
2634 rule__VLSBinary__Group__0__Impl
2635 rule__VLSBinary__Group__1
2636;
2637finally {
2638 restoreStackSize(stackSize);
2639}
2640
2641rule__VLSBinary__Group__0__Impl
2642 @init {
2643 int stackSize = keepStackSize();
2644 }
2645:
2646(
2647 { before(grammarAccess.getVLSBinaryAccess().getVLSUnitaryFormulaParserRuleCall_0()); }
2648 ruleVLSUnitaryFormula
2649 { after(grammarAccess.getVLSBinaryAccess().getVLSUnitaryFormulaParserRuleCall_0()); }
2650)
2651;
2652finally {
2653 restoreStackSize(stackSize);
2654}
2655
2656rule__VLSBinary__Group__1
2657 @init {
2658 int stackSize = keepStackSize();
2659 }
2660:
2661 rule__VLSBinary__Group__1__Impl
2662;
2663finally {
2664 restoreStackSize(stackSize);
2665}
2666
2667rule__VLSBinary__Group__1__Impl
2668 @init {
2669 int stackSize = keepStackSize();
2670 }
2671:
2672(
2673 { before(grammarAccess.getVLSBinaryAccess().getAlternatives_1()); }
2674 (rule__VLSBinary__Alternatives_1)?
2675 { after(grammarAccess.getVLSBinaryAccess().getAlternatives_1()); }
2676)
2677;
2678finally {
2679 restoreStackSize(stackSize);
2680}
2681
2682
2683rule__VLSBinary__Group_1_0__0
2684 @init {
2685 int stackSize = keepStackSize();
2686 }
2687:
2688 rule__VLSBinary__Group_1_0__0__Impl
2689 rule__VLSBinary__Group_1_0__1
2690;
2691finally {
2692 restoreStackSize(stackSize);
2693}
2694
2695rule__VLSBinary__Group_1_0__0__Impl
2696 @init {
2697 int stackSize = keepStackSize();
2698 }
2699:
2700(
2701 { before(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0()); }
2702 (rule__VLSBinary__Alternatives_1_0_0)
2703 { after(grammarAccess.getVLSBinaryAccess().getAlternatives_1_0_0()); }
2704)
2705;
2706finally {
2707 restoreStackSize(stackSize);
2708}
2709
2710rule__VLSBinary__Group_1_0__1
2711 @init {
2712 int stackSize = keepStackSize();
2713 }
2714:
2715 rule__VLSBinary__Group_1_0__1__Impl
2716;
2717finally {
2718 restoreStackSize(stackSize);
2719}
2720
2721rule__VLSBinary__Group_1_0__1__Impl
2722 @init {
2723 int stackSize = keepStackSize();
2724 }
2725:
2726(
2727 { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1()); }
2728 (rule__VLSBinary__RightAssignment_1_0_1)
2729 { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_0_1()); }
2730)
2731;
2732finally {
2733 restoreStackSize(stackSize);
2734}
2735
2736
2737rule__VLSBinary__Group_1_0_0_0__0
2738 @init {
2739 int stackSize = keepStackSize();
2740 }
2741:
2742 rule__VLSBinary__Group_1_0_0_0__0__Impl
2743 rule__VLSBinary__Group_1_0_0_0__1
2744;
2745finally {
2746 restoreStackSize(stackSize);
2747}
2748
2749rule__VLSBinary__Group_1_0_0_0__0__Impl
2750 @init {
2751 int stackSize = keepStackSize();
2752 }
2753:
2754(
2755 { before(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()); }
2756 ()
2757 { after(grammarAccess.getVLSBinaryAccess().getVLSEquivalentLeftAction_1_0_0_0_0()); }
2758)
2759;
2760finally {
2761 restoreStackSize(stackSize);
2762}
2763
2764rule__VLSBinary__Group_1_0_0_0__1
2765 @init {
2766 int stackSize = keepStackSize();
2767 }
2768:
2769 rule__VLSBinary__Group_1_0_0_0__1__Impl
2770;
2771finally {
2772 restoreStackSize(stackSize);
2773}
2774
2775rule__VLSBinary__Group_1_0_0_0__1__Impl
2776 @init {
2777 int stackSize = keepStackSize();
2778 }
2779:
2780(
2781 { before(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1()); }
2782 '<=>'
2783 { after(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignGreaterThanSignKeyword_1_0_0_0_1()); }
2784)
2785;
2786finally {
2787 restoreStackSize(stackSize);
2788}
2789
2790
2791rule__VLSBinary__Group_1_0_0_1__0
2792 @init {
2793 int stackSize = keepStackSize();
2794 }
2795:
2796 rule__VLSBinary__Group_1_0_0_1__0__Impl
2797 rule__VLSBinary__Group_1_0_0_1__1
2798;
2799finally {
2800 restoreStackSize(stackSize);
2801}
2802
2803rule__VLSBinary__Group_1_0_0_1__0__Impl
2804 @init {
2805 int stackSize = keepStackSize();
2806 }
2807:
2808(
2809 { before(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()); }
2810 ()
2811 { after(grammarAccess.getVLSBinaryAccess().getVLSImpliesLeftAction_1_0_0_1_0()); }
2812)
2813;
2814finally {
2815 restoreStackSize(stackSize);
2816}
2817
2818rule__VLSBinary__Group_1_0_0_1__1
2819 @init {
2820 int stackSize = keepStackSize();
2821 }
2822:
2823 rule__VLSBinary__Group_1_0_0_1__1__Impl
2824;
2825finally {
2826 restoreStackSize(stackSize);
2827}
2828
2829rule__VLSBinary__Group_1_0_0_1__1__Impl
2830 @init {
2831 int stackSize = keepStackSize();
2832 }
2833:
2834(
2835 { before(grammarAccess.getVLSBinaryAccess().getEqualsSignGreaterThanSignKeyword_1_0_0_1_1()); }
2836 '=>'
2837 { after(grammarAccess.getVLSBinaryAccess().getEqualsSignGreaterThanSignKeyword_1_0_0_1_1()); }
2838)
2839;
2840finally {
2841 restoreStackSize(stackSize);
2842}
2843
2844
2845rule__VLSBinary__Group_1_0_0_2__0
2846 @init {
2847 int stackSize = keepStackSize();
2848 }
2849:
2850 rule__VLSBinary__Group_1_0_0_2__0__Impl
2851 rule__VLSBinary__Group_1_0_0_2__1
2852;
2853finally {
2854 restoreStackSize(stackSize);
2855}
2856
2857rule__VLSBinary__Group_1_0_0_2__0__Impl
2858 @init {
2859 int stackSize = keepStackSize();
2860 }
2861:
2862(
2863 { before(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()); }
2864 ()
2865 { after(grammarAccess.getVLSBinaryAccess().getVLSRevImpliesLeftAction_1_0_0_2_0()); }
2866)
2867;
2868finally {
2869 restoreStackSize(stackSize);
2870}
2871
2872rule__VLSBinary__Group_1_0_0_2__1
2873 @init {
2874 int stackSize = keepStackSize();
2875 }
2876:
2877 rule__VLSBinary__Group_1_0_0_2__1__Impl
2878;
2879finally {
2880 restoreStackSize(stackSize);
2881}
2882
2883rule__VLSBinary__Group_1_0_0_2__1__Impl
2884 @init {
2885 int stackSize = keepStackSize();
2886 }
2887:
2888(
2889 { before(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignKeyword_1_0_0_2_1()); }
2890 '<='
2891 { after(grammarAccess.getVLSBinaryAccess().getLessThanSignEqualsSignKeyword_1_0_0_2_1()); }
2892)
2893;
2894finally {
2895 restoreStackSize(stackSize);
2896}
2897
2898
2899rule__VLSBinary__Group_1_0_0_3__0
2900 @init {
2901 int stackSize = keepStackSize();
2902 }
2903:
2904 rule__VLSBinary__Group_1_0_0_3__0__Impl
2905 rule__VLSBinary__Group_1_0_0_3__1
2906;
2907finally {
2908 restoreStackSize(stackSize);
2909}
2910
2911rule__VLSBinary__Group_1_0_0_3__0__Impl
2912 @init {
2913 int stackSize = keepStackSize();
2914 }
2915:
2916(
2917 { before(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()); }
2918 ()
2919 { after(grammarAccess.getVLSBinaryAccess().getVLSXnorLeftAction_1_0_0_3_0()); }
2920)
2921;
2922finally {
2923 restoreStackSize(stackSize);
2924}
2925
2926rule__VLSBinary__Group_1_0_0_3__1
2927 @init {
2928 int stackSize = keepStackSize();
2929 }
2930:
2931 rule__VLSBinary__Group_1_0_0_3__1__Impl
2932;
2933finally {
2934 restoreStackSize(stackSize);
2935}
2936
2937rule__VLSBinary__Group_1_0_0_3__1__Impl
2938 @init {
2939 int stackSize = keepStackSize();
2940 }
2941:
2942(
2943 { before(grammarAccess.getVLSBinaryAccess().getLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1()); }
2944 '<~>'
2945 { after(grammarAccess.getVLSBinaryAccess().getLessThanSignTildeGreaterThanSignKeyword_1_0_0_3_1()); }
2946)
2947;
2948finally {
2949 restoreStackSize(stackSize);
2950}
2951
2952
2953rule__VLSBinary__Group_1_0_0_4__0
2954 @init {
2955 int stackSize = keepStackSize();
2956 }
2957:
2958 rule__VLSBinary__Group_1_0_0_4__0__Impl
2959 rule__VLSBinary__Group_1_0_0_4__1
2960;
2961finally {
2962 restoreStackSize(stackSize);
2963}
2964
2965rule__VLSBinary__Group_1_0_0_4__0__Impl
2966 @init {
2967 int stackSize = keepStackSize();
2968 }
2969:
2970(
2971 { before(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()); }
2972 ()
2973 { after(grammarAccess.getVLSBinaryAccess().getVLSNorLeftAction_1_0_0_4_0()); }
2974)
2975;
2976finally {
2977 restoreStackSize(stackSize);
2978}
2979
2980rule__VLSBinary__Group_1_0_0_4__1
2981 @init {
2982 int stackSize = keepStackSize();
2983 }
2984:
2985 rule__VLSBinary__Group_1_0_0_4__1__Impl
2986;
2987finally {
2988 restoreStackSize(stackSize);
2989}
2990
2991rule__VLSBinary__Group_1_0_0_4__1__Impl
2992 @init {
2993 int stackSize = keepStackSize();
2994 }
2995:
2996(
2997 { before(grammarAccess.getVLSBinaryAccess().getTildeVerticalLineKeyword_1_0_0_4_1()); }
2998 '~|'
2999 { after(grammarAccess.getVLSBinaryAccess().getTildeVerticalLineKeyword_1_0_0_4_1()); }
3000)
3001;
3002finally {
3003 restoreStackSize(stackSize);
3004}
3005
3006
3007rule__VLSBinary__Group_1_0_0_5__0
3008 @init {
3009 int stackSize = keepStackSize();
3010 }
3011:
3012 rule__VLSBinary__Group_1_0_0_5__0__Impl
3013 rule__VLSBinary__Group_1_0_0_5__1
3014;
3015finally {
3016 restoreStackSize(stackSize);
3017}
3018
3019rule__VLSBinary__Group_1_0_0_5__0__Impl
3020 @init {
3021 int stackSize = keepStackSize();
3022 }
3023:
3024(
3025 { before(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()); }
3026 ()
3027 { after(grammarAccess.getVLSBinaryAccess().getVLSNandLeftAction_1_0_0_5_0()); }
3028)
3029;
3030finally {
3031 restoreStackSize(stackSize);
3032}
3033
3034rule__VLSBinary__Group_1_0_0_5__1
3035 @init {
3036 int stackSize = keepStackSize();
3037 }
3038:
3039 rule__VLSBinary__Group_1_0_0_5__1__Impl
3040;
3041finally {
3042 restoreStackSize(stackSize);
3043}
3044
3045rule__VLSBinary__Group_1_0_0_5__1__Impl
3046 @init {
3047 int stackSize = keepStackSize();
3048 }
3049:
3050(
3051 { before(grammarAccess.getVLSBinaryAccess().getTildeAmpersandKeyword_1_0_0_5_1()); }
3052 '~&'
3053 { after(grammarAccess.getVLSBinaryAccess().getTildeAmpersandKeyword_1_0_0_5_1()); }
3054)
3055;
3056finally {
3057 restoreStackSize(stackSize);
3058}
3059
3060
3061rule__VLSBinary__Group_1_1__0
3062 @init {
3063 int stackSize = keepStackSize();
3064 }
3065:
3066 rule__VLSBinary__Group_1_1__0__Impl
3067 rule__VLSBinary__Group_1_1__1
3068;
3069finally {
3070 restoreStackSize(stackSize);
3071}
3072
3073rule__VLSBinary__Group_1_1__0__Impl
3074 @init {
3075 int stackSize = keepStackSize();
3076 }
3077:
3078(
3079 { before(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()); }
3080 ()
3081 { after(grammarAccess.getVLSBinaryAccess().getVLSAndLeftAction_1_1_0()); }
3082)
3083;
3084finally {
3085 restoreStackSize(stackSize);
3086}
3087
3088rule__VLSBinary__Group_1_1__1
3089 @init {
3090 int stackSize = keepStackSize();
3091 }
3092:
3093 rule__VLSBinary__Group_1_1__1__Impl
3094 rule__VLSBinary__Group_1_1__2
3095;
3096finally {
3097 restoreStackSize(stackSize);
3098}
3099
3100rule__VLSBinary__Group_1_1__1__Impl
3101 @init {
3102 int stackSize = keepStackSize();
3103 }
3104:
3105(
3106 { before(grammarAccess.getVLSBinaryAccess().getAmpersandKeyword_1_1_1()); }
3107 '&'
3108 { after(grammarAccess.getVLSBinaryAccess().getAmpersandKeyword_1_1_1()); }
3109)
3110;
3111finally {
3112 restoreStackSize(stackSize);
3113}
3114
3115rule__VLSBinary__Group_1_1__2
3116 @init {
3117 int stackSize = keepStackSize();
3118 }
3119:
3120 rule__VLSBinary__Group_1_1__2__Impl
3121;
3122finally {
3123 restoreStackSize(stackSize);
3124}
3125
3126rule__VLSBinary__Group_1_1__2__Impl
3127 @init {
3128 int stackSize = keepStackSize();
3129 }
3130:
3131(
3132 { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2()); }
3133 (rule__VLSBinary__RightAssignment_1_1_2)
3134 { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_1_2()); }
3135)
3136;
3137finally {
3138 restoreStackSize(stackSize);
3139}
3140
3141
3142rule__VLSBinary__Group_1_2__0
3143 @init {
3144 int stackSize = keepStackSize();
3145 }
3146:
3147 rule__VLSBinary__Group_1_2__0__Impl
3148 rule__VLSBinary__Group_1_2__1
3149;
3150finally {
3151 restoreStackSize(stackSize);
3152}
3153
3154rule__VLSBinary__Group_1_2__0__Impl
3155 @init {
3156 int stackSize = keepStackSize();
3157 }
3158:
3159(
3160 { before(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()); }
3161 ()
3162 { after(grammarAccess.getVLSBinaryAccess().getVLSOrLeftAction_1_2_0()); }
3163)
3164;
3165finally {
3166 restoreStackSize(stackSize);
3167}
3168
3169rule__VLSBinary__Group_1_2__1
3170 @init {
3171 int stackSize = keepStackSize();
3172 }
3173:
3174 rule__VLSBinary__Group_1_2__1__Impl
3175 rule__VLSBinary__Group_1_2__2
3176;
3177finally {
3178 restoreStackSize(stackSize);
3179}
3180
3181rule__VLSBinary__Group_1_2__1__Impl
3182 @init {
3183 int stackSize = keepStackSize();
3184 }
3185:
3186(
3187 { before(grammarAccess.getVLSBinaryAccess().getVerticalLineKeyword_1_2_1()); }
3188 '|'
3189 { after(grammarAccess.getVLSBinaryAccess().getVerticalLineKeyword_1_2_1()); }
3190)
3191;
3192finally {
3193 restoreStackSize(stackSize);
3194}
3195
3196rule__VLSBinary__Group_1_2__2
3197 @init {
3198 int stackSize = keepStackSize();
3199 }
3200:
3201 rule__VLSBinary__Group_1_2__2__Impl
3202;
3203finally {
3204 restoreStackSize(stackSize);
3205}
3206
3207rule__VLSBinary__Group_1_2__2__Impl
3208 @init {
3209 int stackSize = keepStackSize();
3210 }
3211:
3212(
3213 { before(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2()); }
3214 (rule__VLSBinary__RightAssignment_1_2_2)
3215 { after(grammarAccess.getVLSBinaryAccess().getRightAssignment_1_2_2()); }
3216)
3217;
3218finally {
3219 restoreStackSize(stackSize);
3220}
3221
3222
3223rule__VLSUnitaryFormula__Group_4__0
3224 @init {
3225 int stackSize = keepStackSize();
3226 }
3227:
3228 rule__VLSUnitaryFormula__Group_4__0__Impl
3229 rule__VLSUnitaryFormula__Group_4__1
3230;
3231finally {
3232 restoreStackSize(stackSize);
3233}
3234
3235rule__VLSUnitaryFormula__Group_4__0__Impl
3236 @init {
3237 int stackSize = keepStackSize();
3238 }
3239:
3240(
3241 { before(grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0()); }
3242 '('
3243 { after(grammarAccess.getVLSUnitaryFormulaAccess().getLeftParenthesisKeyword_4_0()); }
3244)
3245;
3246finally {
3247 restoreStackSize(stackSize);
3248}
3249
3250rule__VLSUnitaryFormula__Group_4__1
3251 @init {
3252 int stackSize = keepStackSize();
3253 }
3254:
3255 rule__VLSUnitaryFormula__Group_4__1__Impl
3256 rule__VLSUnitaryFormula__Group_4__2
3257;
3258finally {
3259 restoreStackSize(stackSize);
3260}
3261
3262rule__VLSUnitaryFormula__Group_4__1__Impl
3263 @init {
3264 int stackSize = keepStackSize();
3265 }
3266:
3267(
3268 { before(grammarAccess.getVLSUnitaryFormulaAccess().getVLSTermParserRuleCall_4_1()); }
3269 ruleVLSTerm
3270 { after(grammarAccess.getVLSUnitaryFormulaAccess().getVLSTermParserRuleCall_4_1()); }
3271)
3272;
3273finally {
3274 restoreStackSize(stackSize);
3275}
3276
3277rule__VLSUnitaryFormula__Group_4__2
3278 @init {
3279 int stackSize = keepStackSize();
3280 }
3281:
3282 rule__VLSUnitaryFormula__Group_4__2__Impl
3283;
3284finally {
3285 restoreStackSize(stackSize);
3286}
3287
3288rule__VLSUnitaryFormula__Group_4__2__Impl
3289 @init {
3290 int stackSize = keepStackSize();
3291 }
3292:
3293(
3294 { before(grammarAccess.getVLSUnitaryFormulaAccess().getRightParenthesisKeyword_4_2()); }
3295 ')'
3296 { after(grammarAccess.getVLSUnitaryFormulaAccess().getRightParenthesisKeyword_4_2()); }
3297)
3298;
3299finally {
3300 restoreStackSize(stackSize);
3301}
3302
3303
3304rule__VLSUniversalQuantifier__Group__0
3305 @init {
3306 int stackSize = keepStackSize();
3307 }
3308:
3309 rule__VLSUniversalQuantifier__Group__0__Impl
3310 rule__VLSUniversalQuantifier__Group__1
3311;
3312finally {
3313 restoreStackSize(stackSize);
3314}
3315
3316rule__VLSUniversalQuantifier__Group__0__Impl
3317 @init {
3318 int stackSize = keepStackSize();
3319 }
3320:
3321(
3322 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVLSUniversalQuantifierAction_0()); }
3323 ()
3324 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVLSUniversalQuantifierAction_0()); }
3325)
3326;
3327finally {
3328 restoreStackSize(stackSize);
3329}
3330
3331rule__VLSUniversalQuantifier__Group__1
3332 @init {
3333 int stackSize = keepStackSize();
3334 }
3335:
3336 rule__VLSUniversalQuantifier__Group__1__Impl
3337 rule__VLSUniversalQuantifier__Group__2
3338;
3339finally {
3340 restoreStackSize(stackSize);
3341}
3342
3343rule__VLSUniversalQuantifier__Group__1__Impl
3344 @init {
3345 int stackSize = keepStackSize();
3346 }
3347:
3348(
3349 { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1()); }
3350 (rule__VLSUniversalQuantifier__Group_1__0)
3351 { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1()); }
3352)
3353;
3354finally {
3355 restoreStackSize(stackSize);
3356}
3357
3358rule__VLSUniversalQuantifier__Group__2
3359 @init {
3360 int stackSize = keepStackSize();
3361 }
3362:
3363 rule__VLSUniversalQuantifier__Group__2__Impl
3364;
3365finally {
3366 restoreStackSize(stackSize);
3367}
3368
3369rule__VLSUniversalQuantifier__Group__2__Impl
3370 @init {
3371 int stackSize = keepStackSize();
3372 }
3373:
3374(
3375 { before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2()); }
3376 (rule__VLSUniversalQuantifier__OperandAssignment_2)
3377 { after(grammarAccess.getVLSUniversalQuantifierAccess().getOperandAssignment_2()); }
3378)
3379;
3380finally {
3381 restoreStackSize(stackSize);
3382}
3383
3384
3385rule__VLSUniversalQuantifier__Group_1__0
3386 @init {
3387 int stackSize = keepStackSize();
3388 }
3389:
3390 rule__VLSUniversalQuantifier__Group_1__0__Impl
3391 rule__VLSUniversalQuantifier__Group_1__1
3392;
3393finally {
3394 restoreStackSize(stackSize);
3395}
3396
3397rule__VLSUniversalQuantifier__Group_1__0__Impl
3398 @init {
3399 int stackSize = keepStackSize();
3400 }
3401:
3402(
3403 { before(grammarAccess.getVLSUniversalQuantifierAccess().getExclamationMarkKeyword_1_0()); }
3404 '!'
3405 { after(grammarAccess.getVLSUniversalQuantifierAccess().getExclamationMarkKeyword_1_0()); }
3406)
3407;
3408finally {
3409 restoreStackSize(stackSize);
3410}
3411
3412rule__VLSUniversalQuantifier__Group_1__1
3413 @init {
3414 int stackSize = keepStackSize();
3415 }
3416:
3417 rule__VLSUniversalQuantifier__Group_1__1__Impl
3418 rule__VLSUniversalQuantifier__Group_1__2
3419;
3420finally {
3421 restoreStackSize(stackSize);
3422}
3423
3424rule__VLSUniversalQuantifier__Group_1__1__Impl
3425 @init {
3426 int stackSize = keepStackSize();
3427 }
3428:
3429(
3430 { before(grammarAccess.getVLSUniversalQuantifierAccess().getLeftSquareBracketKeyword_1_1()); }
3431 '['
3432 { after(grammarAccess.getVLSUniversalQuantifierAccess().getLeftSquareBracketKeyword_1_1()); }
3433)
3434;
3435finally {
3436 restoreStackSize(stackSize);
3437}
3438
3439rule__VLSUniversalQuantifier__Group_1__2
3440 @init {
3441 int stackSize = keepStackSize();
3442 }
3443:
3444 rule__VLSUniversalQuantifier__Group_1__2__Impl
3445 rule__VLSUniversalQuantifier__Group_1__3
3446;
3447finally {
3448 restoreStackSize(stackSize);
3449}
3450
3451rule__VLSUniversalQuantifier__Group_1__2__Impl
3452 @init {
3453 int stackSize = keepStackSize();
3454 }
3455:
3456(
3457 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2()); }
3458 (rule__VLSUniversalQuantifier__VariablesAssignment_1_2)
3459 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_2()); }
3460)
3461;
3462finally {
3463 restoreStackSize(stackSize);
3464}
3465
3466rule__VLSUniversalQuantifier__Group_1__3
3467 @init {
3468 int stackSize = keepStackSize();
3469 }
3470:
3471 rule__VLSUniversalQuantifier__Group_1__3__Impl
3472 rule__VLSUniversalQuantifier__Group_1__4
3473;
3474finally {
3475 restoreStackSize(stackSize);
3476}
3477
3478rule__VLSUniversalQuantifier__Group_1__3__Impl
3479 @init {
3480 int stackSize = keepStackSize();
3481 }
3482:
3483(
3484 { before(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3()); }
3485 (rule__VLSUniversalQuantifier__Group_1_3__0)*
3486 { after(grammarAccess.getVLSUniversalQuantifierAccess().getGroup_1_3()); }
3487)
3488;
3489finally {
3490 restoreStackSize(stackSize);
3491}
3492
3493rule__VLSUniversalQuantifier__Group_1__4
3494 @init {
3495 int stackSize = keepStackSize();
3496 }
3497:
3498 rule__VLSUniversalQuantifier__Group_1__4__Impl
3499 rule__VLSUniversalQuantifier__Group_1__5
3500;
3501finally {
3502 restoreStackSize(stackSize);
3503}
3504
3505rule__VLSUniversalQuantifier__Group_1__4__Impl
3506 @init {
3507 int stackSize = keepStackSize();
3508 }
3509:
3510(
3511 { before(grammarAccess.getVLSUniversalQuantifierAccess().getRightSquareBracketKeyword_1_4()); }
3512 ']'
3513 { after(grammarAccess.getVLSUniversalQuantifierAccess().getRightSquareBracketKeyword_1_4()); }
3514)
3515;
3516finally {
3517 restoreStackSize(stackSize);
3518}
3519
3520rule__VLSUniversalQuantifier__Group_1__5
3521 @init {
3522 int stackSize = keepStackSize();
3523 }
3524:
3525 rule__VLSUniversalQuantifier__Group_1__5__Impl
3526;
3527finally {
3528 restoreStackSize(stackSize);
3529}
3530
3531rule__VLSUniversalQuantifier__Group_1__5__Impl
3532 @init {
3533 int stackSize = keepStackSize();
3534 }
3535:
3536(
3537 { before(grammarAccess.getVLSUniversalQuantifierAccess().getColonKeyword_1_5()); }
3538 ':'
3539 { after(grammarAccess.getVLSUniversalQuantifierAccess().getColonKeyword_1_5()); }
3540)
3541;
3542finally {
3543 restoreStackSize(stackSize);
3544}
3545
3546
3547rule__VLSUniversalQuantifier__Group_1_3__0
3548 @init {
3549 int stackSize = keepStackSize();
3550 }
3551:
3552 rule__VLSUniversalQuantifier__Group_1_3__0__Impl
3553 rule__VLSUniversalQuantifier__Group_1_3__1
3554;
3555finally {
3556 restoreStackSize(stackSize);
3557}
3558
3559rule__VLSUniversalQuantifier__Group_1_3__0__Impl
3560 @init {
3561 int stackSize = keepStackSize();
3562 }
3563:
3564(
3565 { before(grammarAccess.getVLSUniversalQuantifierAccess().getCommaKeyword_1_3_0()); }
3566 ','
3567 { after(grammarAccess.getVLSUniversalQuantifierAccess().getCommaKeyword_1_3_0()); }
3568)
3569;
3570finally {
3571 restoreStackSize(stackSize);
3572}
3573
3574rule__VLSUniversalQuantifier__Group_1_3__1
3575 @init {
3576 int stackSize = keepStackSize();
3577 }
3578:
3579 rule__VLSUniversalQuantifier__Group_1_3__1__Impl
3580;
3581finally {
3582 restoreStackSize(stackSize);
3583}
3584
3585rule__VLSUniversalQuantifier__Group_1_3__1__Impl
3586 @init {
3587 int stackSize = keepStackSize();
3588 }
3589:
3590(
3591 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1()); }
3592 (rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1)
3593 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesAssignment_1_3_1()); }
3594)
3595;
3596finally {
3597 restoreStackSize(stackSize);
3598}
3599
3600
3601rule__VLSExistentialQuantifier__Group__0
3602 @init {
3603 int stackSize = keepStackSize();
3604 }
3605:
3606 rule__VLSExistentialQuantifier__Group__0__Impl
3607 rule__VLSExistentialQuantifier__Group__1
3608;
3609finally {
3610 restoreStackSize(stackSize);
3611}
3612
3613rule__VLSExistentialQuantifier__Group__0__Impl
3614 @init {
3615 int stackSize = keepStackSize();
3616 }
3617:
3618(
3619 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVLSExistentialQuantifierAction_0()); }
3620 ()
3621 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVLSExistentialQuantifierAction_0()); }
3622)
3623;
3624finally {
3625 restoreStackSize(stackSize);
3626}
3627
3628rule__VLSExistentialQuantifier__Group__1
3629 @init {
3630 int stackSize = keepStackSize();
3631 }
3632:
3633 rule__VLSExistentialQuantifier__Group__1__Impl
3634 rule__VLSExistentialQuantifier__Group__2
3635;
3636finally {
3637 restoreStackSize(stackSize);
3638}
3639
3640rule__VLSExistentialQuantifier__Group__1__Impl
3641 @init {
3642 int stackSize = keepStackSize();
3643 }
3644:
3645(
3646 { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1()); }
3647 (rule__VLSExistentialQuantifier__Group_1__0)
3648 { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1()); }
3649)
3650;
3651finally {
3652 restoreStackSize(stackSize);
3653}
3654
3655rule__VLSExistentialQuantifier__Group__2
3656 @init {
3657 int stackSize = keepStackSize();
3658 }
3659:
3660 rule__VLSExistentialQuantifier__Group__2__Impl
3661;
3662finally {
3663 restoreStackSize(stackSize);
3664}
3665
3666rule__VLSExistentialQuantifier__Group__2__Impl
3667 @init {
3668 int stackSize = keepStackSize();
3669 }
3670:
3671(
3672 { before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2()); }
3673 (rule__VLSExistentialQuantifier__OperandAssignment_2)
3674 { after(grammarAccess.getVLSExistentialQuantifierAccess().getOperandAssignment_2()); }
3675)
3676;
3677finally {
3678 restoreStackSize(stackSize);
3679}
3680
3681
3682rule__VLSExistentialQuantifier__Group_1__0
3683 @init {
3684 int stackSize = keepStackSize();
3685 }
3686:
3687 rule__VLSExistentialQuantifier__Group_1__0__Impl
3688 rule__VLSExistentialQuantifier__Group_1__1
3689;
3690finally {
3691 restoreStackSize(stackSize);
3692}
3693
3694rule__VLSExistentialQuantifier__Group_1__0__Impl
3695 @init {
3696 int stackSize = keepStackSize();
3697 }
3698:
3699(
3700 { before(grammarAccess.getVLSExistentialQuantifierAccess().getQuestionMarkKeyword_1_0()); }
3701 '?'
3702 { after(grammarAccess.getVLSExistentialQuantifierAccess().getQuestionMarkKeyword_1_0()); }
3703)
3704;
3705finally {
3706 restoreStackSize(stackSize);
3707}
3708
3709rule__VLSExistentialQuantifier__Group_1__1
3710 @init {
3711 int stackSize = keepStackSize();
3712 }
3713:
3714 rule__VLSExistentialQuantifier__Group_1__1__Impl
3715 rule__VLSExistentialQuantifier__Group_1__2
3716;
3717finally {
3718 restoreStackSize(stackSize);
3719}
3720
3721rule__VLSExistentialQuantifier__Group_1__1__Impl
3722 @init {
3723 int stackSize = keepStackSize();
3724 }
3725:
3726(
3727 { before(grammarAccess.getVLSExistentialQuantifierAccess().getLeftSquareBracketKeyword_1_1()); }
3728 '['
3729 { after(grammarAccess.getVLSExistentialQuantifierAccess().getLeftSquareBracketKeyword_1_1()); }
3730)
3731;
3732finally {
3733 restoreStackSize(stackSize);
3734}
3735
3736rule__VLSExistentialQuantifier__Group_1__2
3737 @init {
3738 int stackSize = keepStackSize();
3739 }
3740:
3741 rule__VLSExistentialQuantifier__Group_1__2__Impl
3742 rule__VLSExistentialQuantifier__Group_1__3
3743;
3744finally {
3745 restoreStackSize(stackSize);
3746}
3747
3748rule__VLSExistentialQuantifier__Group_1__2__Impl
3749 @init {
3750 int stackSize = keepStackSize();
3751 }
3752:
3753(
3754 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2()); }
3755 (rule__VLSExistentialQuantifier__VariablesAssignment_1_2)
3756 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_2()); }
3757)
3758;
3759finally {
3760 restoreStackSize(stackSize);
3761}
3762
3763rule__VLSExistentialQuantifier__Group_1__3
3764 @init {
3765 int stackSize = keepStackSize();
3766 }
3767:
3768 rule__VLSExistentialQuantifier__Group_1__3__Impl
3769 rule__VLSExistentialQuantifier__Group_1__4
3770;
3771finally {
3772 restoreStackSize(stackSize);
3773}
3774
3775rule__VLSExistentialQuantifier__Group_1__3__Impl
3776 @init {
3777 int stackSize = keepStackSize();
3778 }
3779:
3780(
3781 { before(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3()); }
3782 (rule__VLSExistentialQuantifier__Group_1_3__0)*
3783 { after(grammarAccess.getVLSExistentialQuantifierAccess().getGroup_1_3()); }
3784)
3785;
3786finally {
3787 restoreStackSize(stackSize);
3788}
3789
3790rule__VLSExistentialQuantifier__Group_1__4
3791 @init {
3792 int stackSize = keepStackSize();
3793 }
3794:
3795 rule__VLSExistentialQuantifier__Group_1__4__Impl
3796 rule__VLSExistentialQuantifier__Group_1__5
3797;
3798finally {
3799 restoreStackSize(stackSize);
3800}
3801
3802rule__VLSExistentialQuantifier__Group_1__4__Impl
3803 @init {
3804 int stackSize = keepStackSize();
3805 }
3806:
3807(
3808 { before(grammarAccess.getVLSExistentialQuantifierAccess().getRightSquareBracketKeyword_1_4()); }
3809 ']'
3810 { after(grammarAccess.getVLSExistentialQuantifierAccess().getRightSquareBracketKeyword_1_4()); }
3811)
3812;
3813finally {
3814 restoreStackSize(stackSize);
3815}
3816
3817rule__VLSExistentialQuantifier__Group_1__5
3818 @init {
3819 int stackSize = keepStackSize();
3820 }
3821:
3822 rule__VLSExistentialQuantifier__Group_1__5__Impl
3823;
3824finally {
3825 restoreStackSize(stackSize);
3826}
3827
3828rule__VLSExistentialQuantifier__Group_1__5__Impl
3829 @init {
3830 int stackSize = keepStackSize();
3831 }
3832:
3833(
3834 { before(grammarAccess.getVLSExistentialQuantifierAccess().getColonKeyword_1_5()); }
3835 ':'
3836 { after(grammarAccess.getVLSExistentialQuantifierAccess().getColonKeyword_1_5()); }
3837)
3838;
3839finally {
3840 restoreStackSize(stackSize);
3841}
3842
3843
3844rule__VLSExistentialQuantifier__Group_1_3__0
3845 @init {
3846 int stackSize = keepStackSize();
3847 }
3848:
3849 rule__VLSExistentialQuantifier__Group_1_3__0__Impl
3850 rule__VLSExistentialQuantifier__Group_1_3__1
3851;
3852finally {
3853 restoreStackSize(stackSize);
3854}
3855
3856rule__VLSExistentialQuantifier__Group_1_3__0__Impl
3857 @init {
3858 int stackSize = keepStackSize();
3859 }
3860:
3861(
3862 { before(grammarAccess.getVLSExistentialQuantifierAccess().getCommaKeyword_1_3_0()); }
3863 ','
3864 { after(grammarAccess.getVLSExistentialQuantifierAccess().getCommaKeyword_1_3_0()); }
3865)
3866;
3867finally {
3868 restoreStackSize(stackSize);
3869}
3870
3871rule__VLSExistentialQuantifier__Group_1_3__1
3872 @init {
3873 int stackSize = keepStackSize();
3874 }
3875:
3876 rule__VLSExistentialQuantifier__Group_1_3__1__Impl
3877;
3878finally {
3879 restoreStackSize(stackSize);
3880}
3881
3882rule__VLSExistentialQuantifier__Group_1_3__1__Impl
3883 @init {
3884 int stackSize = keepStackSize();
3885 }
3886:
3887(
3888 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1()); }
3889 (rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1)
3890 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesAssignment_1_3_1()); }
3891)
3892;
3893finally {
3894 restoreStackSize(stackSize);
3895}
3896
3897
3898rule__VLSUnaryNegation__Group__0
3899 @init {
3900 int stackSize = keepStackSize();
3901 }
3902:
3903 rule__VLSUnaryNegation__Group__0__Impl
3904 rule__VLSUnaryNegation__Group__1
3905;
3906finally {
3907 restoreStackSize(stackSize);
3908}
3909
3910rule__VLSUnaryNegation__Group__0__Impl
3911 @init {
3912 int stackSize = keepStackSize();
3913 }
3914:
3915(
3916 { before(grammarAccess.getVLSUnaryNegationAccess().getVLSUnaryNegationAction_0()); }
3917 ()
3918 { after(grammarAccess.getVLSUnaryNegationAccess().getVLSUnaryNegationAction_0()); }
3919)
3920;
3921finally {
3922 restoreStackSize(stackSize);
3923}
3924
3925rule__VLSUnaryNegation__Group__1
3926 @init {
3927 int stackSize = keepStackSize();
3928 }
3929:
3930 rule__VLSUnaryNegation__Group__1__Impl
3931 rule__VLSUnaryNegation__Group__2
3932;
3933finally {
3934 restoreStackSize(stackSize);
3935}
3936
3937rule__VLSUnaryNegation__Group__1__Impl
3938 @init {
3939 int stackSize = keepStackSize();
3940 }
3941:
3942(
3943 { before(grammarAccess.getVLSUnaryNegationAccess().getTildeKeyword_1()); }
3944 '~'
3945 { after(grammarAccess.getVLSUnaryNegationAccess().getTildeKeyword_1()); }
3946)
3947;
3948finally {
3949 restoreStackSize(stackSize);
3950}
3951
3952rule__VLSUnaryNegation__Group__2
3953 @init {
3954 int stackSize = keepStackSize();
3955 }
3956:
3957 rule__VLSUnaryNegation__Group__2__Impl
3958;
3959finally {
3960 restoreStackSize(stackSize);
3961}
3962
3963rule__VLSUnaryNegation__Group__2__Impl
3964 @init {
3965 int stackSize = keepStackSize();
3966 }
3967:
3968(
3969 { before(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2()); }
3970 (rule__VLSUnaryNegation__OperandAssignment_2)
3971 { after(grammarAccess.getVLSUnaryNegationAccess().getOperandAssignment_2()); }
3972)
3973;
3974finally {
3975 restoreStackSize(stackSize);
3976}
3977
3978
3979rule__VLSUnaryInfix__Group__0
3980 @init {
3981 int stackSize = keepStackSize();
3982 }
3983:
3984 rule__VLSUnaryInfix__Group__0__Impl
3985 rule__VLSUnaryInfix__Group__1
3986;
3987finally {
3988 restoreStackSize(stackSize);
3989}
3990
3991rule__VLSUnaryInfix__Group__0__Impl
3992 @init {
3993 int stackSize = keepStackSize();
3994 }
3995:
3996(
3997 { before(grammarAccess.getVLSUnaryInfixAccess().getVLSAtomicParserRuleCall_0()); }
3998 ruleVLSAtomic
3999 { after(grammarAccess.getVLSUnaryInfixAccess().getVLSAtomicParserRuleCall_0()); }
4000)
4001;
4002finally {
4003 restoreStackSize(stackSize);
4004}
4005
4006rule__VLSUnaryInfix__Group__1
4007 @init {
4008 int stackSize = keepStackSize();
4009 }
4010:
4011 rule__VLSUnaryInfix__Group__1__Impl
4012;
4013finally {
4014 restoreStackSize(stackSize);
4015}
4016
4017rule__VLSUnaryInfix__Group__1__Impl
4018 @init {
4019 int stackSize = keepStackSize();
4020 }
4021:
4022(
4023 { before(grammarAccess.getVLSUnaryInfixAccess().getGroup_1()); }
4024 (rule__VLSUnaryInfix__Group_1__0)?
4025 { after(grammarAccess.getVLSUnaryInfixAccess().getGroup_1()); }
4026)
4027;
4028finally {
4029 restoreStackSize(stackSize);
4030}
4031
4032
4033rule__VLSUnaryInfix__Group_1__0
4034 @init {
4035 int stackSize = keepStackSize();
4036 }
4037:
4038 rule__VLSUnaryInfix__Group_1__0__Impl
4039 rule__VLSUnaryInfix__Group_1__1
4040;
4041finally {
4042 restoreStackSize(stackSize);
4043}
4044
4045rule__VLSUnaryInfix__Group_1__0__Impl
4046 @init {
4047 int stackSize = keepStackSize();
4048 }
4049:
4050(
4051 { before(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0()); }
4052 (rule__VLSUnaryInfix__Alternatives_1_0)
4053 { after(grammarAccess.getVLSUnaryInfixAccess().getAlternatives_1_0()); }
4054)
4055;
4056finally {
4057 restoreStackSize(stackSize);
4058}
4059
4060rule__VLSUnaryInfix__Group_1__1
4061 @init {
4062 int stackSize = keepStackSize();
4063 }
4064:
4065 rule__VLSUnaryInfix__Group_1__1__Impl
4066;
4067finally {
4068 restoreStackSize(stackSize);
4069}
4070
4071rule__VLSUnaryInfix__Group_1__1__Impl
4072 @init {
4073 int stackSize = keepStackSize();
4074 }
4075:
4076(
4077 { before(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1()); }
4078 (rule__VLSUnaryInfix__RightAssignment_1_1)
4079 { after(grammarAccess.getVLSUnaryInfixAccess().getRightAssignment_1_1()); }
4080)
4081;
4082finally {
4083 restoreStackSize(stackSize);
4084}
4085
4086
4087rule__VLSUnaryInfix__Group_1_0_0__0
4088 @init {
4089 int stackSize = keepStackSize();
4090 }
4091:
4092 rule__VLSUnaryInfix__Group_1_0_0__0__Impl
4093 rule__VLSUnaryInfix__Group_1_0_0__1
4094;
4095finally {
4096 restoreStackSize(stackSize);
4097}
4098
4099rule__VLSUnaryInfix__Group_1_0_0__0__Impl
4100 @init {
4101 int stackSize = keepStackSize();
4102 }
4103:
4104(
4105 { before(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()); }
4106 ()
4107 { after(grammarAccess.getVLSUnaryInfixAccess().getVLSInequalityLeftAction_1_0_0_0()); }
4108)
4109;
4110finally {
4111 restoreStackSize(stackSize);
4112}
4113
4114rule__VLSUnaryInfix__Group_1_0_0__1
4115 @init {
4116 int stackSize = keepStackSize();
4117 }
4118:
4119 rule__VLSUnaryInfix__Group_1_0_0__1__Impl
4120;
4121finally {
4122 restoreStackSize(stackSize);
4123}
4124
4125rule__VLSUnaryInfix__Group_1_0_0__1__Impl
4126 @init {
4127 int stackSize = keepStackSize();
4128 }
4129:
4130(
4131 { before(grammarAccess.getVLSUnaryInfixAccess().getExclamationMarkEqualsSignKeyword_1_0_0_1()); }
4132 '!='
4133 { after(grammarAccess.getVLSUnaryInfixAccess().getExclamationMarkEqualsSignKeyword_1_0_0_1()); }
4134)
4135;
4136finally {
4137 restoreStackSize(stackSize);
4138}
4139
4140
4141rule__VLSUnaryInfix__Group_1_0_1__0
4142 @init {
4143 int stackSize = keepStackSize();
4144 }
4145:
4146 rule__VLSUnaryInfix__Group_1_0_1__0__Impl
4147 rule__VLSUnaryInfix__Group_1_0_1__1
4148;
4149finally {
4150 restoreStackSize(stackSize);
4151}
4152
4153rule__VLSUnaryInfix__Group_1_0_1__0__Impl
4154 @init {
4155 int stackSize = keepStackSize();
4156 }
4157:
4158(
4159 { before(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()); }
4160 ()
4161 { after(grammarAccess.getVLSUnaryInfixAccess().getVLSEqualityLeftAction_1_0_1_0()); }
4162)
4163;
4164finally {
4165 restoreStackSize(stackSize);
4166}
4167
4168rule__VLSUnaryInfix__Group_1_0_1__1
4169 @init {
4170 int stackSize = keepStackSize();
4171 }
4172:
4173 rule__VLSUnaryInfix__Group_1_0_1__1__Impl
4174;
4175finally {
4176 restoreStackSize(stackSize);
4177}
4178
4179rule__VLSUnaryInfix__Group_1_0_1__1__Impl
4180 @init {
4181 int stackSize = keepStackSize();
4182 }
4183:
4184(
4185 { before(grammarAccess.getVLSUnaryInfixAccess().getEqualsSignKeyword_1_0_1_1()); }
4186 '='
4187 { after(grammarAccess.getVLSUnaryInfixAccess().getEqualsSignKeyword_1_0_1_1()); }
4188)
4189;
4190finally {
4191 restoreStackSize(stackSize);
4192}
4193
4194
4195rule__VLSUnaryInfix__Group_1_0_2__0
4196 @init {
4197 int stackSize = keepStackSize();
4198 }
4199:
4200 rule__VLSUnaryInfix__Group_1_0_2__0__Impl
4201 rule__VLSUnaryInfix__Group_1_0_2__1
4202;
4203finally {
4204 restoreStackSize(stackSize);
4205}
4206
4207rule__VLSUnaryInfix__Group_1_0_2__0__Impl
4208 @init {
4209 int stackSize = keepStackSize();
4210 }
4211:
4212(
4213 { before(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()); }
4214 ()
4215 { after(grammarAccess.getVLSUnaryInfixAccess().getVLSAssignmentLeftAction_1_0_2_0()); }
4216)
4217;
4218finally {
4219 restoreStackSize(stackSize);
4220}
4221
4222rule__VLSUnaryInfix__Group_1_0_2__1
4223 @init {
4224 int stackSize = keepStackSize();
4225 }
4226:
4227 rule__VLSUnaryInfix__Group_1_0_2__1__Impl
4228;
4229finally {
4230 restoreStackSize(stackSize);
4231}
4232
4233rule__VLSUnaryInfix__Group_1_0_2__1__Impl
4234 @init {
4235 int stackSize = keepStackSize();
4236 }
4237:
4238(
4239 { before(grammarAccess.getVLSUnaryInfixAccess().getColonEqualsSignKeyword_1_0_2_1()); }
4240 ':='
4241 { after(grammarAccess.getVLSUnaryInfixAccess().getColonEqualsSignKeyword_1_0_2_1()); }
4242)
4243;
4244finally {
4245 restoreStackSize(stackSize);
4246}
4247
4248
4249rule__VLSAtomicConstant__Group_0__0
4250 @init {
4251 int stackSize = keepStackSize();
4252 }
4253:
4254 rule__VLSAtomicConstant__Group_0__0__Impl
4255 rule__VLSAtomicConstant__Group_0__1
4256;
4257finally {
4258 restoreStackSize(stackSize);
4259}
4260
4261rule__VLSAtomicConstant__Group_0__0__Impl
4262 @init {
4263 int stackSize = keepStackSize();
4264 }
4265:
4266(
4267 { before(grammarAccess.getVLSAtomicConstantAccess().getVLSConstantAction_0_0()); }
4268 ()
4269 { after(grammarAccess.getVLSAtomicConstantAccess().getVLSConstantAction_0_0()); }
4270)
4271;
4272finally {
4273 restoreStackSize(stackSize);
4274}
4275
4276rule__VLSAtomicConstant__Group_0__1
4277 @init {
4278 int stackSize = keepStackSize();
4279 }
4280:
4281 rule__VLSAtomicConstant__Group_0__1__Impl
4282;
4283finally {
4284 restoreStackSize(stackSize);
4285}
4286
4287rule__VLSAtomicConstant__Group_0__1__Impl
4288 @init {
4289 int stackSize = keepStackSize();
4290 }
4291:
4292(
4293 { before(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1()); }
4294 (rule__VLSAtomicConstant__NameAssignment_0_1)
4295 { after(grammarAccess.getVLSAtomicConstantAccess().getNameAssignment_0_1()); }
4296)
4297;
4298finally {
4299 restoreStackSize(stackSize);
4300}
4301
4302
4303rule__VLSAtomicConstant__Group_1__0
4304 @init {
4305 int stackSize = keepStackSize();
4306 }
4307:
4308 rule__VLSAtomicConstant__Group_1__0__Impl
4309 rule__VLSAtomicConstant__Group_1__1
4310;
4311finally {
4312 restoreStackSize(stackSize);
4313}
4314
4315rule__VLSAtomicConstant__Group_1__0__Impl
4316 @init {
4317 int stackSize = keepStackSize();
4318 }
4319:
4320(
4321 { before(grammarAccess.getVLSAtomicConstantAccess().getVLSTrueAction_1_0()); }
4322 ()
4323 { after(grammarAccess.getVLSAtomicConstantAccess().getVLSTrueAction_1_0()); }
4324)
4325;
4326finally {
4327 restoreStackSize(stackSize);
4328}
4329
4330rule__VLSAtomicConstant__Group_1__1
4331 @init {
4332 int stackSize = keepStackSize();
4333 }
4334:
4335 rule__VLSAtomicConstant__Group_1__1__Impl
4336;
4337finally {
4338 restoreStackSize(stackSize);
4339}
4340
4341rule__VLSAtomicConstant__Group_1__1__Impl
4342 @init {
4343 int stackSize = keepStackSize();
4344 }
4345:
4346(
4347 { before(grammarAccess.getVLSAtomicConstantAccess().getTrueKeyword_1_1()); }
4348 '$true'
4349 { after(grammarAccess.getVLSAtomicConstantAccess().getTrueKeyword_1_1()); }
4350)
4351;
4352finally {
4353 restoreStackSize(stackSize);
4354}
4355
4356
4357rule__VLSAtomicConstant__Group_2__0
4358 @init {
4359 int stackSize = keepStackSize();
4360 }
4361:
4362 rule__VLSAtomicConstant__Group_2__0__Impl
4363 rule__VLSAtomicConstant__Group_2__1
4364;
4365finally {
4366 restoreStackSize(stackSize);
4367}
4368
4369rule__VLSAtomicConstant__Group_2__0__Impl
4370 @init {
4371 int stackSize = keepStackSize();
4372 }
4373:
4374(
4375 { before(grammarAccess.getVLSAtomicConstantAccess().getVLSFalseAction_2_0()); }
4376 ()
4377 { after(grammarAccess.getVLSAtomicConstantAccess().getVLSFalseAction_2_0()); }
4378)
4379;
4380finally {
4381 restoreStackSize(stackSize);
4382}
4383
4384rule__VLSAtomicConstant__Group_2__1
4385 @init {
4386 int stackSize = keepStackSize();
4387 }
4388:
4389 rule__VLSAtomicConstant__Group_2__1__Impl
4390;
4391finally {
4392 restoreStackSize(stackSize);
4393}
4394
4395rule__VLSAtomicConstant__Group_2__1__Impl
4396 @init {
4397 int stackSize = keepStackSize();
4398 }
4399:
4400(
4401 { before(grammarAccess.getVLSAtomicConstantAccess().getFalseKeyword_2_1()); }
4402 '$false'
4403 { after(grammarAccess.getVLSAtomicConstantAccess().getFalseKeyword_2_1()); }
4404)
4405;
4406finally {
4407 restoreStackSize(stackSize);
4408}
4409
4410
4411rule__VLSAtomicFunction__Group_0__0
4412 @init {
4413 int stackSize = keepStackSize();
4414 }
4415:
4416 rule__VLSAtomicFunction__Group_0__0__Impl
4417 rule__VLSAtomicFunction__Group_0__1
4418;
4419finally {
4420 restoreStackSize(stackSize);
4421}
4422
4423rule__VLSAtomicFunction__Group_0__0__Impl
4424 @init {
4425 int stackSize = keepStackSize();
4426 }
4427:
4428(
4429 { before(grammarAccess.getVLSAtomicFunctionAccess().getVLSFunctionAction_0_0()); }
4430 ()
4431 { after(grammarAccess.getVLSAtomicFunctionAccess().getVLSFunctionAction_0_0()); }
4432)
4433;
4434finally {
4435 restoreStackSize(stackSize);
4436}
4437
4438rule__VLSAtomicFunction__Group_0__1
4439 @init {
4440 int stackSize = keepStackSize();
4441 }
4442:
4443 rule__VLSAtomicFunction__Group_0__1__Impl
4444 rule__VLSAtomicFunction__Group_0__2
4445;
4446finally {
4447 restoreStackSize(stackSize);
4448}
4449
4450rule__VLSAtomicFunction__Group_0__1__Impl
4451 @init {
4452 int stackSize = keepStackSize();
4453 }
4454:
4455(
4456 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1()); }
4457 (rule__VLSAtomicFunction__ConstantAssignment_0_1)
4458 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantAssignment_0_1()); }
4459)
4460;
4461finally {
4462 restoreStackSize(stackSize);
4463}
4464
4465rule__VLSAtomicFunction__Group_0__2
4466 @init {
4467 int stackSize = keepStackSize();
4468 }
4469:
4470 rule__VLSAtomicFunction__Group_0__2__Impl
4471;
4472finally {
4473 restoreStackSize(stackSize);
4474}
4475
4476rule__VLSAtomicFunction__Group_0__2__Impl
4477 @init {
4478 int stackSize = keepStackSize();
4479 }
4480:
4481(
4482 { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2()); }
4483 (rule__VLSAtomicFunction__Group_0_2__0)
4484 { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2()); }
4485)
4486;
4487finally {
4488 restoreStackSize(stackSize);
4489}
4490
4491
4492rule__VLSAtomicFunction__Group_0_2__0
4493 @init {
4494 int stackSize = keepStackSize();
4495 }
4496:
4497 rule__VLSAtomicFunction__Group_0_2__0__Impl
4498 rule__VLSAtomicFunction__Group_0_2__1
4499;
4500finally {
4501 restoreStackSize(stackSize);
4502}
4503
4504rule__VLSAtomicFunction__Group_0_2__0__Impl
4505 @init {
4506 int stackSize = keepStackSize();
4507 }
4508:
4509(
4510 { before(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_0_2_0()); }
4511 '('
4512 { after(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_0_2_0()); }
4513)
4514;
4515finally {
4516 restoreStackSize(stackSize);
4517}
4518
4519rule__VLSAtomicFunction__Group_0_2__1
4520 @init {
4521 int stackSize = keepStackSize();
4522 }
4523:
4524 rule__VLSAtomicFunction__Group_0_2__1__Impl
4525 rule__VLSAtomicFunction__Group_0_2__2
4526;
4527finally {
4528 restoreStackSize(stackSize);
4529}
4530
4531rule__VLSAtomicFunction__Group_0_2__1__Impl
4532 @init {
4533 int stackSize = keepStackSize();
4534 }
4535:
4536(
4537 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1()); }
4538 (rule__VLSAtomicFunction__TermsAssignment_0_2_1)
4539 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_1()); }
4540)
4541;
4542finally {
4543 restoreStackSize(stackSize);
4544}
4545
4546rule__VLSAtomicFunction__Group_0_2__2
4547 @init {
4548 int stackSize = keepStackSize();
4549 }
4550:
4551 rule__VLSAtomicFunction__Group_0_2__2__Impl
4552 rule__VLSAtomicFunction__Group_0_2__3
4553;
4554finally {
4555 restoreStackSize(stackSize);
4556}
4557
4558rule__VLSAtomicFunction__Group_0_2__2__Impl
4559 @init {
4560 int stackSize = keepStackSize();
4561 }
4562:
4563(
4564 { before(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2()); }
4565 (rule__VLSAtomicFunction__Group_0_2_2__0)*
4566 { after(grammarAccess.getVLSAtomicFunctionAccess().getGroup_0_2_2()); }
4567)
4568;
4569finally {
4570 restoreStackSize(stackSize);
4571}
4572
4573rule__VLSAtomicFunction__Group_0_2__3
4574 @init {
4575 int stackSize = keepStackSize();
4576 }
4577:
4578 rule__VLSAtomicFunction__Group_0_2__3__Impl
4579;
4580finally {
4581 restoreStackSize(stackSize);
4582}
4583
4584rule__VLSAtomicFunction__Group_0_2__3__Impl
4585 @init {
4586 int stackSize = keepStackSize();
4587 }
4588:
4589(
4590 { before(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_0_2_3()); }
4591 ')'
4592 { after(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_0_2_3()); }
4593)
4594;
4595finally {
4596 restoreStackSize(stackSize);
4597}
4598
4599
4600rule__VLSAtomicFunction__Group_0_2_2__0
4601 @init {
4602 int stackSize = keepStackSize();
4603 }
4604:
4605 rule__VLSAtomicFunction__Group_0_2_2__0__Impl
4606 rule__VLSAtomicFunction__Group_0_2_2__1
4607;
4608finally {
4609 restoreStackSize(stackSize);
4610}
4611
4612rule__VLSAtomicFunction__Group_0_2_2__0__Impl
4613 @init {
4614 int stackSize = keepStackSize();
4615 }
4616:
4617(
4618 { before(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_0_2_2_0()); }
4619 ','
4620 { after(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_0_2_2_0()); }
4621)
4622;
4623finally {
4624 restoreStackSize(stackSize);
4625}
4626
4627rule__VLSAtomicFunction__Group_0_2_2__1
4628 @init {
4629 int stackSize = keepStackSize();
4630 }
4631:
4632 rule__VLSAtomicFunction__Group_0_2_2__1__Impl
4633;
4634finally {
4635 restoreStackSize(stackSize);
4636}
4637
4638rule__VLSAtomicFunction__Group_0_2_2__1__Impl
4639 @init {
4640 int stackSize = keepStackSize();
4641 }
4642:
4643(
4644 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1()); }
4645 (rule__VLSAtomicFunction__TermsAssignment_0_2_2_1)
4646 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_0_2_2_1()); }
4647)
4648;
4649finally {
4650 restoreStackSize(stackSize);
4651}
4652
4653
4654rule__VLSAtomicFunction__Group_1__0
4655 @init {
4656 int stackSize = keepStackSize();
4657 }
4658:
4659 rule__VLSAtomicFunction__Group_1__0__Impl
4660 rule__VLSAtomicFunction__Group_1__1
4661;
4662finally {
4663 restoreStackSize(stackSize);
4664}
4665
4666rule__VLSAtomicFunction__Group_1__0__Impl
4667 @init {
4668 int stackSize = keepStackSize();
4669 }
4670:
4671(
4672 { before(grammarAccess.getVLSAtomicFunctionAccess().getVLSLessAction_1_0()); }
4673 ()
4674 { after(grammarAccess.getVLSAtomicFunctionAccess().getVLSLessAction_1_0()); }
4675)
4676;
4677finally {
4678 restoreStackSize(stackSize);
4679}
4680
4681rule__VLSAtomicFunction__Group_1__1
4682 @init {
4683 int stackSize = keepStackSize();
4684 }
4685:
4686 rule__VLSAtomicFunction__Group_1__1__Impl
4687 rule__VLSAtomicFunction__Group_1__2
4688;
4689finally {
4690 restoreStackSize(stackSize);
4691}
4692
4693rule__VLSAtomicFunction__Group_1__1__Impl
4694 @init {
4695 int stackSize = keepStackSize();
4696 }
4697:
4698(
4699 { before(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1()); }
4700 (rule__VLSAtomicFunction__NameAssignment_1_1)
4701 { after(grammarAccess.getVLSAtomicFunctionAccess().getNameAssignment_1_1()); }
4702)
4703;
4704finally {
4705 restoreStackSize(stackSize);
4706}
4707
4708rule__VLSAtomicFunction__Group_1__2
4709 @init {
4710 int stackSize = keepStackSize();
4711 }
4712:
4713 rule__VLSAtomicFunction__Group_1__2__Impl
4714 rule__VLSAtomicFunction__Group_1__3
4715;
4716finally {
4717 restoreStackSize(stackSize);
4718}
4719
4720rule__VLSAtomicFunction__Group_1__2__Impl
4721 @init {
4722 int stackSize = keepStackSize();
4723 }
4724:
4725(
4726 { before(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_1_2()); }
4727 '('
4728 { after(grammarAccess.getVLSAtomicFunctionAccess().getLeftParenthesisKeyword_1_2()); }
4729)
4730;
4731finally {
4732 restoreStackSize(stackSize);
4733}
4734
4735rule__VLSAtomicFunction__Group_1__3
4736 @init {
4737 int stackSize = keepStackSize();
4738 }
4739:
4740 rule__VLSAtomicFunction__Group_1__3__Impl
4741 rule__VLSAtomicFunction__Group_1__4
4742;
4743finally {
4744 restoreStackSize(stackSize);
4745}
4746
4747rule__VLSAtomicFunction__Group_1__3__Impl
4748 @init {
4749 int stackSize = keepStackSize();
4750 }
4751:
4752(
4753 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3()); }
4754 (rule__VLSAtomicFunction__TermsAssignment_1_3)
4755 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_3()); }
4756)
4757;
4758finally {
4759 restoreStackSize(stackSize);
4760}
4761
4762rule__VLSAtomicFunction__Group_1__4
4763 @init {
4764 int stackSize = keepStackSize();
4765 }
4766:
4767 rule__VLSAtomicFunction__Group_1__4__Impl
4768 rule__VLSAtomicFunction__Group_1__5
4769;
4770finally {
4771 restoreStackSize(stackSize);
4772}
4773
4774rule__VLSAtomicFunction__Group_1__4__Impl
4775 @init {
4776 int stackSize = keepStackSize();
4777 }
4778:
4779(
4780 { before(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_1_4()); }
4781 ','
4782 { after(grammarAccess.getVLSAtomicFunctionAccess().getCommaKeyword_1_4()); }
4783)
4784;
4785finally {
4786 restoreStackSize(stackSize);
4787}
4788
4789rule__VLSAtomicFunction__Group_1__5
4790 @init {
4791 int stackSize = keepStackSize();
4792 }
4793:
4794 rule__VLSAtomicFunction__Group_1__5__Impl
4795 rule__VLSAtomicFunction__Group_1__6
4796;
4797finally {
4798 restoreStackSize(stackSize);
4799}
4800
4801rule__VLSAtomicFunction__Group_1__5__Impl
4802 @init {
4803 int stackSize = keepStackSize();
4804 }
4805:
4806(
4807 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5()); }
4808 (rule__VLSAtomicFunction__TermsAssignment_1_5)
4809 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsAssignment_1_5()); }
4810)
4811;
4812finally {
4813 restoreStackSize(stackSize);
4814}
4815
4816rule__VLSAtomicFunction__Group_1__6
4817 @init {
4818 int stackSize = keepStackSize();
4819 }
4820:
4821 rule__VLSAtomicFunction__Group_1__6__Impl
4822;
4823finally {
4824 restoreStackSize(stackSize);
4825}
4826
4827rule__VLSAtomicFunction__Group_1__6__Impl
4828 @init {
4829 int stackSize = keepStackSize();
4830 }
4831:
4832(
4833 { before(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_1_6()); }
4834 ')'
4835 { after(grammarAccess.getVLSAtomicFunctionAccess().getRightParenthesisKeyword_1_6()); }
4836)
4837;
4838finally {
4839 restoreStackSize(stackSize);
4840}
4841
4842
4843rule__VLSFunctionAsTerm__Group__0
4844 @init {
4845 int stackSize = keepStackSize();
4846 }
4847:
4848 rule__VLSFunctionAsTerm__Group__0__Impl
4849 rule__VLSFunctionAsTerm__Group__1
4850;
4851finally {
4852 restoreStackSize(stackSize);
4853}
4854
4855rule__VLSFunctionAsTerm__Group__0__Impl
4856 @init {
4857 int stackSize = keepStackSize();
4858 }
4859:
4860(
4861 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); }
4862 (rule__VLSFunctionAsTerm__FunctorAssignment_0)
4863 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); }
4864)
4865;
4866finally {
4867 restoreStackSize(stackSize);
4868}
4869
4870rule__VLSFunctionAsTerm__Group__1
4871 @init {
4872 int stackSize = keepStackSize();
4873 }
4874:
4875 rule__VLSFunctionAsTerm__Group__1__Impl
4876;
4877finally {
4878 restoreStackSize(stackSize);
4879}
4880
4881rule__VLSFunctionAsTerm__Group__1__Impl
4882 @init {
4883 int stackSize = keepStackSize();
4884 }
4885:
4886(
4887 { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); }
4888 (rule__VLSFunctionAsTerm__Group_1__0)?
4889 { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); }
4890)
4891;
4892finally {
4893 restoreStackSize(stackSize);
4894}
4895
4896
4897rule__VLSFunctionAsTerm__Group_1__0
4898 @init {
4899 int stackSize = keepStackSize();
4900 }
4901:
4902 rule__VLSFunctionAsTerm__Group_1__0__Impl
4903 rule__VLSFunctionAsTerm__Group_1__1
4904;
4905finally {
4906 restoreStackSize(stackSize);
4907}
4908
4909rule__VLSFunctionAsTerm__Group_1__0__Impl
4910 @init {
4911 int stackSize = keepStackSize();
4912 }
4913:
4914(
4915 { before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); }
4916 '('
4917 { after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); }
4918)
4919;
4920finally {
4921 restoreStackSize(stackSize);
4922}
4923
4924rule__VLSFunctionAsTerm__Group_1__1
4925 @init {
4926 int stackSize = keepStackSize();
4927 }
4928:
4929 rule__VLSFunctionAsTerm__Group_1__1__Impl
4930 rule__VLSFunctionAsTerm__Group_1__2
4931;
4932finally {
4933 restoreStackSize(stackSize);
4934}
4935
4936rule__VLSFunctionAsTerm__Group_1__1__Impl
4937 @init {
4938 int stackSize = keepStackSize();
4939 }
4940:
4941(
4942 { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); }
4943 (rule__VLSFunctionAsTerm__TermsAssignment_1_1)
4944 { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); }
4945)
4946;
4947finally {
4948 restoreStackSize(stackSize);
4949}
4950
4951rule__VLSFunctionAsTerm__Group_1__2
4952 @init {
4953 int stackSize = keepStackSize();
4954 }
4955:
4956 rule__VLSFunctionAsTerm__Group_1__2__Impl
4957 rule__VLSFunctionAsTerm__Group_1__3
4958;
4959finally {
4960 restoreStackSize(stackSize);
4961}
4962
4963rule__VLSFunctionAsTerm__Group_1__2__Impl
4964 @init {
4965 int stackSize = keepStackSize();
4966 }
4967:
4968(
4969 { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); }
4970 (rule__VLSFunctionAsTerm__Group_1_2__0)*
4971 { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); }
4972)
4973;
4974finally {
4975 restoreStackSize(stackSize);
4976}
4977
4978rule__VLSFunctionAsTerm__Group_1__3
4979 @init {
4980 int stackSize = keepStackSize();
4981 }
4982:
4983 rule__VLSFunctionAsTerm__Group_1__3__Impl
4984;
4985finally {
4986 restoreStackSize(stackSize);
4987}
4988
4989rule__VLSFunctionAsTerm__Group_1__3__Impl
4990 @init {
4991 int stackSize = keepStackSize();
4992 }
4993:
4994(
4995 { before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); }
4996 ')'
4997 { after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); }
4998)
4999;
5000finally {
5001 restoreStackSize(stackSize);
5002}
5003
5004
5005rule__VLSFunctionAsTerm__Group_1_2__0
5006 @init {
5007 int stackSize = keepStackSize();
5008 }
5009:
5010 rule__VLSFunctionAsTerm__Group_1_2__0__Impl
5011 rule__VLSFunctionAsTerm__Group_1_2__1
5012;
5013finally {
5014 restoreStackSize(stackSize);
5015}
5016
5017rule__VLSFunctionAsTerm__Group_1_2__0__Impl
5018 @init {
5019 int stackSize = keepStackSize();
5020 }
5021:
5022(
5023 { before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); }
5024 ','
5025 { after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); }
5026)
5027;
5028finally {
5029 restoreStackSize(stackSize);
5030}
5031
5032rule__VLSFunctionAsTerm__Group_1_2__1
5033 @init {
5034 int stackSize = keepStackSize();
5035 }
5036:
5037 rule__VLSFunctionAsTerm__Group_1_2__1__Impl
5038;
5039finally {
5040 restoreStackSize(stackSize);
5041}
5042
5043rule__VLSFunctionAsTerm__Group_1_2__1__Impl
5044 @init {
5045 int stackSize = keepStackSize();
5046 }
5047:
5048(
5049 { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); }
5050 (rule__VLSFunctionAsTerm__TermsAssignment_1_2_1)
5051 { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); }
5052)
5053;
5054finally {
5055 restoreStackSize(stackSize);
5056}
5057
5058
5059rule__VLSDefinedTerm__Group_0__0
5060 @init {
5061 int stackSize = keepStackSize();
5062 }
5063:
5064 rule__VLSDefinedTerm__Group_0__0__Impl
5065 rule__VLSDefinedTerm__Group_0__1
5066;
5067finally {
5068 restoreStackSize(stackSize);
5069}
5070
5071rule__VLSDefinedTerm__Group_0__0__Impl
5072 @init {
5073 int stackSize = keepStackSize();
5074 }
5075:
5076(
5077 { before(grammarAccess.getVLSDefinedTermAccess().getVLSIntAction_0_0()); }
5078 ()
5079 { after(grammarAccess.getVLSDefinedTermAccess().getVLSIntAction_0_0()); }
5080)
5081;
5082finally {
5083 restoreStackSize(stackSize);
5084}
5085
5086rule__VLSDefinedTerm__Group_0__1
5087 @init {
5088 int stackSize = keepStackSize();
5089 }
5090:
5091 rule__VLSDefinedTerm__Group_0__1__Impl
5092;
5093finally {
5094 restoreStackSize(stackSize);
5095}
5096
5097rule__VLSDefinedTerm__Group_0__1__Impl
5098 @init {
5099 int stackSize = keepStackSize();
5100 }
5101:
5102(
5103 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1()); }
5104 (rule__VLSDefinedTerm__ValueAssignment_0_1)
5105 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_0_1()); }
5106)
5107;
5108finally {
5109 restoreStackSize(stackSize);
5110}
5111
5112
5113rule__VLSDefinedTerm__Group_1__0
5114 @init {
5115 int stackSize = keepStackSize();
5116 }
5117:
5118 rule__VLSDefinedTerm__Group_1__0__Impl
5119 rule__VLSDefinedTerm__Group_1__1
5120;
5121finally {
5122 restoreStackSize(stackSize);
5123}
5124
5125rule__VLSDefinedTerm__Group_1__0__Impl
5126 @init {
5127 int stackSize = keepStackSize();
5128 }
5129:
5130(
5131 { before(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); }
5132 ()
5133 { after(grammarAccess.getVLSDefinedTermAccess().getVLSRealAction_1_0()); }
5134)
5135;
5136finally {
5137 restoreStackSize(stackSize);
5138}
5139
5140rule__VLSDefinedTerm__Group_1__1
5141 @init {
5142 int stackSize = keepStackSize();
5143 }
5144:
5145 rule__VLSDefinedTerm__Group_1__1__Impl
5146;
5147finally {
5148 restoreStackSize(stackSize);
5149}
5150
5151rule__VLSDefinedTerm__Group_1__1__Impl
5152 @init {
5153 int stackSize = keepStackSize();
5154 }
5155:
5156(
5157 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1()); }
5158 (rule__VLSDefinedTerm__ValueAssignment_1_1)
5159 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_1_1()); }
5160)
5161;
5162finally {
5163 restoreStackSize(stackSize);
5164}
5165
5166
5167rule__VLSDefinedTerm__Group_2__0
5168 @init {
5169 int stackSize = keepStackSize();
5170 }
5171:
5172 rule__VLSDefinedTerm__Group_2__0__Impl
5173 rule__VLSDefinedTerm__Group_2__1
5174;
5175finally {
5176 restoreStackSize(stackSize);
5177}
5178
5179rule__VLSDefinedTerm__Group_2__0__Impl
5180 @init {
5181 int stackSize = keepStackSize();
5182 }
5183:
5184(
5185 { before(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); }
5186 ()
5187 { after(grammarAccess.getVLSDefinedTermAccess().getVLSRationalAction_2_0()); }
5188)
5189;
5190finally {
5191 restoreStackSize(stackSize);
5192}
5193
5194rule__VLSDefinedTerm__Group_2__1
5195 @init {
5196 int stackSize = keepStackSize();
5197 }
5198:
5199 rule__VLSDefinedTerm__Group_2__1__Impl
5200;
5201finally {
5202 restoreStackSize(stackSize);
5203}
5204
5205rule__VLSDefinedTerm__Group_2__1__Impl
5206 @init {
5207 int stackSize = keepStackSize();
5208 }
5209:
5210(
5211 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); }
5212 (rule__VLSDefinedTerm__ValueAssignment_2_1)
5213 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_2_1()); }
5214)
5215;
5216finally {
5217 restoreStackSize(stackSize);
5218}
5219
5220
5221rule__VLSDefinedTerm__Group_3__0
5222 @init {
5223 int stackSize = keepStackSize();
5224 }
5225:
5226 rule__VLSDefinedTerm__Group_3__0__Impl
5227 rule__VLSDefinedTerm__Group_3__1
5228;
5229finally {
5230 restoreStackSize(stackSize);
5231}
5232
5233rule__VLSDefinedTerm__Group_3__0__Impl
5234 @init {
5235 int stackSize = keepStackSize();
5236 }
5237:
5238(
5239 { before(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); }
5240 ()
5241 { after(grammarAccess.getVLSDefinedTermAccess().getVLSDoubleQuoteAction_3_0()); }
5242)
5243;
5244finally {
5245 restoreStackSize(stackSize);
5246}
5247
5248rule__VLSDefinedTerm__Group_3__1
5249 @init {
5250 int stackSize = keepStackSize();
5251 }
5252:
5253 rule__VLSDefinedTerm__Group_3__1__Impl
5254;
5255finally {
5256 restoreStackSize(stackSize);
5257}
5258
5259rule__VLSDefinedTerm__Group_3__1__Impl
5260 @init {
5261 int stackSize = keepStackSize();
5262 }
5263:
5264(
5265 { before(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); }
5266 (rule__VLSDefinedTerm__ValueAssignment_3_1)
5267 { after(grammarAccess.getVLSDefinedTermAccess().getValueAssignment_3_1()); }
5268)
5269;
5270finally {
5271 restoreStackSize(stackSize);
5272}
5273
5274
5275rule__VampireModel__IncludesAssignment_0
5276 @init {
5277 int stackSize = keepStackSize();
5278 }
5279:
5280 (
5281 { before(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); }
5282 ruleVLSInclude
5283 { after(grammarAccess.getVampireModelAccess().getIncludesVLSIncludeParserRuleCall_0_0()); }
5284 )
5285;
5286finally {
5287 restoreStackSize(stackSize);
5288}
5289
5290rule__VampireModel__CommentsAssignment_1
5291 @init {
5292 int stackSize = keepStackSize();
5293 }
5294:
5295 (
5296 { before(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); }
5297 ruleVLSComment
5298 { after(grammarAccess.getVampireModelAccess().getCommentsVLSCommentParserRuleCall_1_0()); }
5299 )
5300;
5301finally {
5302 restoreStackSize(stackSize);
5303}
5304
5305rule__VampireModel__ConfirmationsAssignment_2
5306 @init {
5307 int stackSize = keepStackSize();
5308 }
5309:
5310 (
5311 { before(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); }
5312 ruleVLSConfirmations
5313 { after(grammarAccess.getVampireModelAccess().getConfirmationsVLSConfirmationsParserRuleCall_2_0()); }
5314 )
5315;
5316finally {
5317 restoreStackSize(stackSize);
5318}
5319
5320rule__VampireModel__FormulasAssignment_3
5321 @init {
5322 int stackSize = keepStackSize();
5323 }
5324:
5325 (
5326 { before(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); }
5327 ruleVLSFofFormula
5328 { after(grammarAccess.getVampireModelAccess().getFormulasVLSFofFormulaParserRuleCall_3_0()); }
5329 )
5330;
5331finally {
5332 restoreStackSize(stackSize);
5333}
5334
5335rule__VampireModel__TfformulasAssignment_4
5336 @init {
5337 int stackSize = keepStackSize();
5338 }
5339:
5340 (
5341 { before(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); }
5342 ruleVLSTffFormula
5343 { after(grammarAccess.getVampireModelAccess().getTfformulasVLSTffFormulaParserRuleCall_4_0()); }
5344 )
5345;
5346finally {
5347 restoreStackSize(stackSize);
5348}
5349
5350rule__VLSInclude__FileNameAssignment_1
5351 @init {
5352 int stackSize = keepStackSize();
5353 }
5354:
5355 (
5356 { before(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); }
5357 RULE_SINGLE_QUOTE
5358 { after(grammarAccess.getVLSIncludeAccess().getFileNameSINGLE_QUOTETerminalRuleCall_1_0()); }
5359 )
5360;
5361finally {
5362 restoreStackSize(stackSize);
5363}
5364
5365rule__VLSInclude__NamesAssignment_2_1
5366 @init {
5367 int stackSize = keepStackSize();
5368 }
5369:
5370 (
5371 { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); }
5372 ruleVLSName
5373 { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_1_0()); }
5374 )
5375;
5376finally {
5377 restoreStackSize(stackSize);
5378}
5379
5380rule__VLSInclude__NamesAssignment_2_2_1
5381 @init {
5382 int stackSize = keepStackSize();
5383 }
5384:
5385 (
5386 { before(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); }
5387 ruleVLSName
5388 { after(grammarAccess.getVLSIncludeAccess().getNamesVLSNameParserRuleCall_2_2_1_0()); }
5389 )
5390;
5391finally {
5392 restoreStackSize(stackSize);
5393}
5394
5395rule__VLSName__NameAssignment
5396 @init {
5397 int stackSize = keepStackSize();
5398 }
5399:
5400 (
5401 { before(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); }
5402 (rule__VLSName__NameAlternatives_0)
5403 { after(grammarAccess.getVLSNameAccess().getNameAlternatives_0()); }
5404 )
5405;
5406finally {
5407 restoreStackSize(stackSize);
5408}
5409
5410rule__VLSComment__CommentAssignment_1
5411 @init {
5412 int stackSize = keepStackSize();
5413 }
5414:
5415 (
5416 { before(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); }
5417 RULE_SINGLE_COMMENT
5418 { after(grammarAccess.getVLSCommentAccess().getCommentSINGLE_COMMENTTerminalRuleCall_1_0()); }
5419 )
5420;
5421finally {
5422 restoreStackSize(stackSize);
5423}
5424
5425rule__VLSFofFormula__NameAssignment_2
5426 @init {
5427 int stackSize = keepStackSize();
5428 }
5429:
5430 (
5431 { before(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); }
5432 (rule__VLSFofFormula__NameAlternatives_2_0)
5433 { after(grammarAccess.getVLSFofFormulaAccess().getNameAlternatives_2_0()); }
5434 )
5435;
5436finally {
5437 restoreStackSize(stackSize);
5438}
5439
5440rule__VLSFofFormula__FofRoleAssignment_4
5441 @init {
5442 int stackSize = keepStackSize();
5443 }
5444:
5445 (
5446 { before(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5447 ruleVLSRole
5448 { after(grammarAccess.getVLSFofFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5449 )
5450;
5451finally {
5452 restoreStackSize(stackSize);
5453}
5454
5455rule__VLSFofFormula__FofFormulaAssignment_6
5456 @init {
5457 int stackSize = keepStackSize();
5458 }
5459:
5460 (
5461 { before(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5462 ruleVLSTerm
5463 { after(grammarAccess.getVLSFofFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5464 )
5465;
5466finally {
5467 restoreStackSize(stackSize);
5468}
5469
5470rule__VLSFofFormula__AnnotationsAssignment_7_1
5471 @init {
5472 int stackSize = keepStackSize();
5473 }
5474:
5475 (
5476 { before(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5477 ruleVLSAnnotation
5478 { after(grammarAccess.getVLSFofFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5479 )
5480;
5481finally {
5482 restoreStackSize(stackSize);
5483}
5484
5485rule__VLSTffFormula__NameAssignment_2
5486 @init {
5487 int stackSize = keepStackSize();
5488 }
5489:
5490 (
5491 { before(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); }
5492 (rule__VLSTffFormula__NameAlternatives_2_0)
5493 { after(grammarAccess.getVLSTffFormulaAccess().getNameAlternatives_2_0()); }
5494 )
5495;
5496finally {
5497 restoreStackSize(stackSize);
5498}
5499
5500rule__VLSTffFormula__FofRoleAssignment_4
5501 @init {
5502 int stackSize = keepStackSize();
5503 }
5504:
5505 (
5506 { before(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5507 ruleVLSRole
5508 { after(grammarAccess.getVLSTffFormulaAccess().getFofRoleVLSRoleParserRuleCall_4_0()); }
5509 )
5510;
5511finally {
5512 restoreStackSize(stackSize);
5513}
5514
5515rule__VLSTffFormula__FofFormulaAssignment_6
5516 @init {
5517 int stackSize = keepStackSize();
5518 }
5519:
5520 (
5521 { before(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5522 ruleVLSTerm
5523 { after(grammarAccess.getVLSTffFormulaAccess().getFofFormulaVLSTermParserRuleCall_6_0()); }
5524 )
5525;
5526finally {
5527 restoreStackSize(stackSize);
5528}
5529
5530rule__VLSTffFormula__AnnotationsAssignment_7_1
5531 @init {
5532 int stackSize = keepStackSize();
5533 }
5534:
5535 (
5536 { before(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5537 ruleVLSAnnotation
5538 { after(grammarAccess.getVLSTffFormulaAccess().getAnnotationsVLSAnnotationParserRuleCall_7_1_0()); }
5539 )
5540;
5541finally {
5542 restoreStackSize(stackSize);
5543}
5544
5545rule__VLSAnnotation__NameAssignment_1
5546 @init {
5547 int stackSize = keepStackSize();
5548 }
5549:
5550 (
5551 { before(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); }
5552 (rule__VLSAnnotation__NameAlternatives_1_0)
5553 { after(grammarAccess.getVLSAnnotationAccess().getNameAlternatives_1_0()); }
5554 )
5555;
5556finally {
5557 restoreStackSize(stackSize);
5558}
5559
5560rule__VLSAnnotation__FollowupAssignment_2_1
5561 @init {
5562 int stackSize = keepStackSize();
5563 }
5564:
5565 (
5566 { before(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); }
5567 ruleVLSAnnotationTerms
5568 { after(grammarAccess.getVLSAnnotationAccess().getFollowupVLSAnnotationTermsParserRuleCall_2_1_0()); }
5569 )
5570;
5571finally {
5572 restoreStackSize(stackSize);
5573}
5574
5575rule__VLSAnnotationTerms__TermsAssignment_0
5576 @init {
5577 int stackSize = keepStackSize();
5578 }
5579:
5580 (
5581 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); }
5582 ruleVLSAnnotation
5583 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_0_0()); }
5584 )
5585;
5586finally {
5587 restoreStackSize(stackSize);
5588}
5589
5590rule__VLSAnnotationTerms__TermsAssignment_1_1
5591 @init {
5592 int stackSize = keepStackSize();
5593 }
5594:
5595 (
5596 { before(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); }
5597 ruleVLSAnnotation
5598 { after(grammarAccess.getVLSAnnotationTermsAccess().getTermsVLSAnnotationParserRuleCall_1_1_0()); }
5599 )
5600;
5601finally {
5602 restoreStackSize(stackSize);
5603}
5604
5605rule__VLSBinary__RightAssignment_1_0_1
5606 @init {
5607 int stackSize = keepStackSize();
5608 }
5609:
5610 (
5611 { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); }
5612 ruleVLSUnitaryFormula
5613 { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_0_1_0()); }
5614 )
5615;
5616finally {
5617 restoreStackSize(stackSize);
5618}
5619
5620rule__VLSBinary__RightAssignment_1_1_2
5621 @init {
5622 int stackSize = keepStackSize();
5623 }
5624:
5625 (
5626 { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); }
5627 ruleVLSUnitaryFormula
5628 { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_1_2_0()); }
5629 )
5630;
5631finally {
5632 restoreStackSize(stackSize);
5633}
5634
5635rule__VLSBinary__RightAssignment_1_2_2
5636 @init {
5637 int stackSize = keepStackSize();
5638 }
5639:
5640 (
5641 { before(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); }
5642 ruleVLSUnitaryFormula
5643 { after(grammarAccess.getVLSBinaryAccess().getRightVLSUnitaryFormulaParserRuleCall_1_2_2_0()); }
5644 )
5645;
5646finally {
5647 restoreStackSize(stackSize);
5648}
5649
5650rule__VLSUniversalQuantifier__VariablesAssignment_1_2
5651 @init {
5652 int stackSize = keepStackSize();
5653 }
5654:
5655 (
5656 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); }
5657 ruleVLSVariable
5658 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); }
5659 )
5660;
5661finally {
5662 restoreStackSize(stackSize);
5663}
5664
5665rule__VLSUniversalQuantifier__VariablesAssignment_1_3_1
5666 @init {
5667 int stackSize = keepStackSize();
5668 }
5669:
5670 (
5671 { before(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); }
5672 ruleVLSVariable
5673 { after(grammarAccess.getVLSUniversalQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); }
5674 )
5675;
5676finally {
5677 restoreStackSize(stackSize);
5678}
5679
5680rule__VLSUniversalQuantifier__OperandAssignment_2
5681 @init {
5682 int stackSize = keepStackSize();
5683 }
5684:
5685 (
5686 { before(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5687 ruleVLSUnitaryFormula
5688 { after(grammarAccess.getVLSUniversalQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5689 )
5690;
5691finally {
5692 restoreStackSize(stackSize);
5693}
5694
5695rule__VLSExistentialQuantifier__VariablesAssignment_1_2
5696 @init {
5697 int stackSize = keepStackSize();
5698 }
5699:
5700 (
5701 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); }
5702 ruleVLSVariable
5703 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_2_0()); }
5704 )
5705;
5706finally {
5707 restoreStackSize(stackSize);
5708}
5709
5710rule__VLSExistentialQuantifier__VariablesAssignment_1_3_1
5711 @init {
5712 int stackSize = keepStackSize();
5713 }
5714:
5715 (
5716 { before(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); }
5717 ruleVLSVariable
5718 { after(grammarAccess.getVLSExistentialQuantifierAccess().getVariablesVLSVariableParserRuleCall_1_3_1_0()); }
5719 )
5720;
5721finally {
5722 restoreStackSize(stackSize);
5723}
5724
5725rule__VLSExistentialQuantifier__OperandAssignment_2
5726 @init {
5727 int stackSize = keepStackSize();
5728 }
5729:
5730 (
5731 { before(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5732 ruleVLSUnitaryFormula
5733 { after(grammarAccess.getVLSExistentialQuantifierAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5734 )
5735;
5736finally {
5737 restoreStackSize(stackSize);
5738}
5739
5740rule__VLSUnaryNegation__OperandAssignment_2
5741 @init {
5742 int stackSize = keepStackSize();
5743 }
5744:
5745 (
5746 { before(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5747 ruleVLSUnitaryFormula
5748 { after(grammarAccess.getVLSUnaryNegationAccess().getOperandVLSUnitaryFormulaParserRuleCall_2_0()); }
5749 )
5750;
5751finally {
5752 restoreStackSize(stackSize);
5753}
5754
5755rule__VLSUnaryInfix__RightAssignment_1_1
5756 @init {
5757 int stackSize = keepStackSize();
5758 }
5759:
5760 (
5761 { before(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); }
5762 ruleVLSAtomic
5763 { after(grammarAccess.getVLSUnaryInfixAccess().getRightVLSAtomicParserRuleCall_1_1_0()); }
5764 )
5765;
5766finally {
5767 restoreStackSize(stackSize);
5768}
5769
5770rule__VLSAtomicConstant__NameAssignment_0_1
5771 @init {
5772 int stackSize = keepStackSize();
5773 }
5774:
5775 (
5776 { before(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); }
5777 (rule__VLSAtomicConstant__NameAlternatives_0_1_0)
5778 { after(grammarAccess.getVLSAtomicConstantAccess().getNameAlternatives_0_1_0()); }
5779 )
5780;
5781finally {
5782 restoreStackSize(stackSize);
5783}
5784
5785rule__VLSAtomicFunction__ConstantAssignment_0_1
5786 @init {
5787 int stackSize = keepStackSize();
5788 }
5789:
5790 (
5791 { before(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); }
5792 (rule__VLSAtomicFunction__ConstantAlternatives_0_1_0)
5793 { after(grammarAccess.getVLSAtomicFunctionAccess().getConstantAlternatives_0_1_0()); }
5794 )
5795;
5796finally {
5797 restoreStackSize(stackSize);
5798}
5799
5800rule__VLSAtomicFunction__TermsAssignment_0_2_1
5801 @init {
5802 int stackSize = keepStackSize();
5803 }
5804:
5805 (
5806 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); }
5807 ruleVLSFofTerm
5808 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_1_0()); }
5809 )
5810;
5811finally {
5812 restoreStackSize(stackSize);
5813}
5814
5815rule__VLSAtomicFunction__TermsAssignment_0_2_2_1
5816 @init {
5817 int stackSize = keepStackSize();
5818 }
5819:
5820 (
5821 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); }
5822 ruleVLSFofTerm
5823 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_0_2_2_1_0()); }
5824 )
5825;
5826finally {
5827 restoreStackSize(stackSize);
5828}
5829
5830rule__VLSAtomicFunction__NameAssignment_1_1
5831 @init {
5832 int stackSize = keepStackSize();
5833 }
5834:
5835 (
5836 { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); }
5837 (
5838 { before(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); }
5839 '$less'
5840 { after(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); }
5841 )
5842 { after(grammarAccess.getVLSAtomicFunctionAccess().getNameLessKeyword_1_1_0()); }
5843 )
5844;
5845finally {
5846 restoreStackSize(stackSize);
5847}
5848
5849rule__VLSAtomicFunction__TermsAssignment_1_3
5850 @init {
5851 int stackSize = keepStackSize();
5852 }
5853:
5854 (
5855 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); }
5856 ruleVLSFofTerm
5857 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_3_0()); }
5858 )
5859;
5860finally {
5861 restoreStackSize(stackSize);
5862}
5863
5864rule__VLSAtomicFunction__TermsAssignment_1_5
5865 @init {
5866 int stackSize = keepStackSize();
5867 }
5868:
5869 (
5870 { before(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); }
5871 ruleVLSFofTerm
5872 { after(grammarAccess.getVLSAtomicFunctionAccess().getTermsVLSFofTermParserRuleCall_1_5_0()); }
5873 )
5874;
5875finally {
5876 restoreStackSize(stackSize);
5877}
5878
5879rule__VLSVariable__NameAssignment
5880 @init {
5881 int stackSize = keepStackSize();
5882 }
5883:
5884 (
5885 { before(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); }
5886 RULE_UPPER_WORD_ID
5887 { after(grammarAccess.getVLSVariableAccess().getNameUPPER_WORD_IDTerminalRuleCall_0()); }
5888 )
5889;
5890finally {
5891 restoreStackSize(stackSize);
5892}
5893
5894rule__VLSFunctionAsTerm__FunctorAssignment_0
5895 @init {
5896 int stackSize = keepStackSize();
5897 }
5898:
5899 (
5900 { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); }
5901 (rule__VLSFunctionAsTerm__FunctorAlternatives_0_0)
5902 { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); }
5903 )
5904;
5905finally {
5906 restoreStackSize(stackSize);
5907}
5908
5909rule__VLSFunctionAsTerm__TermsAssignment_1_1
5910 @init {
5911 int stackSize = keepStackSize();
5912 }
5913:
5914 (
5915 { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }
5916 ruleVLSFofTerm
5917 { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }
5918 )
5919;
5920finally {
5921 restoreStackSize(stackSize);
5922}
5923
5924rule__VLSFunctionAsTerm__TermsAssignment_1_2_1
5925 @init {
5926 int stackSize = keepStackSize();
5927 }
5928:
5929 (
5930 { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }
5931 ruleVLSFofTerm
5932 { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }
5933 )
5934;
5935finally {
5936 restoreStackSize(stackSize);
5937}
5938
5939rule__VLSDefinedTerm__ValueAssignment_0_1
5940 @init {
5941 int stackSize = keepStackSize();
5942 }
5943:
5944 (
5945 { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); }
5946 RULE_SIGNED_LITERAL
5947 { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_LITERALTerminalRuleCall_0_1_0()); }
5948 )
5949;
5950finally {
5951 restoreStackSize(stackSize);
5952}
5953
5954rule__VLSDefinedTerm__ValueAssignment_1_1
5955 @init {
5956 int stackSize = keepStackSize();
5957 }
5958:
5959 (
5960 { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); }
5961 RULE_SIGNED_REAL_ID
5962 { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_REAL_IDTerminalRuleCall_1_1_0()); }
5963 )
5964;
5965finally {
5966 restoreStackSize(stackSize);
5967}
5968
5969rule__VLSDefinedTerm__ValueAssignment_2_1
5970 @init {
5971 int stackSize = keepStackSize();
5972 }
5973:
5974 (
5975 { before(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); }
5976 RULE_SIGNED_RAT_ID
5977 { after(grammarAccess.getVLSDefinedTermAccess().getValueSIGNED_RAT_IDTerminalRuleCall_2_1_0()); }
5978 )
5979;
5980finally {
5981 restoreStackSize(stackSize);
5982}
5983
5984rule__VLSDefinedTerm__ValueAssignment_3_1
5985 @init {
5986 int stackSize = keepStackSize();
5987 }
5988:
5989 (
5990 { before(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); }
5991 RULE_DOUBLE_QUOTE
5992 { after(grammarAccess.getVLSDefinedTermAccess().getValueDOUBLE_QUOTETerminalRuleCall_3_1_0()); }
5993 )
5994;
5995finally {
5996 restoreStackSize(stackSize);
5997}
5998
5999fragment RULE_ALPHA_NUMERIC : ('a'..'z'|'A'..'Z'|'0'..'9'|'_');
6000
6001RULE_UPPER_WORD_ID : 'A'..'Z' RULE_ALPHA_NUMERIC*;
6002
6003RULE_LOWER_WORD_ID : 'a'..'z' RULE_ALPHA_NUMERIC*;
6004
6005RULE_DOUBLE_QUOTE : '"' ('\\' ('"'|'\\')|~(('\\'|'"')))* '"';
6006
6007RULE_SINGLE_QUOTE : '\'' ('\\' ('\''|'\\')|~(('\\'|'\'')))+ '\'';
6008
6009fragment RULE_SIGN : ('+'|'-');
6010
6011RULE_DOLLAR_ID : '$' RULE_LOWER_WORD_ID;
6012
6013RULE_DOUBLE_DOLLAR_ID : '$$' RULE_LOWER_WORD_ID;
6014
6015RULE_LITERAL : ('0'|'1'..'9' RULE_INT?);
6016
6017RULE_SIGNED_LITERAL : RULE_SIGN* RULE_LITERAL;
6018
6019fragment RULE_UNSIGNED_REAL_FRAC_ID : RULE_LITERAL '.' RULE_INT;
6020
6021fragment RULE_UNSIGNED_REAL_EXP_ID : (RULE_LITERAL|RULE_UNSIGNED_REAL_FRAC_ID) 'Ee' RULE_SIGN* RULE_INT;
6022
6023RULE_SIGNED_REAL_ID : RULE_SIGN* (RULE_UNSIGNED_REAL_FRAC_ID|RULE_UNSIGNED_REAL_EXP_ID);
6024
6025fragment RULE_UNSIGNED_RAT_ID : RULE_LITERAL '/' '1'..'9' RULE_INT?;
6026
6027RULE_SIGNED_RAT_ID : RULE_SIGN* RULE_UNSIGNED_RAT_ID;
6028
6029fragment RULE_ID : ~(('\n'|'\r'))*;
6030
6031fragment RULE_ANY_OTHER : RULE_ID;
6032
6033RULE_SINGLE_COMMENT : RULE_ANY_OTHER;
6034
6035fragment RULE_INT : ('0'..'9')+;
6036
6037RULE_STRING : ('"' ('\\' .|~(('\\'|'"')))* '"'|'\'' ('\\' .|~(('\\'|'\'')))* '\'');
6038
6039RULE_ML_COMMENT : '/*' ( options {greedy=false;} : . )*'*/';
6040
6041RULE_SL_COMMENT : '//' ~(('\n'|'\r'))* ('\r'? '\n')?;
6042
6043RULE_WS : (' '|'\t'|'\r'|'\n')+;
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-12 09:57:15 +0000