1 files changed, 26 insertions, 26 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g
index 2ab53393..62840209 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/parser/antlr/internal/InternalVampireLanguage.g
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 grammar InternalVampireLanguage;

 

@@ -2187,11 +2187,11 @@ ruleVLSFofTerm returns [EObject current=null]
                 }

                     |

                 {

-                        newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1());

+                        newCompositeNode(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1());

                 }

-                this_VLSFunctionFof_1=ruleVLSFunctionFof

+                this_VLSFunctionAsTerm_1=ruleVLSFunctionAsTerm

                 {

-                        $current = $this_VLSFunctionFof_1.current;

+                        $current = $this_VLSFunctionAsTerm_1.current;

                         afterParserOrEnumRuleCall();

                 }

                     |

@@ -2206,15 +2206,15 @@ ruleVLSFofTerm returns [EObject current=null]
         )

 ;

 

-// Entry rule entryRuleVLSFunctionFof

-entryRuleVLSFunctionFof returns [EObject current=null]:

-        { newCompositeNode(grammarAccess.getVLSFunctionFofRule()); }

-        iv_ruleVLSFunctionFof=ruleVLSFunctionFof

-        { $current=$iv_ruleVLSFunctionFof.current; }

+// Entry rule entryRuleVLSFunctionAsTerm

+entryRuleVLSFunctionAsTerm returns [EObject current=null]:

+        { newCompositeNode(grammarAccess.getVLSFunctionAsTermRule()); }

+        iv_ruleVLSFunctionAsTerm=ruleVLSFunctionAsTerm

+        { $current=$iv_ruleVLSFunctionAsTerm.current; }

         EOF;

 

-// Rule VLSFunctionFof

-ruleVLSFunctionFof returns [EObject current=null]

+// Rule VLSFunctionAsTerm

+ruleVLSFunctionAsTerm returns [EObject current=null]

 @init {

         enterRule();

 }

@@ -2227,11 +2227,11 @@ ruleVLSFunctionFof returns [EObject current=null]
                                 (

                                         lv_functor_0_1=RULE_LOWER_WORD_ID

                                         {

-                                                newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0());

+                                                newLeafNode(lv_functor_0_1, grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0());

                                         }

                                         {

                                                 if ($current==null) {

-                                                        $current = createModelElement(grammarAccess.getVLSFunctionFofRule());

+                                                        $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule());

                                                 }

                                                 setWithLastConsumed(

                                                         $current,

@@ -2242,11 +2242,11 @@ ruleVLSFunctionFof returns [EObject current=null]
                                             |

                                         lv_functor_0_2=RULE_SINGLE_QUOTE

                                         {

-                                                newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1());

+                                                newLeafNode(lv_functor_0_2, grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1());

                                         }

                                         {

                                                 if ($current==null) {

-                                                        $current = createModelElement(grammarAccess.getVLSFunctionFofRule());

+                                                        $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule());

                                                 }

                                                 setWithLastConsumed(

                                                         $current,

@@ -2257,11 +2257,11 @@ ruleVLSFunctionFof returns [EObject current=null]
                                             |

                                         lv_functor_0_3=RULE_DOLLAR_ID

                                         {

-                                                newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2());

+                                                newLeafNode(lv_functor_0_3, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2());

                                         }

                                         {

                                                 if ($current==null) {

-                                                        $current = createModelElement(grammarAccess.getVLSFunctionFofRule());

+                                                        $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule());

                                                 }

                                                 setWithLastConsumed(

                                                         $current,

@@ -2272,11 +2272,11 @@ ruleVLSFunctionFof returns [EObject current=null]
                                             |

                                         lv_functor_0_4=RULE_DOUBLE_DOLLAR_ID

                                         {

-                                                newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3());

+                                                newLeafNode(lv_functor_0_4, grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3());

                                         }

                                         {

                                                 if ($current==null) {

-                                                        $current = createModelElement(grammarAccess.getVLSFunctionFofRule());

+                                                        $current = createModelElement(grammarAccess.getVLSFunctionAsTermRule());

                                                 }

                                                 setWithLastConsumed(

                                                         $current,

@@ -2290,17 +2290,17 @@ ruleVLSFunctionFof returns [EObject current=null]
                 (

                         otherlv_1='('

                         {

-                                newLeafNode(otherlv_1, grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0());

+                                newLeafNode(otherlv_1, grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0());

                         }

                         (

                                 (

                                         {

-                                                newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0());

+                                                newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0());

                                         }

                                         lv_terms_2_0=ruleVLSFofTerm

                                         {

                                                 if ($current==null) {

-                                                        $current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule());

+                                                        $current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule());

                                                 }

                                                 add(

                                                         $current,

@@ -2314,17 +2314,17 @@ ruleVLSFunctionFof returns [EObject current=null]
                         (

                                 otherlv_3=','

                                 {

-                                        newLeafNode(otherlv_3, grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0());

+                                        newLeafNode(otherlv_3, grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0());

                                 }

                                 (

                                         (

                                                 {

-                                                        newCompositeNode(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0());

+                                                        newCompositeNode(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0());

                                                 }

                                                 lv_terms_4_0=ruleVLSFofTerm

                                                 {

                                                         if ($current==null) {

-                                                                $current = createModelElementForParent(grammarAccess.getVLSFunctionFofRule());

+                                                                $current = createModelElementForParent(grammarAccess.getVLSFunctionAsTermRule());

                                                         }

                                                         add(

                                                                 $current,

@@ -2338,7 +2338,7 @@ ruleVLSFunctionFof returns [EObject current=null]
                         )*

                         otherlv_5=')'

                         {

-                                newLeafNode(otherlv_5, grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3());

+                                newLeafNode(otherlv_5, grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3());

                         }

                 )?

         )