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 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.services;

 

@@ -1382,28 +1382,28 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFofTerm");

                 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);

                 private final RuleCall cVLSVariableParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);

-                private final RuleCall cVLSFunctionFofParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);

+                private final RuleCall cVLSFunctionAsTermParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);

                 private final RuleCall cVLSDefinedTermParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);

                 

                 //VLSFofTerm VLSTerm:

-                //      VLSVariable | VLSFunctionFof | VLSDefinedTerm;

+                //      VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm;

                 @Override public ParserRule getRule() { return rule; }

                 

                 ////(VLSVariable | VLSFunction | VLSTffConditional | VLSTffLet | VLSTffTuple)

-                //VLSVariable | VLSFunctionFof | VLSDefinedTerm

+                //VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm

                 public Alternatives getAlternatives() { return cAlternatives; }

                 

                 //VLSVariable

                 public RuleCall getVLSVariableParserRuleCall_0() { return cVLSVariableParserRuleCall_0; }

                 

-                //VLSFunctionFof

-                public RuleCall getVLSFunctionFofParserRuleCall_1() { return cVLSFunctionFofParserRuleCall_1; }

+                //VLSFunctionAsTerm

+                public RuleCall getVLSFunctionAsTermParserRuleCall_1() { return cVLSFunctionAsTermParserRuleCall_1; }

                 

                 //VLSDefinedTerm

                 public RuleCall getVLSDefinedTermParserRuleCall_2() { return cVLSDefinedTermParserRuleCall_2; }

         }

-        public class VLSFunctionFofElements extends AbstractParserRuleElementFinder {

-                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFunctionFof");

+        public class VLSFunctionAsTermElements extends AbstractParserRuleElementFinder {

+                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "ca.mcgill.ecse.dslreasoner.VampireLanguage.VLSFunctionAsTerm");

                 private final Group cGroup = (Group)rule.eContents().get(1);

                 private final Assignment cFunctorAssignment_0 = (Assignment)cGroup.eContents().get(0);

                 private final Alternatives cFunctorAlternatives_0_0 = (Alternatives)cFunctorAssignment_0.eContents().get(0);

@@ -1421,7 +1421,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
                 private final RuleCall cTermsVLSFofTermParserRuleCall_1_2_1_0 = (RuleCall)cTermsAssignment_1_2_1.eContents().get(0);

                 private final Keyword cRightParenthesisKeyword_1_3 = (Keyword)cGroup_1.eContents().get(3);

                 

-                //VLSFunctionFof:

+                //VLSFunctionAsTerm:

                 //      functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)*

                 //      ')')?;

                 @Override public ParserRule getRule() { return rule; }

@@ -1599,7 +1599,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
         private final VLSAtomicFunctionElements pVLSAtomicFunction;

         private final VLSVariableElements pVLSVariable;

         private final VLSFofTermElements pVLSFofTerm;

-        private final VLSFunctionFofElements pVLSFunctionFof;

+        private final VLSFunctionAsTermElements pVLSFunctionAsTerm;

         private final VLSDefinedTermElements pVLSDefinedTerm;

         

         private final Grammar grammar;

@@ -1652,7 +1652,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
                 this.pVLSAtomicFunction = new VLSAtomicFunctionElements();

                 this.pVLSVariable = new VLSVariableElements();

                 this.pVLSFofTerm = new VLSFofTermElements();

-                this.pVLSFunctionFof = new VLSFunctionFofElements();

+                this.pVLSFunctionAsTerm = new VLSFunctionAsTermElements();

                 this.pVLSDefinedTerm = new VLSDefinedTermElements();

         }

         

@@ -2145,7 +2145,7 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
         }

         

         //VLSFofTerm VLSTerm:

-        //      VLSVariable | VLSFunctionFof | VLSDefinedTerm;

+        //      VLSVariable | VLSFunctionAsTerm | VLSDefinedTerm;

         public VLSFofTermElements getVLSFofTermAccess() {

                 return pVLSFofTerm;

         }

@@ -2154,15 +2154,15 @@ public class VampireLanguageGrammarAccess extends AbstractGrammarElementFinder {
                 return getVLSFofTermAccess().getRule();

         }

         

-        //VLSFunctionFof:

+        //VLSFunctionAsTerm:

         //      functor=(LOWER_WORD_ID | SINGLE_QUOTE | DOLLAR_ID | DOUBLE_DOLLAR_ID) ('(' terms+=VLSFofTerm (',' terms+=VLSFofTerm)*

         //      ')')?;

-        public VLSFunctionFofElements getVLSFunctionFofAccess() {

-                return pVLSFunctionFof;

+        public VLSFunctionAsTermElements getVLSFunctionAsTermAccess() {

+                return pVLSFunctionAsTerm;

         }

         

-        public ParserRule getVLSFunctionFofRule() {

-                return getVLSFunctionFofAccess().getRule();

+        public ParserRule getVLSFunctionAsTermRule() {

+                return getVLSFunctionAsTermAccess().getRule();

         }

         

         //VLSDefinedTerm: