diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java index c5bd8be2..e159834e 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/services/VampireLanguageGrammarAccess.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * generated by Xtext 2.12.0 | 2 | * generated by Xtext 2.14.0 |
3 | */ | 3 | */ |
4 | package ca.mcgill.ecse.dslreasoner.services; | 4 | package ca.mcgill.ecse.dslreasoner.services; |
5 | 5 | ||
@@ -1382,28 +1382,28 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1382 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofTerm"); | 1382 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofTerm"); |
1383 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); | 1383 | private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1); |
1384 | private final RuleCall cVLSVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); | 1384 | private final RuleCall cVLSVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0); |
1385 | private final RuleCall cVLSFunctionFofParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); | 1385 | private final RuleCall cVLSFunctionAsTermParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1); |
1386 | private final RuleCall cVLSDefinedTermParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); | 1386 | private final RuleCall cVLSDefinedTermParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2); |
1387 | 1387 | ||
1388 | //VLSFofTerm VLSTerm: | 1388 | //VLSFofTerm VLSTerm: |
1389 | // VLSVariable | VLSFunctionFof | VLSDefinedTerm; | 1389 | // VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm; |
1390 | @Override public ParserRule getRule() { return rule; } | 1390 | @Override public ParserRule getRule() { return rule; } |
1391 | 1391 | ||
1392 | ////(VLSVariable | VLSFunction | VLSTffConditional | VLSTffLet | VLSTffTuple) | 1392 | ////(VLSVariable | VLSFunction | VLSTffConditional | VLSTffLet | VLSTffTuple) |
1393 | //VLSVariable | VLSFunctionFof | VLSDefinedTerm | 1393 | //VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm |
1394 | public Alternatives getAlternatives() { return cAlternatives; } | 1394 | public Alternatives getAlternatives() { return cAlternatives; } |
1395 | 1395 | ||
1396 | //VLSVariable | 1396 | //VLSVariable |
1397 | public RuleCall getVLSVariableParserRuleCall_0() { return cVLSVariableParserRuleCall_0; } | 1397 | public RuleCall getVLSVariableParserRuleCall_0() { return cVLSVariableParserRuleCall_0; } |
1398 | 1398 | ||
1399 | //VLSFunctionFof | 1399 | //VLSFunctionAsTerm |
1400 | public RuleCall getVLSFunctionFofParserRuleCall_1() { return cVLSFunctionFofParserRuleCall_1; } | 1400 | public RuleCall getVLSFunctionAsTermParserRuleCall_1() { return cVLSFunctionAsTermParserRuleCall_1; } |
1401 | 1401 | ||
1402 | //VLSDefinedTerm | 1402 | //VLSDefinedTerm |
1403 | public RuleCall getVLSDefinedTermParserRuleCall_2() { return cVLSDefinedTermParserRuleCall_2; } | 1403 | public RuleCall getVLSDefinedTermParserRuleCall_2() { return cVLSDefinedTermParserRuleCall_2; } |
1404 | } | 1404 | } |
1405 | public class VLSFunctionFofElements extends AbstractParserRuleElementFinder { | 1405 | public class VLSFunctionAsTermElements extends AbstractParserRuleElementFinder { |
1406 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFunctionFof"); | 1406 | private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFunctionAsTerm"); |
1407 | private final Group cGroup = (Group)rule.eContents().get(1); | 1407 | private final Group cGroup = (Group)rule.eContents().get(1); |
1408 | private final Assignment cFunctorAssignment_0 = (Assignment)cGroup.eContents().get(0); | 1408 | private final Assignment cFunctorAssignment_0 = (Assignment)cGroup.eContents().get(0); |
1409 | private final Alternatives cFunctorAlternatives_0_0 = (Alternatives)cFunctorAssignment_0.eContents().get(0); | 1409 | private final Alternatives cFunctorAlternatives_0_0 = (Alternatives)cFunctorAssignment_0.eContents().get(0); |
@@ -1421,7 +1421,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1421 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_2_1_0 = (RuleCall)cTermsAssignment_1_2_1.eContents().get(0); | 1421 | private final RuleCall cTermsVLSFofTermParserRuleCall_1_2_1_0 = (RuleCall)cTermsAssignment_1_2_1.eContents().get(0); |
1422 | private final Keyword cRightParenthesisKeyword_1_3 = (Keyword)cGroup_1.eContents().get(3); | 1422 | private final Keyword cRightParenthesisKeyword_1_3 = (Keyword)cGroup_1.eContents().get(3); |
1423 | 1423 | ||
1424 | //VLSFunctionFof: | 1424 | //VLSFunctionAsTerm: |
1425 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* | 1425 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* |
1426 | // ')')?; | 1426 | // ')')?; |
1427 | @Override public ParserRule getRule() { return rule; } | 1427 | @Override public ParserRule getRule() { return rule; } |
@@ -1599,7 +1599,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1599 | private final VLSAtomicFunctionElements pVLSAtomicFunction; | 1599 | private final VLSAtomicFunctionElements pVLSAtomicFunction; |
1600 | private final VLSVariableElements pVLSVariable; | 1600 | private final VLSVariableElements pVLSVariable; |
1601 | private final VLSFofTermElements pVLSFofTerm; | 1601 | private final VLSFofTermElements pVLSFofTerm; |
1602 | private final VLSFunctionFofElements pVLSFunctionFof; | 1602 | private final VLSFunctionAsTermElements pVLSFunctionAsTerm; |
1603 | private final VLSDefinedTermElements pVLSDefinedTerm; | 1603 | private final VLSDefinedTermElements pVLSDefinedTerm; |
1604 | 1604 | ||
1605 | private final Grammar grammar; | 1605 | private final Grammar grammar; |
@@ -1652,7 +1652,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
1652 | this.pVLSAtomicFunction = new VLSAtomicFunctionElements(); | 1652 | this.pVLSAtomicFunction = new VLSAtomicFunctionElements(); |
1653 | this.pVLSVariable = new VLSVariableElements(); | 1653 | this.pVLSVariable = new VLSVariableElements(); |
1654 | this.pVLSFofTerm = new VLSFofTermElements(); | 1654 | this.pVLSFofTerm = new VLSFofTermElements(); |
1655 | this.pVLSFunctionFof = new VLSFunctionFofElements(); | 1655 | this.pVLSFunctionAsTerm = new VLSFunctionAsTermElements(); |
1656 | this.pVLSDefinedTerm = new VLSDefinedTermElements(); | 1656 | this.pVLSDefinedTerm = new VLSDefinedTermElements(); |
1657 | } | 1657 | } |
1658 | 1658 | ||
@@ -2145,7 +2145,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2145 | } | 2145 | } |
2146 | 2146 | ||
2147 | //VLSFofTerm VLSTerm: | 2147 | //VLSFofTerm VLSTerm: |
2148 | // VLSVariable | VLSFunctionFof | VLSDefinedTerm; | 2148 | // VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm; |
2149 | public VLSFofTermElements getVLSFofTermAccess() { | 2149 | public VLSFofTermElements getVLSFofTermAccess() { |
2150 | return pVLSFofTerm; | 2150 | return pVLSFofTerm; |
2151 | } | 2151 | } |
@@ -2154,15 +2154,15 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder { | |||
2154 | return getVLSFofTermAccess().getRule(); | 2154 | return getVLSFofTermAccess().getRule(); |
2155 | } | 2155 | } |
2156 | 2156 | ||
2157 | //VLSFunctionFof: | 2157 | //VLSFunctionAsTerm: |
2158 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* | 2158 | // functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)* |
2159 | // ')')?; | 2159 | // ')')?; |
2160 | public VLSFunctionFofElements getVLSFunctionFofAccess() { | 2160 | public VLSFunctionAsTermElements getVLSFunctionAsTermAccess() { |
2161 | return pVLSFunctionFof; | 2161 | return pVLSFunctionAsTerm; |
2162 | } | 2162 | } |
2163 | 2163 | ||
2164 | public ParserRule getVLSFunctionFofRule() { | 2164 | public ParserRule getVLSFunctionAsTermRule() { |
2165 | return getVLSFunctionFofAccess().getRule(); | 2165 | return getVLSFunctionAsTermAccess().getRule(); |
2166 | } | 2166 | } |
2167 | 2167 | ||
2168 | //VLSDefinedTerm: | 2168 | //VLSDefinedTerm: |