1 files changed, 0 insertions, 46 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
index eddb3b4c..24ad4238 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
@@ -116,20 +116,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

-      case VampireLanguagePackage.VLS_TRYING:

-      {

-        VLSTrying vlsTrying = (VLSTrying)theEObject;

-        T result = caseVLSTrying(vlsTrying);

-        if (result == null) result = defaultCase(theEObject);

-        return result;

-      }

-      case VampireLanguagePackage.VLS_FINITE_MODEL:

-      {

-        VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;

-        T result = caseVLSFiniteModel(vlsFiniteModel);

-        if (result == null) result = defaultCase(theEObject);

-        return result;

-      }

       case VampireLanguagePackage.VLS_FOF_FORMULA:

       {

         VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;

@@ -471,38 +457,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'.

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

-   * This implementation returns null;

-   * returning a non-null result will terminate the switch.

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

-   * @param object the target of the switch.

-   * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'.

-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

-   * @generated

-   */

-  public T caseVLSTrying(VLSTrying object)

-  {

-    return null;

-  }

-

-  /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.

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

-   * This implementation returns null;

-   * returning a non-null result will terminate the switch.

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

-   * @param object the target of the switch.

-   * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.

-   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

-   * @generated

-   */

-  public T caseVLSFiniteModel(VLSFiniteModel object)

-  {

-    return null;

-  }

-

-  /**

    * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.

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

    * This implementation returns null;