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