1 files changed, 268 insertions, 96 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 3b7106f8..e4aae7f8 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
@@ -80,20 +80,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

-      case VampireLanguagePackage.VLS_INCLUDE:

-      {

-        VLSInclude vlsInclude = (VLSInclude)theEObject;

-        T result = caseVLSInclude(vlsInclude);

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

-        return result;

-      }

-      case VampireLanguagePackage.VLS_NAME:

-      {

-        VLSName vlsName = (VLSName)theEObject;

-        T result = caseVLSName(vlsName);

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

-        return result;

-      }

       case VampireLanguagePackage.VLS_COMMENT:

       {

         VLSComment vlsComment = (VLSComment)theEObject;

@@ -108,14 +94,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

-      case VampireLanguagePackage.VLS_SATISFIABLE:

-      {

-        VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;

-        T result = caseVLSSatisfiable(vlsSatisfiable);

-        if (result == null) result = caseVLSConfirmations(vlsSatisfiable);

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

-        return result;

-      }

       case VampireLanguagePackage.VLS_FOF_FORMULA:

       {

         VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;

@@ -137,10 +115,53 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case VampireLanguagePackage.VLS_TFF_TERM:

+      {

+        VLSTffTerm vlsTffTerm = (VLSTffTerm)theEObject;

+        T result = caseVLSTffTerm(vlsTffTerm);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_DECLARATION:

+      {

+        VLSDeclaration vlsDeclaration = (VLSDeclaration)theEObject;

+        T result = caseVLSDeclaration(vlsDeclaration);

+        if (result == null) result = caseVLSTffTerm(vlsDeclaration);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_OTHER_DECLARATION:

+      {

+        VLSOtherDeclaration vlsOtherDeclaration = (VLSOtherDeclaration)theEObject;

+        T result = caseVLSOtherDeclaration(vlsOtherDeclaration);

+        if (result == null) result = caseVLSDeclaration(vlsOtherDeclaration);

+        if (result == null) result = caseVLSTffTerm(vlsOtherDeclaration);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_VARIABLE_DECLARATION:

+      {

+        VLSVariableDeclaration vlsVariableDeclaration = (VLSVariableDeclaration)theEObject;

+        T result = caseVLSVariableDeclaration(vlsVariableDeclaration);

+        if (result == null) result = caseVLSDeclaration(vlsVariableDeclaration);

+        if (result == null) result = caseVLSTffTerm(vlsVariableDeclaration);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_TYPE_DEF:

+      {

+        VLSTypeDef vlsTypeDef = (VLSTypeDef)theEObject;

+        T result = caseVLSTypeDef(vlsTypeDef);

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

+        return result;

+      }

       case VampireLanguagePackage.VLS_TERM:

       {

         VLSTerm vlsTerm = (VLSTerm)theEObject;

         T result = caseVLSTerm(vlsTerm);

+        if (result == null) result = caseVLSOtherDeclaration(vlsTerm);

+        if (result == null) result = caseVLSDeclaration(vlsTerm);

+        if (result == null) result = caseVLSTffTerm(vlsTerm);

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

         return result;

       }

@@ -148,7 +169,11 @@ public class VampireLanguageSwitch<T> extends Switch<T>
       {

         VLSVariable vlsVariable = (VLSVariable)theEObject;

         T result = caseVLSVariable(vlsVariable);

+        if (result == null) result = caseVLSVariableDeclaration(vlsVariable);

         if (result == null) result = caseVLSTerm(vlsVariable);

+        if (result == null) result = caseVLSOtherDeclaration(vlsVariable);

+        if (result == null) result = caseVLSDeclaration(vlsVariable);

+        if (result == null) result = caseVLSTffTerm(vlsVariable);

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

         return result;

       }

@@ -157,6 +182,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSFunctionAsTerm vlsFunctionAsTerm = (VLSFunctionAsTerm)theEObject;

         T result = caseVLSFunctionAsTerm(vlsFunctionAsTerm);

         if (result == null) result = caseVLSTerm(vlsFunctionAsTerm);

+        if (result == null) result = caseVLSOtherDeclaration(vlsFunctionAsTerm);

+        if (result == null) result = caseVLSDeclaration(vlsFunctionAsTerm);

+        if (result == null) result = caseVLSTffTerm(vlsFunctionAsTerm);

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

         return result;

       }

@@ -165,6 +193,41 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;

         T result = caseVLSDefinedTerm(vlsDefinedTerm);

         if (result == null) result = caseVLSTerm(vlsDefinedTerm);

+        if (result == null) result = caseVLSOtherDeclaration(vlsDefinedTerm);

+        if (result == null) result = caseVLSDeclaration(vlsDefinedTerm);

+        if (result == null) result = caseVLSTffTerm(vlsDefinedTerm);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_SATISFIABLE:

+      {

+        VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;

+        T result = caseVLSSatisfiable(vlsSatisfiable);

+        if (result == null) result = caseVLSConfirmations(vlsSatisfiable);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_WARNING:

+      {

+        VLSWarning vlsWarning = (VLSWarning)theEObject;

+        T result = caseVLSWarning(vlsWarning);

+        if (result == null) result = caseVLSConfirmations(vlsWarning);

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

+        return result;

+      }

+      case VampireLanguagePackage.VLS_TRYING:

+      {

+        VLSTrying vlsTrying = (VLSTrying)theEObject;

+        T result = caseVLSTrying(vlsTrying);

+        if (result == null) result = caseVLSConfirmations(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 = caseVLSConfirmations(vlsFiniteModel);

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

         return result;

       }

@@ -173,6 +236,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;

         T result = caseVLSEquivalent(vlsEquivalent);

         if (result == null) result = caseVLSTerm(vlsEquivalent);

+        if (result == null) result = caseVLSOtherDeclaration(vlsEquivalent);

+        if (result == null) result = caseVLSDeclaration(vlsEquivalent);

+        if (result == null) result = caseVLSTffTerm(vlsEquivalent);

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

         return result;

       }

@@ -181,6 +247,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSImplies vlsImplies = (VLSImplies)theEObject;

         T result = caseVLSImplies(vlsImplies);

         if (result == null) result = caseVLSTerm(vlsImplies);

+        if (result == null) result = caseVLSOtherDeclaration(vlsImplies);

+        if (result == null) result = caseVLSDeclaration(vlsImplies);

+        if (result == null) result = caseVLSTffTerm(vlsImplies);

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

         return result;

       }

@@ -189,6 +258,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;

         T result = caseVLSRevImplies(vlsRevImplies);

         if (result == null) result = caseVLSTerm(vlsRevImplies);

+        if (result == null) result = caseVLSOtherDeclaration(vlsRevImplies);

+        if (result == null) result = caseVLSDeclaration(vlsRevImplies);

+        if (result == null) result = caseVLSTffTerm(vlsRevImplies);

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

         return result;

       }

@@ -197,6 +269,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSXnor vlsXnor = (VLSXnor)theEObject;

         T result = caseVLSXnor(vlsXnor);

         if (result == null) result = caseVLSTerm(vlsXnor);

+        if (result == null) result = caseVLSOtherDeclaration(vlsXnor);

+        if (result == null) result = caseVLSDeclaration(vlsXnor);

+        if (result == null) result = caseVLSTffTerm(vlsXnor);

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

         return result;

       }

@@ -205,6 +280,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSNor vlsNor = (VLSNor)theEObject;

         T result = caseVLSNor(vlsNor);

         if (result == null) result = caseVLSTerm(vlsNor);

+        if (result == null) result = caseVLSOtherDeclaration(vlsNor);

+        if (result == null) result = caseVLSDeclaration(vlsNor);

+        if (result == null) result = caseVLSTffTerm(vlsNor);

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

         return result;

       }

@@ -213,6 +291,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSNand vlsNand = (VLSNand)theEObject;

         T result = caseVLSNand(vlsNand);

         if (result == null) result = caseVLSTerm(vlsNand);

+        if (result == null) result = caseVLSOtherDeclaration(vlsNand);

+        if (result == null) result = caseVLSDeclaration(vlsNand);

+        if (result == null) result = caseVLSTffTerm(vlsNand);

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

         return result;

       }

@@ -221,6 +302,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSAnd vlsAnd = (VLSAnd)theEObject;

         T result = caseVLSAnd(vlsAnd);

         if (result == null) result = caseVLSTerm(vlsAnd);

+        if (result == null) result = caseVLSOtherDeclaration(vlsAnd);

+        if (result == null) result = caseVLSDeclaration(vlsAnd);

+        if (result == null) result = caseVLSTffTerm(vlsAnd);

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

         return result;

       }

