1 files changed, 83 insertions, 83 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
index 24768ec3..c5f2bcd0 100644
--- 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
@@ -1,5 +1,5 @@
 /*

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 grammar InternalVampireLanguage;

 

@@ -624,25 +624,25 @@ finally {
         restoreStackSize(stackSize);

 }

 

-// Entry rule entryRuleVLSFunctionFof

-entryRuleVLSFunctionFof

+// Entry rule entryRuleVLSFunctionAsTerm

+entryRuleVLSFunctionAsTerm

 :

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

-         ruleVLSFunctionFof

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

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

+         ruleVLSFunctionAsTerm

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

          EOF 

 ;

 

-// Rule VLSFunctionFof

-ruleVLSFunctionFof 

+// Rule VLSFunctionAsTerm

+ruleVLSFunctionAsTerm 

         @init {

                 int stackSize = keepStackSize();

         }

         :

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getGroup()); }

-                (rule__VLSFunctionFof__Group__0)

-                { after(grammarAccess.getVLSFunctionFofAccess().getGroup()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); }

+                (rule__VLSFunctionAsTerm__Group__0)

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup()); }

         )

 ;

 finally {

@@ -1249,9 +1249,9 @@ rule__VLSFofTerm__Alternatives
         )

         |

         (

-                { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); }

-                ruleVLSFunctionFof

-                { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionFofParserRuleCall_1()); }

+                { before(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); }

+                ruleVLSFunctionAsTerm

+                { after(grammarAccess.getVLSFofTermAccess().getVLSFunctionAsTermParserRuleCall_1()); }

         )

         |

         (

@@ -1264,33 +1264,33 @@ finally {
         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__FunctorAlternatives_0_0

+rule__VLSFunctionAsTerm__FunctorAlternatives_0_0

         @init {

                 int stackSize = keepStackSize();

         }

 :

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }

                 RULE_LOWER_WORD_ID

-                { after(grammarAccess.getVLSFunctionFofAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorLOWER_WORD_IDTerminalRuleCall_0_0_0()); }

         )

         |

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }

                 RULE_SINGLE_QUOTE

-                { after(grammarAccess.getVLSFunctionFofAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorSINGLE_QUOTETerminalRuleCall_0_0_1()); }

         )

         |

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }

                 RULE_DOLLAR_ID

-                { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOLLAR_IDTerminalRuleCall_0_0_2()); }

         )

         |

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }

                 RULE_DOUBLE_DOLLAR_ID

-                { after(grammarAccess.getVLSFunctionFofAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorDOUBLE_DOLLAR_IDTerminalRuleCall_0_0_3()); }

         )

 ;

 finally {

@@ -4840,53 +4840,53 @@ finally {
 }

 

 

-rule__VLSFunctionFof__Group__0

+rule__VLSFunctionAsTerm__Group__0

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group__0__Impl

-        rule__VLSFunctionFof__Group__1

+        rule__VLSFunctionAsTerm__Group__0__Impl

+        rule__VLSFunctionAsTerm__Group__1

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group__0__Impl

+rule__VLSFunctionAsTerm__Group__0__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); }

-        (rule__VLSFunctionFof__FunctorAssignment_0)

-        { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAssignment_0()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); }

+        (rule__VLSFunctionAsTerm__FunctorAssignment_0)

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAssignment_0()); }

 )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group__1

+rule__VLSFunctionAsTerm__Group__1

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group__1__Impl

+        rule__VLSFunctionAsTerm__Group__1__Impl

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group__1__Impl

+rule__VLSFunctionAsTerm__Group__1__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); }

-        (rule__VLSFunctionFof__Group_1__0)?

-        { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); }

+        (rule__VLSFunctionAsTerm__Group_1__0)?

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1()); }

 )

 ;

 finally {

@@ -4894,107 +4894,107 @@ finally {
 }

 

 

-rule__VLSFunctionFof__Group_1__0

+rule__VLSFunctionAsTerm__Group_1__0

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1__0__Impl

-        rule__VLSFunctionFof__Group_1__1

+        rule__VLSFunctionAsTerm__Group_1__0__Impl

+        rule__VLSFunctionAsTerm__Group_1__1

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__0__Impl

+rule__VLSFunctionAsTerm__Group_1__0__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); }

         '('

-        { after(grammarAccess.getVLSFunctionFofAccess().getLeftParenthesisKeyword_1_0()); }

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getLeftParenthesisKeyword_1_0()); }

 )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__1

+rule__VLSFunctionAsTerm__Group_1__1

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1__1__Impl

-        rule__VLSFunctionFof__Group_1__2

+        rule__VLSFunctionAsTerm__Group_1__1__Impl

+        rule__VLSFunctionAsTerm__Group_1__2

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__1__Impl

+rule__VLSFunctionAsTerm__Group_1__1__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); }

-        (rule__VLSFunctionFof__TermsAssignment_1_1)

-        { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_1()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); }

+        (rule__VLSFunctionAsTerm__TermsAssignment_1_1)

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_1()); }

 )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__2

+rule__VLSFunctionAsTerm__Group_1__2

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1__2__Impl

-        rule__VLSFunctionFof__Group_1__3

+        rule__VLSFunctionAsTerm__Group_1__2__Impl

+        rule__VLSFunctionAsTerm__Group_1__3

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__2__Impl

+rule__VLSFunctionAsTerm__Group_1__2__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); }

-        (rule__VLSFunctionFof__Group_1_2__0)*

-        { after(grammarAccess.getVLSFunctionFofAccess().getGroup_1_2()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); }

+        (rule__VLSFunctionAsTerm__Group_1_2__0)*

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getGroup_1_2()); }

 )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__3

+rule__VLSFunctionAsTerm__Group_1__3

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1__3__Impl

+        rule__VLSFunctionAsTerm__Group_1__3__Impl

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1__3__Impl

+rule__VLSFunctionAsTerm__Group_1__3__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); }

         ')'

-        { after(grammarAccess.getVLSFunctionFofAccess().getRightParenthesisKeyword_1_3()); }

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getRightParenthesisKeyword_1_3()); }

 )

 ;

 finally {

@@ -5002,53 +5002,53 @@ finally {
 }

 

 

-rule__VLSFunctionFof__Group_1_2__0

+rule__VLSFunctionAsTerm__Group_1_2__0

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1_2__0__Impl

-        rule__VLSFunctionFof__Group_1_2__1

+        rule__VLSFunctionAsTerm__Group_1_2__0__Impl

+        rule__VLSFunctionAsTerm__Group_1_2__1

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1_2__0__Impl

+rule__VLSFunctionAsTerm__Group_1_2__0__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); }

         ','

-        { after(grammarAccess.getVLSFunctionFofAccess().getCommaKeyword_1_2_0()); }

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getCommaKeyword_1_2_0()); }

 )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1_2__1

+rule__VLSFunctionAsTerm__Group_1_2__1

         @init {

                 int stackSize = keepStackSize();

         }

 :

-        rule__VLSFunctionFof__Group_1_2__1__Impl

+        rule__VLSFunctionAsTerm__Group_1_2__1__Impl

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__Group_1_2__1__Impl

+rule__VLSFunctionAsTerm__Group_1_2__1__Impl

         @init {

                 int stackSize = keepStackSize();

         }

 :

 (

-        { before(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); }

-        (rule__VLSFunctionFof__TermsAssignment_1_2_1)

-        { after(grammarAccess.getVLSFunctionFofAccess().getTermsAssignment_1_2_1()); }

+        { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); }

+        (rule__VLSFunctionAsTerm__TermsAssignment_1_2_1)

+        { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsAssignment_1_2_1()); }

 )

 ;

 finally {

@@ -5891,45 +5891,45 @@ finally {
         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__FunctorAssignment_0

+rule__VLSFunctionAsTerm__FunctorAssignment_0

         @init {

                 int stackSize = keepStackSize();

         }

 :

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); }

-                (rule__VLSFunctionFof__FunctorAlternatives_0_0)

-                { after(grammarAccess.getVLSFunctionFofAccess().getFunctorAlternatives_0_0()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); }

+                (rule__VLSFunctionAsTerm__FunctorAlternatives_0_0)

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getFunctorAlternatives_0_0()); }

         )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__TermsAssignment_1_1

+rule__VLSFunctionAsTerm__TermsAssignment_1_1

         @init {

                 int stackSize = keepStackSize();

         }

 :

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }

                 ruleVLSFofTerm

-                { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_1_0()); }

         )

 ;

 finally {

         restoreStackSize(stackSize);

 }

 

-rule__VLSFunctionFof__TermsAssignment_1_2_1

+rule__VLSFunctionAsTerm__TermsAssignment_1_2_1

         @init {

                 int stackSize = keepStackSize();

         }

 :

         (

-                { before(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }

+                { before(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }

                 ruleVLSFofTerm

-                { after(grammarAccess.getVLSFunctionFofAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }

+                { after(grammarAccess.getVLSFunctionAsTermAccess().getTermsVLSFofTermParserRuleCall_1_2_1_0()); }

         )

 ;

 finally {