2 files changed, 1659 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
new file mode 100644
index 00000000..8e096360
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java
@@ -0,0 +1,773 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
+ * @generated
+ */
+public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
+{
+  /**
+   * The cached model package.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected static VampireLanguagePackage modelPackage;
+  /**
+   * Creates an instance of the adapter factory.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VampireLanguageAdapterFactory()
+  {
+    if (modelPackage == null)
+    {
+      modelPackage = VampireLanguagePackage.eINSTANCE;
+    }
+  }
+  /**
+   * Returns whether this factory is applicable for the type of the object.
+   * <!-- begin-user-doc -->
+   * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+   * <!-- end-user-doc -->
+   * @return whether this factory is applicable for the type of the object.
+   * @generated
+   */
+  @Override
+  public boolean isFactoryForType(Object object)
+  {
+    if (object == modelPackage)
+    {
+      return true;
+    }
+    if (object instanceof EObject)
+    {
+      return ((EObject)object).eClass().getEPackage() == modelPackage;
+    }
+    return false;
+  }
+  /**
+   * The switch that delegates to the <code>createXXX</code> methods.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected VampireLanguageSwitch<Adapter> modelSwitch =
+    new VampireLanguageSwitch<Adapter>()
+    {
+      @Override
+      public Adapter caseVampireModel(VampireModel object)
+      {
+        return createVampireModelAdapter();
+      }
+      @Override
+      public Adapter caseVLSInclude(VLSInclude object)
+      {
+        return createVLSIncludeAdapter();
+      }
+      @Override
+      public Adapter caseVLSName(VLSName object)
+      {
+        return createVLSNameAdapter();
+      }
+      @Override
+      public Adapter caseVLSComment(VLSComment object)
+      {
+        return createVLSCommentAdapter();
+      }
+      @Override
+      public Adapter caseVLSFofFormula(VLSFofFormula object)
+      {
+        return createVLSFofFormulaAdapter();
+      }
+      @Override
+      public Adapter caseVLSAnnotation(VLSAnnotation object)
+      {
+        return createVLSAnnotationAdapter();
+      }
+      @Override
+      public Adapter caseVLSTerm(VLSTerm object)
+      {
+        return createVLSTermAdapter();
+      }
+      @Override
+      public Adapter caseVLSVariable(VLSVariable object)
+      {
+        return createVLSVariableAdapter();
+      }
+      @Override
+      public Adapter caseVLSFunctionFof(VLSFunctionFof object)
+      {
+        return createVLSFunctionFofAdapter();
+      }
+      @Override
+      public Adapter caseVLSDefinedTerm(VLSDefinedTerm object)
+      {
+        return createVLSDefinedTermAdapter();
+      }
+      @Override
+      public Adapter caseVLSEquivalent(VLSEquivalent object)
+      {
+        return createVLSEquivalentAdapter();
+      }
+      @Override
+      public Adapter caseVLSImplies(VLSImplies object)
+      {
+        return createVLSImpliesAdapter();
+      }
+      @Override
+      public Adapter caseVLSRevImplies(VLSRevImplies object)
+      {
+        return createVLSRevImpliesAdapter();
+      }
+      @Override
+      public Adapter caseVLSXnor(VLSXnor object)
+      {
+        return createVLSXnorAdapter();
+      }
+      @Override
+      public Adapter caseVLSNor(VLSNor object)
+      {
+        return createVLSNorAdapter();
+      }
+      @Override
+      public Adapter caseVLSNand(VLSNand object)
+      {
+        return createVLSNandAdapter();
+      }
+      @Override
+      public Adapter caseVLSAnd(VLSAnd object)
+      {
+        return createVLSAndAdapter();
+      }
+      @Override
+      public Adapter caseVLSOr(VLSOr object)
+      {
+        return createVLSOrAdapter();
+      }
+      @Override
+      public Adapter caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
+      {
+        return createVLSUniversalQuantifierAdapter();
+      }
+      @Override
+      public Adapter caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
+      {
+        return createVLSExistentialQuantifierAdapter();
+      }
+      @Override
+      public Adapter caseVLSUnaryNegation(VLSUnaryNegation object)
+      {
+        return createVLSUnaryNegationAdapter();
+      }
+      @Override
+      public Adapter caseVLSInequality(VLSInequality object)
+      {
+        return createVLSInequalityAdapter();
+      }
+      @Override
+      public Adapter caseVLSEquality(VLSEquality object)
+      {
+        return createVLSEqualityAdapter();
+      }
+      @Override
+      public Adapter caseVLSAssignment(VLSAssignment object)
+      {
+        return createVLSAssignmentAdapter();
+      }
+      @Override
+      public Adapter caseVLSConstant(VLSConstant object)
+      {
+        return createVLSConstantAdapter();
+      }
+      @Override
+      public Adapter caseVLSTrue(VLSTrue object)
+      {
+        return createVLSTrueAdapter();
+      }
+      @Override
+      public Adapter caseVLSFalse(VLSFalse object)
+      {
+        return createVLSFalseAdapter();
+      }
+      @Override
+      public Adapter caseVLSFunction(VLSFunction object)
+      {
+        return createVLSFunctionAdapter();
+      }
+      @Override
+      public Adapter caseVLSLess(VLSLess object)
+      {
+        return createVLSLessAdapter();
+      }
+      @Override
+      public Adapter caseVLSInt(VLSInt object)
+      {
+        return createVLSIntAdapter();
+      }
+      @Override
+      public Adapter caseVLSReal(VLSReal object)
+      {
+        return createVLSRealAdapter();
+      }
+      @Override
+      public Adapter caseVLSRational(VLSRational object)
+      {
+        return createVLSRationalAdapter();
+      }
+      @Override
+      public Adapter caseVLSDoubleQuote(VLSDoubleQuote object)
+      {
+        return createVLSDoubleQuoteAdapter();
+      }
+      @Override
+      public Adapter defaultCase(EObject object)
+      {
+        return createEObjectAdapter();
+      }
+    };
+  /**
+   * Creates an adapter for the <code>target</code>.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param target the object to adapt.
+   * @return the adapter for the <code>target</code>.
+   * @generated
+   */
+  @Override
+  public Adapter createAdapter(Notifier target)
+  {
+    return modelSwitch.doSwitch((EObject)target);
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel <em>Vampire Model</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel
+   * @generated
+   */
+  public Adapter createVampireModelAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude <em>VLS Include</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude
+   * @generated
+   */
+  public Adapter createVLSIncludeAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName <em>VLS Name</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName
+   * @generated
+   */
+  public Adapter createVLSNameAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment <em>VLS Comment</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment
+   * @generated
+   */
+  public Adapter createVLSCommentAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula
+   * @generated
+   */
+  public Adapter createVLSFofFormulaAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation
+   * @generated
+   */
+  public Adapter createVLSAnnotationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm <em>VLS Term</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm
+   * @generated
+   */
+  public Adapter createVLSTermAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable
+   * @generated
+   */
+  public Adapter createVLSVariableAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof <em>VLS Function Fof</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof
+   * @generated
+   */
+  public Adapter createVLSFunctionFofAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm <em>VLS Defined Term</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm
+   * @generated
+   */
+  public Adapter createVLSDefinedTermAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent <em>VLS Equivalent</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent
+   * @generated
+   */
+  public Adapter createVLSEquivalentAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies <em>VLS Implies</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies
+   * @generated
+   */
+  public Adapter createVLSImpliesAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies <em>VLS Rev Implies</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies
+   * @generated
+   */
+  public Adapter createVLSRevImpliesAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor <em>VLS Xnor</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor
+   * @generated
+   */
+  public Adapter createVLSXnorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor <em>VLS Nor</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor
+   * @generated
+   */
+  public Adapter createVLSNorAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand <em>VLS Nand</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand
+   * @generated
+   */
+  public Adapter createVLSNandAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd <em>VLS And</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd
+   * @generated
+   */
+  public Adapter createVLSAndAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr <em>VLS Or</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr
+   * @generated
+   */
+  public Adapter createVLSOrAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier <em>VLS Universal Quantifier</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier
+   * @generated
+   */
+  public Adapter createVLSUniversalQuantifierAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier <em>VLS Existential Quantifier</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier
+   * @generated
+   */
+  public Adapter createVLSExistentialQuantifierAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation <em>VLS Unary Negation</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation
+   * @generated
+   */
+  public Adapter createVLSUnaryNegationAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality <em>VLS Inequality</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality
+   * @generated
+   */
+  public Adapter createVLSInequalityAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality <em>VLS Equality</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality
+   * @generated
+   */
+  public Adapter createVLSEqualityAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment <em>VLS Assignment</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment
+   * @generated
+   */
+  public Adapter createVLSAssignmentAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant <em>VLS Constant</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant
+   * @generated
+   */
+  public Adapter createVLSConstantAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue <em>VLS True</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue
+   * @generated
+   */
+  public Adapter createVLSTrueAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse <em>VLS False</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse
+   * @generated
+   */
+  public Adapter createVLSFalseAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction <em>VLS Function</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction
+   * @generated
+   */
+  public Adapter createVLSFunctionAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess <em>VLS Less</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess
+   * @generated
+   */
+  public Adapter createVLSLessAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt <em>VLS Int</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt
+   * @generated
+   */
+  public Adapter createVLSIntAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal <em>VLS Real</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal
+   * @generated
+   */
+  public Adapter createVLSRealAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational <em>VLS Rational</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational
+   * @generated
+   */
+  public Adapter createVLSRationalAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote <em>VLS Double Quote</em>}'.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null so that we can easily ignore cases;
+   * it's useful to ignore a case when inheritance will catch all the cases anyway.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote
+   * @generated
+   */
+  public Adapter createVLSDoubleQuoteAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for the default case.
+   * <!-- begin-user-doc -->
+   * This default implementation returns null.
+   * <!-- end-user-doc -->
+   * @return the new adapter.
+   * @generated
+   */
+  public Adapter createEObjectAdapter()
+  {
+    return null;
+  }
+} //VampireLanguageAdapterFactory
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
new file mode 100644
index 00000000..8d70157d
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java
@@ -0,0 +1,886 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage.util;
+import ca.mcgill.ecse.dslreasoner.vampireLanguage.*;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.util.Switch;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage
+ * @generated
+ */
+public class VampireLanguageSwitch<T> extends Switch<T>
+{
+  /**
+   * The cached model package
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  protected static VampireLanguagePackage modelPackage;
+  /**
+   * Creates an instance of the switch.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @generated
+   */
+  public VampireLanguageSwitch()
+  {
+    if (modelPackage == null)
+    {
+      modelPackage = VampireLanguagePackage.eINSTANCE;
+    }
+  }
+  /**
+   * Checks whether this is a switch for the given package.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param ePackage the package in question.
+   * @return whether this is a switch for the given package.
+   * @generated
+   */
+  @Override
+  protected boolean isSwitchFor(EPackage ePackage)
+  {
+    return ePackage == modelPackage;
+  }
+  /**
+   * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @return the first non-null result returned by a <code>caseXXX</code> call.
+   * @generated
+   */
+  @Override
+  protected T doSwitch(int classifierID, EObject theEObject)
+  {
+    switch (classifierID)
+    {
+      case VampireLanguagePackage.VAMPIRE_MODEL:
+      {
+        VampireModel vampireModel = (VampireModel)theEObject;
+        T result = caseVampireModel(vampireModel);
+        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;
+        T result = caseVLSComment(vlsComment);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_FOF_FORMULA:
+      {
+        VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
+        T result = caseVLSFofFormula(vlsFofFormula);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_ANNOTATION:
+      {
+        VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
+        T result = caseVLSAnnotation(vlsAnnotation);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_TERM:
+      {
+        VLSTerm vlsTerm = (VLSTerm)theEObject;
+        T result = caseVLSTerm(vlsTerm);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_VARIABLE:
+      {
+        VLSVariable vlsVariable = (VLSVariable)theEObject;
+        T result = caseVLSVariable(vlsVariable);
+        if (result == null) result = caseVLSTerm(vlsVariable);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_FUNCTION_FOF:
+      {
+        VLSFunctionFof vlsFunctionFof = (VLSFunctionFof)theEObject;
+        T result = caseVLSFunctionFof(vlsFunctionFof);
+        if (result == null) result = caseVLSTerm(vlsFunctionFof);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_DEFINED_TERM:
+      {
+        VLSDefinedTerm vlsDefinedTerm = (VLSDefinedTerm)theEObject;
+        T result = caseVLSDefinedTerm(vlsDefinedTerm);
+        if (result == null) result = caseVLSTerm(vlsDefinedTerm);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_EQUIVALENT:
+      {
+        VLSEquivalent vlsEquivalent = (VLSEquivalent)theEObject;
+        T result = caseVLSEquivalent(vlsEquivalent);
+        if (result == null) result = caseVLSTerm(vlsEquivalent);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_IMPLIES:
+      {
+        VLSImplies vlsImplies = (VLSImplies)theEObject;
+        T result = caseVLSImplies(vlsImplies);
+        if (result == null) result = caseVLSTerm(vlsImplies);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_REV_IMPLIES:
+      {
+        VLSRevImplies vlsRevImplies = (VLSRevImplies)theEObject;
+        T result = caseVLSRevImplies(vlsRevImplies);
+        if (result == null) result = caseVLSTerm(vlsRevImplies);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_XNOR:
+      {
+        VLSXnor vlsXnor = (VLSXnor)theEObject;
+        T result = caseVLSXnor(vlsXnor);
+        if (result == null) result = caseVLSTerm(vlsXnor);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_NOR:
+      {
+        VLSNor vlsNor = (VLSNor)theEObject;
+        T result = caseVLSNor(vlsNor);
+        if (result == null) result = caseVLSTerm(vlsNor);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_NAND:
+      {
+        VLSNand vlsNand = (VLSNand)theEObject;
+        T result = caseVLSNand(vlsNand);
+        if (result == null) result = caseVLSTerm(vlsNand);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_AND:
+      {
+        VLSAnd vlsAnd = (VLSAnd)theEObject;
+        T result = caseVLSAnd(vlsAnd);
+        if (result == null) result = caseVLSTerm(vlsAnd);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_OR:
+      {
+        VLSOr vlsOr = (VLSOr)theEObject;
+        T result = caseVLSOr(vlsOr);
+        if (result == null) result = caseVLSTerm(vlsOr);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_UNIVERSAL_QUANTIFIER:
+      {
+        VLSUniversalQuantifier vlsUniversalQuantifier = (VLSUniversalQuantifier)theEObject;
+        T result = caseVLSUniversalQuantifier(vlsUniversalQuantifier);
+        if (result == null) result = caseVLSTerm(vlsUniversalQuantifier);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_EXISTENTIAL_QUANTIFIER:
+      {
+        VLSExistentialQuantifier vlsExistentialQuantifier = (VLSExistentialQuantifier)theEObject;
+        T result = caseVLSExistentialQuantifier(vlsExistentialQuantifier);
+        if (result == null) result = caseVLSTerm(vlsExistentialQuantifier);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_UNARY_NEGATION:
+      {
+        VLSUnaryNegation vlsUnaryNegation = (VLSUnaryNegation)theEObject;
+        T result = caseVLSUnaryNegation(vlsUnaryNegation);
+        if (result == null) result = caseVLSTerm(vlsUnaryNegation);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_INEQUALITY:
+      {
+        VLSInequality vlsInequality = (VLSInequality)theEObject;
+        T result = caseVLSInequality(vlsInequality);
+        if (result == null) result = caseVLSTerm(vlsInequality);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_EQUALITY:
+      {
+        VLSEquality vlsEquality = (VLSEquality)theEObject;
+        T result = caseVLSEquality(vlsEquality);
+        if (result == null) result = caseVLSTerm(vlsEquality);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_ASSIGNMENT:
+      {
+        VLSAssignment vlsAssignment = (VLSAssignment)theEObject;
+        T result = caseVLSAssignment(vlsAssignment);
+        if (result == null) result = caseVLSTerm(vlsAssignment);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_CONSTANT:
+      {
+        VLSConstant vlsConstant = (VLSConstant)theEObject;
+        T result = caseVLSConstant(vlsConstant);
+        if (result == null) result = caseVLSTerm(vlsConstant);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_TRUE:
+      {
+        VLSTrue vlsTrue = (VLSTrue)theEObject;
+        T result = caseVLSTrue(vlsTrue);
+        if (result == null) result = caseVLSTerm(vlsTrue);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_FALSE:
+      {
+        VLSFalse vlsFalse = (VLSFalse)theEObject;
+        T result = caseVLSFalse(vlsFalse);
+        if (result == null) result = caseVLSTerm(vlsFalse);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_FUNCTION:
+      {
+        VLSFunction vlsFunction = (VLSFunction)theEObject;
+        T result = caseVLSFunction(vlsFunction);
+        if (result == null) result = caseVLSTerm(vlsFunction);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_LESS:
+      {
+        VLSLess vlsLess = (VLSLess)theEObject;
+        T result = caseVLSLess(vlsLess);
+        if (result == null) result = caseVLSTerm(vlsLess);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_INT:
+      {
+        VLSInt vlsInt = (VLSInt)theEObject;
+        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 = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_DOUBLE_QUOTE:
+      {
+        VLSDoubleQuote vlsDoubleQuote = (VLSDoubleQuote)theEObject;
+        T result = caseVLSDoubleQuote(vlsDoubleQuote);
+        if (result == null) result = caseVLSDefinedTerm(vlsDoubleQuote);
+        if (result == null) result = caseVLSTerm(vlsDoubleQuote);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      default: return defaultCase(theEObject);
+    }
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>Vampire 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>Vampire Model</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVampireModel(VampireModel object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Include</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>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSInclude(VLSInclude object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Name</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>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSName(VLSName object)
+  {
+    return null;
+  }
+  /**
+   * 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 Comment</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSComment(VLSComment 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;
+   * 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>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSFofFormula(VLSFofFormula object)
+  {
+    return null;
+  }
+  /**
+   * 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 Annotation</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSAnnotation(VLSAnnotation object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS 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 Term</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSTerm(VLSTerm object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Variable</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</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSVariable(VLSVariable object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Function Fof</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 Function Fof</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSFunctionFof(VLSFunctionFof object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Defined 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 Defined Term</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSDefinedTerm(VLSDefinedTerm 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;
+   * 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 Equivalent</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSEquivalent(VLSEquivalent object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Implies</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 Implies</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSImplies(VLSImplies object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Rev Implies</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 Rev Implies</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSRevImplies(VLSRevImplies object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Xnor</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 Xnor</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSXnor(VLSXnor object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Nor</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 Nor</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSNor(VLSNor object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Nand</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 Nand</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSNand(VLSNand object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS And</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 And</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSAnd(VLSAnd object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Or</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 Or</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSOr(VLSOr object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Universal Quantifier</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 Universal Quantifier</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSUniversalQuantifier(VLSUniversalQuantifier object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Existential Quantifier</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 Existential Quantifier</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSExistentialQuantifier(VLSExistentialQuantifier object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Unary Negation</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 Unary Negation</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSUnaryNegation(VLSUnaryNegation object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Inequality</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 Inequality</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSInequality(VLSInequality object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Equality</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 Equality</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSEquality(VLSEquality object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Assignment</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 Assignment</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSAssignment(VLSAssignment object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Constant</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 Constant</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSConstant(VLSConstant object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS True</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 True</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSTrue(VLSTrue object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS False</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 False</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSFalse(VLSFalse object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Function</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 Function</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSFunction(VLSFunction object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Less</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 Less</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSLess(VLSLess object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Int</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 Int</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSInt(VLSInt object)
+  {
+    return null;
+  }
+  /**
+   * 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;
+   * 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 Double Quote</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSDoubleQuote(VLSDoubleQuote object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+   * <!-- begin-user-doc -->
+   * This implementation returns null;
+   * returning a non-null result will terminate the switch, but this is the last case anyway.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+   * @generated
+   */
+  @Override
+  public T defaultCase(EObject object)
+  {
+    return null;
+  }
+} //VampireLanguageSwitch