@@ -229,6 +313,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSOr vlsOr = (VLSOr)theEObject;

         T result = caseVLSOr(vlsOr);

         if (result == null) result = caseVLSTerm(vlsOr);

+        if (result == null) result = caseVLSOtherDeclaration(vlsOr);

+        if (result == null) result = caseVLSDeclaration(vlsOr);

+        if (result == null) result = caseVLSTffTerm(vlsOr);

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

         return result;

       }

@@ -237,6 +324,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;

         T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);

         if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);

+        if (result == null) result = caseVLSOtherDeclaration(vlsUniversalQuantifier);

+        if (result == null) result = caseVLSDeclaration(vlsUniversalQuantifier);

+        if (result == null) result = caseVLSTffTerm(vlsUniversalQuantifier);

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

         return result;

       }

@@ -245,6 +335,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;

         T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);

         if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);

+        if (result == null) result = caseVLSOtherDeclaration(vlsExistentialQuantifier);

+        if (result == null) result = caseVLSDeclaration(vlsExistentialQuantifier);

+        if (result == null) result = caseVLSTffTerm(vlsExistentialQuantifier);

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

         return result;

       }

@@ -253,6 +346,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;

         T result = caseVLSUnaryNegation(vlsUnaryNegation);

         if (result == null) result = caseVLSTerm(vlsUnaryNegation);

