1 files changed, 0 insertions, 39 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
index e0dcd099..1e26c760 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireModelImpl.java
@@ -6,7 +6,6 @@ package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;

@@ -33,7 +32,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
  * The following features are implemented:

  * </p>

  * <ul>

- *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getIncludes <em>Includes</em>}</li>

  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getComments <em>Comments</em>}</li>

  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getConfirmations <em>Confirmations</em>}</li>

  *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireModelImpl#getFormulas <em>Formulas</em>}</li>

@@ -45,16 +43,6 @@ import org.eclipse.emf.ecore.util.InternalEList;
 public class VampireModelImpl extends MinimalEObjectImpl.Container implements VampireModel

 {

   /**

-   * The cached value of the '{@link #getIncludes() <em>Includes</em>}' containment reference list.

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

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

-   * @see #getIncludes()

-   * @generated

-   * @ordered

-   */

-  protected EList<VLSInclude> includes;

-

-  /**

    * The cached value of the '{@link #getComments() <em>Comments</em>}' containment reference list.

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

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

@@ -120,20 +108,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
    * <!-- end-user-doc -->

    * @generated

    */

-  public EList<VLSInclude> getIncludes()

-  {

-    if (includes == null)

-    {

-      includes = new EObjectContainmentEList<VLSInclude>(VLSInclude.class, this, VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES);

-    }

-    return includes;

-  }

-

-  /**

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

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

-   * @generated

-   */

   public EList<VLSComment> getComments()

   {

     if (comments == null)

@@ -195,8 +169,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {

     switch (featureID)

     {

-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:

-        return ((InternalEList<?>)getIncludes()).basicRemove(otherEnd, msgs);

       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:

         return ((InternalEList<?>)getComments()).basicRemove(otherEnd, msgs);

       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:

@@ -219,8 +191,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {

     switch (featureID)

     {

-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:

-        return getIncludes();

       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:

         return getComments();

       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS:

@@ -244,10 +214,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {

     switch (featureID)

     {

-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:

-        getIncludes().clear();

-        getIncludes().addAll((Collection<? extends VLSInclude>)newValue);

-        return;

       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:

         getComments().clear();

         getComments().addAll((Collection<? extends VLSComment>)newValue);

@@ -278,9 +244,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {

     switch (featureID)

     {

-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:

-        getIncludes().clear();

-        return;

       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:

         getComments().clear();

         return;

@@ -307,8 +270,6 @@ public class VampireModelImpl extends MinimalEObjectImpl.Container implements Va
   {

     switch (featureID)

     {

-      case VampireLanguagePackage.VAMPIRE_MODEL__INCLUDES:

-        return includes != null && !includes.isEmpty();

       case VampireLanguagePackage.VAMPIRE_MODEL__COMMENTS:

         return comments != null && !comments.isEmpty();

       case VampireLanguagePackage.VAMPIRE_MODEL__CONFIRMATIONS: