1 files changed, 27 insertions, 27 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java
index e7df5378..60061aee 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.vampireLanguage;

 

@@ -456,14 +456,14 @@ public interface VampireLanguagePackage extends EPackage
   int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;

 

   /**

-   * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl <em>VLS Function Fof</em>}' class.

+   * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof()

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm()

    * @generated

    */

-  int VLS_FUNCTION_FOF = 11;

+  int VLS_FUNCTION_AS_TERM = 11;

 

   /**

    * The feature id for the '<em><b>Functor</b></em>' attribute.

@@ -472,7 +472,7 @@ public interface VampireLanguagePackage extends EPackage
    * @generated

    * @ordered

    */

-  int VLS_FUNCTION_FOF__FUNCTOR = VLS_TERM_FEATURE_COUNT + 0;

+  int VLS_FUNCTION_AS_TERM__FUNCTOR = VLS_TERM_FEATURE_COUNT + 0;

 

   /**

    * The feature id for the '<em><b>Terms</b></em>' containment reference list.

@@ -481,16 +481,16 @@ public interface VampireLanguagePackage extends EPackage
    * @generated

    * @ordered

    */

-  int VLS_FUNCTION_FOF__TERMS = VLS_TERM_FEATURE_COUNT + 1;

+  int VLS_FUNCTION_AS_TERM__TERMS = VLS_TERM_FEATURE_COUNT + 1;

 

   /**

-   * The number of structural features of the '<em>VLS Function Fof</em>' class.

+   * The number of structural features of the '<em>VLS Function As Term</em>' class.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

    * @generated

    * @ordered

    */

-  int VLS_FUNCTION_FOF_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;

+  int VLS_FUNCTION_AS_TERM_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 2;

 

   /**

    * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl <em>VLS Defined Term</em>}' class.

@@ -1624,36 +1624,36 @@ public interface VampireLanguagePackage extends EPackage
   EAttribute getVLSVariable_Name();

 

   /**

-   * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'.

+   * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm <em>VLS Function As Term</em>}'.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

-   * @return the meta object for class '<em>VLS Function Fof</em>'.

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof

+   * @return the meta object for class '<em>VLS Function As Term</em>'.

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm

    * @generated

    */

-  EClass getVLSFunctionFof();

+  EClass getVLSFunctionAsTerm();

 

   /**

-   * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor <em>Functor</em>}'.

+   * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getFunctor <em>Functor</em>}'.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

    * @return the meta object for the attribute '<em>Functor</em>'.

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getFunctor()

-   * @see #getVLSFunctionFof()

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getFunctor()

+   * @see #getVLSFunctionAsTerm()

    * @generated

    */

-  EAttribute getVLSFunctionFof_Functor();

+  EAttribute getVLSFunctionAsTerm_Functor();

 

   /**

-   * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms <em>Terms</em>}'.

+   * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getTerms <em>Terms</em>}'.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

    * @return the meta object for the containment reference list '<em>Terms</em>'.

-   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof#getTerms()

-   * @see #getVLSFunctionFof()

+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm#getTerms()

+   * @see #getVLSFunctionAsTerm()

    * @generated

    */

-  EReference getVLSFunctionFof_Terms();

+  EReference getVLSFunctionAsTerm_Terms();

 

   /**

    * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm <em>VLS Defined Term</em>}'.

@@ -2560,14 +2560,14 @@ public interface VampireLanguagePackage extends EPackage
     EAttribute VLS_VARIABLE__NAME = eINSTANCE.getVLSVariable_Name();

 

     /**

-     * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl <em>VLS Function Fof</em>}' class.

+     * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class.

      * <!-- begin-user-doc -->

      * <!-- end-user-doc -->

-     * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionFofImpl

-     * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof()

+     * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl

+     * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionAsTerm()

      * @generated

      */

-    EClass VLS_FUNCTION_FOF = eINSTANCE.getVLSFunctionFof();

+    EClass VLS_FUNCTION_AS_TERM = eINSTANCE.getVLSFunctionAsTerm();

 

     /**

      * The meta object literal for the '<em><b>Functor</b></em>' attribute feature.

@@ -2575,7 +2575,7 @@ public interface VampireLanguagePackage extends EPackage
      * <!-- end-user-doc -->

      * @generated

      */

-    EAttribute VLS_FUNCTION_FOF__FUNCTOR = eINSTANCE.getVLSFunctionFof_Functor();

+    EAttribute VLS_FUNCTION_AS_TERM__FUNCTOR = eINSTANCE.getVLSFunctionAsTerm_Functor();

 

     /**

      * The meta object literal for the '<em><b>Terms</b></em>' containment reference list feature.

@@ -2583,7 +2583,7 @@ public interface VampireLanguagePackage extends EPackage
      * <!-- end-user-doc -->

      * @generated

      */

-    EReference VLS_FUNCTION_FOF__TERMS = eINSTANCE.getVLSFunctionFof_Terms();

+    EReference VLS_FUNCTION_AS_TERM__TERMS = eINSTANCE.getVLSFunctionAsTerm_Terms();

 

     /**

      * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSDefinedTermImpl <em>VLS Defined Term</em>}' class.