+        if (result == null) result = caseVLSOtherDeclaration(vlsUnaryNegation);

+        if (result == null) result = caseVLSDeclaration(vlsUnaryNegation);

+        if (result == null) result = caseVLSTffTerm(vlsUnaryNegation);

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

         return result;

       }

@@ -261,6 +357,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSInequality vlsInequality = (VLSInequality)theEObject;

         T result = caseVLSInequality(vlsInequality);

         if (result == null) result = caseVLSTerm(vlsInequality);

+        if (result == null) result = caseVLSOtherDeclaration(vlsInequality);

+        if (result == null) result = caseVLSDeclaration(vlsInequality);

+        if (result == null) result = caseVLSTffTerm(vlsInequality);

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

         return result;

       }

@@ -269,6 +368,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSEquality vlsEquality = (VLSEquality)theEObject;

         T result = caseVLSEquality(vlsEquality);

         if (result == null) result = caseVLSTerm(vlsEquality);

+        if (result == null) result = caseVLSOtherDeclaration(vlsEquality);

+        if (result == null) result = caseVLSDeclaration(vlsEquality);

+        if (result == null) result = caseVLSTffTerm(vlsEquality);

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

         return result;

       }

@@ -277,6 +379,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSAssignment vlsAssignment = (VLSAssignment)theEObject;

         T result = caseVLSAssignment(vlsAssignment);

         if (result == null) result = caseVLSTerm(vlsAssignment);

+        if (result == null) result = caseVLSOtherDeclaration(vlsAssignment);

+        if (result == null) result = caseVLSDeclaration(vlsAssignment);

+        if (result == null) result = caseVLSTffTerm(vlsAssignment);

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

         return result;

       }

@@ -285,6 +390,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSConstant vlsConstant = (VLSConstant)theEObject;

         T result = caseVLSConstant(vlsConstant);

         if (result == null) result = caseVLSTerm(vlsConstant);

+        if (result == null) result = caseVLSOtherDeclaration(vlsConstant);

+        if (result == null) result = caseVLSDeclaration(vlsConstant);

+        if (result == null) result = caseVLSTffTerm(vlsConstant);

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

         return result;

       }

@@ -293,6 +401,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSTrue vlsTrue = (VLSTrue)theEObject;

         T result = caseVLSTrue(vlsTrue);

         if (result == null) result = caseVLSTerm(vlsTrue);

+        if (result == null) result = caseVLSOtherDeclaration(vlsTrue);

+        if (result == null) result = caseVLSDeclaration(vlsTrue);

+        if (result == null) result = caseVLSTffTerm(vlsTrue);

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

         return result;

       }

@@ -301,6 +412,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSFalse vlsFalse = (VLSFalse)theEObject;

         T result = caseVLSFalse(vlsFalse);

         if (result == null) result = caseVLSTerm(vlsFalse);

+        if (result == null) result = caseVLSOtherDeclaration(vlsFalse);

+        if (result == null) result = caseVLSDeclaration(vlsFalse);

+        if (result == null) result = caseVLSTffTerm(vlsFalse);

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

         return result;

       }

@@ -309,6 +423,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSFunction vlsFunction = (VLSFunction)theEObject;

         T result = caseVLSFunction(vlsFunction);

         if (result == null) result = caseVLSTerm(vlsFunction);

+        if (result == null) result = caseVLSOtherDeclaration(vlsFunction);

+        if (result == null) result = caseVLSDeclaration(vlsFunction);

+        if (result == null) result = caseVLSTffTerm(vlsFunction);

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

         return result;

       }

@@ -317,6 +434,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         VLSLess vlsLess = (VLSLess)theEObject;

         T result = caseVLSLess(vlsLess);

         if (result == null) result = caseVLSTerm(vlsLess);

+        if (result == null) result = caseVLSOtherDeclaration(vlsLess);

+        if (result == null) result = caseVLSDeclaration(vlsLess);

+        if (result == null) result = caseVLSTffTerm(vlsLess);

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

         return result;

       }

@@ -326,24 +446,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         T result = caseVLSInt(vlsInt);

         if (result == null) result = caseVLSDefinedTerm(vlsInt);

         if (result == null) result = caseVLSTerm(vlsInt);

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

