Implement Enum handling and study hierarchy handling

1 files changed, 5 insertions, 5 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
index c3c74fe9..a6b1ac36 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.14.0

  */

 package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;

 

@@ -76,7 +76,7 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
       case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation();

       case VampireLanguagePackage.VLS_TERM: return createVLSTerm();

       case VampireLanguagePackage.VLS_VARIABLE: return createVLSVariable();

-      case VampireLanguagePackage.VLS_FUNCTION_FOF: return createVLSFunctionFof();

+      case VampireLanguagePackage.VLS_FUNCTION_AS_TERM: return createVLSFunctionAsTerm();

       case VampireLanguagePackage.VLS_DEFINED_TERM: return createVLSDefinedTerm();

       case VampireLanguagePackage.VLS_EQUIVALENT: return createVLSEquivalent();

       case VampireLanguagePackage.VLS_IMPLIES: return createVLSImplies();

@@ -232,10 +232,10 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL
    * <!-- end-user-doc -->

    * @generated

    */

-  public VLSFunctionFof createVLSFunctionFof()

+  public VLSFunctionAsTerm createVLSFunctionAsTerm()

   {

-    VLSFunctionFofImpl vlsFunctionFof = new VLSFunctionFofImpl();

-    return vlsFunctionFof;

+    VLSFunctionAsTermImpl vlsFunctionAsTerm = new VLSFunctionAsTermImpl();

+    return vlsFunctionAsTerm;

   }

 

   /**