-        return result;

-      }

-      case VampireLanguagePackage.VLS_REAL:

-      {

-        VLSReal vlsReal = (VLSReal)theEObject;

-        T result = caseVLSReal(vlsReal);

-        if (result == null) result = caseVLSDefinedTerm(vlsReal);

-        if (result == null) result = caseVLSTerm(vlsReal);

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

-        return result;

-      }

-      case VampireLanguagePackage.VLS_RATIONAL:

-      {

-        VLSRational vlsRational = (VLSRational)theEObject;

-        T result = caseVLSRational(vlsRational);

-        if (result == null) result = caseVLSDefinedTerm(vlsRational);

-        if (result == null) result = caseVLSTerm(vlsRational);

+        if (result == null) result = caseVLSOtherDeclaration(vlsInt);

+        if (result == null) result = caseVLSDeclaration(vlsInt);

+        if (result == null) result = caseVLSTffTerm(vlsInt);

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

         return result;

       }

@@ -353,6 +458,9 @@ public class VampireLanguageSwitch<T> extends Switch<T>
         T result = caseVLSDoubleQuote(vlsDoubleQuote);

         if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);

         if (result == null) result = caseVLSTerm(vlsDoubleQuote);

+        if (result == null) result = caseVLSOtherDeclaration(vlsDoubleQuote);

+        if (result == null) result = caseVLSDeclaration(vlsDoubleQuote);

+        if (result == null) result = caseVLSTffTerm(vlsDoubleQuote);

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

         return result;

       }

@@ -377,129 +485,161 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Comment</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 Include</em>'.

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

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

    * @generated

    */

-  public T caseVLSInclude(VLSInclude object)

+  public T caseVLSComment(VLSComment object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</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 Name</em>'.

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

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

    * @generated

    */

-  public T caseVLSName(VLSName object)

+  public T caseVLSConfirmations(VLSConfirmations object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</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 Comment</em>'.

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

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

    * @generated

    */

-  public T caseVLSComment(VLSComment object)

+  public T caseVLSFofFormula(VLSFofFormula object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</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 Confirmations</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.

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

    * @generated

    */

-  public T caseVLSConfirmations(VLSConfirmations object)

+  public T caseVLSTffFormula(VLSTffFormula object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Annotation</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 Satisfiable</em>'.

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

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

    * @generated

    */

-  public T caseVLSSatisfiable(VLSSatisfiable object)

+  public T caseVLSAnnotation(VLSAnnotation object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Tff Term</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 Fof Formula</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Tff Term</em>'.

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

    * @generated

    */

-  public T caseVLSFofFormula(VLSFofFormula object)

+  public T caseVLSTffTerm(VLSTffTerm object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Declaration</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 Tff Formula</em>'.

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

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

    * @generated

    */

-  public T caseVLSTffFormula(VLSTffFormula object)

+  public T caseVLSDeclaration(VLSDeclaration object)

   {

     return null;

   }

 

   /**

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

+   * Returns the result of interpreting the object as an instance of '<em>VLS Other Declaration</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 Annotation</em>'.

+   * @return the result of interpreting the object as an instance of '<em>VLS Other Declaration</em>'.

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

    * @generated

    */

-  public T caseVLSAnnotation(VLSAnnotation object)

+  public T caseVLSOtherDeclaration(VLSOtherDeclaration object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>VLS Variable Declaration</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 Variable Declaration</em>'.

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

+   * @generated

+   */

+  public T caseVLSVariableDeclaration(VLSVariableDeclaration object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>VLS Type Def</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 Type Def</em>'.

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

+   * @generated

+   */

+  public T caseVLSTypeDef(VLSTypeDef object)

   {

     return null;

   }

@@ -569,6 +709,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</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 Satisfiable</em>'.

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

+   * @generated

+   */

+  public T caseVLSSatisfiable(VLSSatisfiable object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>VLS Warning</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 Warning</em>'.

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

+   * @generated

+   */

+  public T caseVLSWarning(VLSWarning object)

+  {

+    return null;

+  }

+

+  /**

+   * 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 Equivalent</em>'.

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

    * This implementation returns null;

@@ -889,38 +1093,6 @@ public class VampireLanguageSwitch<T> extends Switch<T>
   }

 

   /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Real</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 Real</em>'.

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

-   * @generated

-   */

-  public T caseVLSReal(VLSReal object)

-  {

-    return null;

-  }

-

-  /**

-   * Returns the result of interpreting the object as an instance of '<em>VLS Rational</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 Rational</em>'.

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

-   * @generated

-   */

-  public T caseVLSRational(VLSRational object)

-  {

-    return null;

-  }

-

-  /**

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

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

    * This implementation returns null;