2 files changed, 216 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
index 8e096360..90781f47 100644
--- 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
@@ -96,11 +96,36 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
        return createVLSCommentAdapter();
      }
      @Override
+      public Adapter caseVLSConfirmations(VLSConfirmations object)
+      {
+        return createVLSConfirmationsAdapter();
+      }
+      @Override
+      public Adapter caseVLSSatisfiable(VLSSatisfiable object)
+      {
+        return createVLSSatisfiableAdapter();
+      }
+      @Override
+      public Adapter caseVLSTrying(VLSTrying object)
+      {
+        return createVLSTryingAdapter();
+      }
+      @Override
+      public Adapter caseVLSFiniteModel(VLSFiniteModel object)
+      {
+        return createVLSFiniteModelAdapter();
+      }
+      @Override
      public Adapter caseVLSFofFormula(VLSFofFormula object)
      {
        return createVLSFofFormulaAdapter();
      }
      @Override
+      public Adapter caseVLSTffFormula(VLSTffFormula object)
+      {
+        return createVLSTffFormulaAdapter();
+      }
+      @Override
      public Adapter caseVLSAnnotation(VLSAnnotation object)
      {
        return createVLSAnnotationAdapter();
@@ -323,6 +348,66 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
  }
  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations <em>VLS Confirmations</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.VLSConfirmations
+   * @generated
+   */
+  public Adapter createVLSConfirmationsAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</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.VLSSatisfiable
+   * @generated
+   */
+  public Adapter createVLSSatisfiableAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</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.VLSTrying
+   * @generated
+   */
+  public Adapter createVLSTryingAdapter()
+  {
+    return null;
+  }
+  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite 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.VLSFiniteModel
+   * @generated
+   */
+  public Adapter createVLSFiniteModelAdapter()
+  {
+    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;
@@ -338,6 +423,21 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
  }
  /**
+   * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula <em>VLS Tff 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.VLSTffFormula
+   * @generated
+   */
+  public Adapter createVLSTffFormulaAdapter()
+  {
+    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;
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 8d70157d..eddb3b4c 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
@@ -101,6 +101,35 @@ public class VampireLanguageSwitch<T> extends Switch<T>
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
+      case VampireLanguagePackage.VLS_CONFIRMATIONS:
+      {
+        VLSConfirmations vlsConfirmations = (VLSConfirmations)theEObject;
+        T result = caseVLSConfirmations(vlsConfirmations);
+        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_TRYING:
+      {
+        VLSTrying vlsTrying = (VLSTrying)theEObject;
+        T result = caseVLSTrying(vlsTrying);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
+      case VampireLanguagePackage.VLS_FINITE_MODEL:
+      {
+        VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;
+        T result = caseVLSFiniteModel(vlsFiniteModel);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
      case VampireLanguagePackage.VLS_FOF_FORMULA:
      {
        VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
@@ -108,6 +137,13 @@ public class VampireLanguageSwitch<T> extends Switch<T>
        if (result == null) result = defaultCase(theEObject);
        return result;
      }
+      case VampireLanguagePackage.VLS_TFF_FORMULA:
+      {
+        VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject;
+        T result = caseVLSTffFormula(vlsTffFormula);
+        if (result == null) result = defaultCase(theEObject);
+        return result;
+      }
      case VampireLanguagePackage.VLS_ANNOTATION:
      {
        VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
@@ -403,6 +439,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
  }
  /**
+   * 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 Confirmations</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSConfirmations(VLSConfirmations object)
+  {
+    return null;
+  }
+  /**
+   * 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 Trying</em>'.
+   * <!-- begin-user-doc -->
+   * This implementation returns null;
+   * returning a non-null result will terminate the switch.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSTrying(VLSTrying object)
+  {
+    return null;
+  }
+  /**
+   * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
+   * <!-- begin-user-doc -->
+   * This implementation returns null;
+   * returning a non-null result will terminate the switch.
+   * <!-- end-user-doc -->
+   * @param object the target of the switch.
+   * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSFiniteModel(VLSFiniteModel object)
+  {
+    return null;
+  }
+  /**
   * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
   * <!-- begin-user-doc -->
   * This implementation returns null;
@@ -419,6 +519,22 @@ public class VampireLanguageSwitch<T> extends Switch<T>
  }
  /**
+   * 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 Tff Formula</em>'.
+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+   * @generated
+   */
+  public T caseVLSTffFormula(VLSTffFormula 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;

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 index 8e096360..90781f47 100644 --- 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
@@ -96,11 +96,36 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
96	return createVLSCommentAdapter();	96	return createVLSCommentAdapter();
97	}	97	}
98	@Override	98	@Override
		99	public Adapter caseVLSConfirmations(VLSConfirmations object)
		100	{
		101	return createVLSConfirmationsAdapter();
		102	}
		103	@Override
		104	public Adapter caseVLSSatisfiable(VLSSatisfiable object)
		105	{
		106	return createVLSSatisfiableAdapter();
		107	}
		108	@Override
		109	public Adapter caseVLSTrying(VLSTrying object)
		110	{
		111	return createVLSTryingAdapter();
		112	}
		113	@Override
		114	public Adapter caseVLSFiniteModel(VLSFiniteModel object)
		115	{
		116	return createVLSFiniteModelAdapter();
		117	}
		118	@Override
99	public Adapter caseVLSFofFormula(VLSFofFormula object)	119	public Adapter caseVLSFofFormula(VLSFofFormula object)
100	{	120	{
101	return createVLSFofFormulaAdapter();	121	return createVLSFofFormulaAdapter();
102	}	122	}
103	@Override	123	@Override
		124	public Adapter caseVLSTffFormula(VLSTffFormula object)
		125	{
		126	return createVLSTffFormulaAdapter();
		127	}
		128	@Override
104	public Adapter caseVLSAnnotation(VLSAnnotation object)	129	public Adapter caseVLSAnnotation(VLSAnnotation object)
105	{	130	{
106	return createVLSAnnotationAdapter();	131	return createVLSAnnotationAdapter();
@@ -323,6 +348,66 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
323	}	348	}
324		349
325	/**	350	/**
		351	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations <em>VLS Confirmations</em>}'.
		352	* <!-- begin-user-doc -->
		353	* This default implementation returns null so that we can easily ignore cases;
		354	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		355	* <!-- end-user-doc -->
		356	* @return the new adapter.
		357	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations
		358	* @generated
		359	*/
		360	public Adapter createVLSConfirmationsAdapter()
		361	{
		362	return null;
		363	}
		364
		365	/**
		366	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable <em>VLS Satisfiable</em>}'.
		367	* <!-- begin-user-doc -->
		368	* This default implementation returns null so that we can easily ignore cases;
		369	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		370	* <!-- end-user-doc -->
		371	* @return the new adapter.
		372	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable
		373	* @generated
		374	*/
		375	public Adapter createVLSSatisfiableAdapter()
		376	{
		377	return null;
		378	}
		379
		380	/**
		381	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'.
		382	* <!-- begin-user-doc -->
		383	* This default implementation returns null so that we can easily ignore cases;
		384	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		385	* <!-- end-user-doc -->
		386	* @return the new adapter.
		387	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying
		388	* @generated
		389	*/
		390	public Adapter createVLSTryingAdapter()
		391	{
		392	return null;
		393	}
		394
		395	/**
		396	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'.
		397	* <!-- begin-user-doc -->
		398	* This default implementation returns null so that we can easily ignore cases;
		399	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		400	* <!-- end-user-doc -->
		401	* @return the new adapter.
		402	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel
		403	* @generated
		404	*/
		405	public Adapter createVLSFiniteModelAdapter()
		406	{
		407	return null;
		408	}
		409
		410	/**
326	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'.	411	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'.
327	* <!-- begin-user-doc -->	412	* <!-- begin-user-doc -->
328	* This default implementation returns null so that we can easily ignore cases;	413	* This default implementation returns null so that we can easily ignore cases;
@@ -338,6 +423,21 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl
338	}	423	}
339		424
340	/**	425	/**
		426	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula <em>VLS Tff Formula</em>}'.
		427	* <!-- begin-user-doc -->
		428	* This default implementation returns null so that we can easily ignore cases;
		429	* it's useful to ignore a case when inheritance will catch all the cases anyway.
		430	* <!-- end-user-doc -->
		431	* @return the new adapter.
		432	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula
		433	* @generated
		434	*/
		435	public Adapter createVLSTffFormulaAdapter()
		436	{
		437	return null;
		438	}
		439
		440	/**
341	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'.	441	* Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation <em>VLS Annotation</em>}'.
342	* <!-- begin-user-doc -->	442	* <!-- begin-user-doc -->
343	* This default implementation returns null so that we can easily ignore cases;	443	* This default implementation returns null so that we can easily ignore cases;


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 8d70157d..eddb3b4c 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
@@ -101,6 +101,35 @@ public class VampireLanguageSwitch<T> extends Switch<T>
101	if (result == null) result = defaultCase(theEObject);	101	if (result == null) result = defaultCase(theEObject);
102	return result;	102	return result;
103	}	103	}
		104	case VampireLanguagePackage.VLS_CONFIRMATIONS:
		105	{
		106	VLSConfirmations vlsConfirmations = (VLSConfirmations)theEObject;
		107	T result = caseVLSConfirmations(vlsConfirmations);
		108	if (result == null) result = defaultCase(theEObject);
		109	return result;
		110	}
		111	case VampireLanguagePackage.VLS_SATISFIABLE:
		112	{
		113	VLSSatisfiable vlsSatisfiable = (VLSSatisfiable)theEObject;
		114	T result = caseVLSSatisfiable(vlsSatisfiable);
		115	if (result == null) result = caseVLSConfirmations(vlsSatisfiable);
		116	if (result == null) result = defaultCase(theEObject);
		117	return result;
		118	}
		119	case VampireLanguagePackage.VLS_TRYING:
		120	{
		121	VLSTrying vlsTrying = (VLSTrying)theEObject;
		122	T result = caseVLSTrying(vlsTrying);
		123	if (result == null) result = defaultCase(theEObject);
		124	return result;
		125	}
		126	case VampireLanguagePackage.VLS_FINITE_MODEL:
		127	{
		128	VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject;
		129	T result = caseVLSFiniteModel(vlsFiniteModel);
		130	if (result == null) result = defaultCase(theEObject);
		131	return result;
		132	}
104	case VampireLanguagePackage.VLS_FOF_FORMULA:	133	case VampireLanguagePackage.VLS_FOF_FORMULA:
105	{	134	{
106	VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;	135	VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject;
@@ -108,6 +137,13 @@ public class VampireLanguageSwitch<T> extends Switch<T>
108	if (result == null) result = defaultCase(theEObject);	137	if (result == null) result = defaultCase(theEObject);
109	return result;	138	return result;
110	}	139	}
		140	case VampireLanguagePackage.VLS_TFF_FORMULA:
		141	{
		142	VLSTffFormula vlsTffFormula = (VLSTffFormula)theEObject;
		143	T result = caseVLSTffFormula(vlsTffFormula);
		144	if (result == null) result = defaultCase(theEObject);
		145	return result;
		146	}
111	case VampireLanguagePackage.VLS_ANNOTATION:	147	case VampireLanguagePackage.VLS_ANNOTATION:
112	{	148	{
113	VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;	149	VLSAnnotation vlsAnnotation = (VLSAnnotation)theEObject;
@@ -403,6 +439,70 @@ public class VampireLanguageSwitch<T> extends Switch<T>
403	}	439	}
404		440
405	/**	441	/**
		442	* Returns the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
		443	* <!-- begin-user-doc -->
		444	* This implementation returns null;
		445	* returning a non-null result will terminate the switch.
		446	* <!-- end-user-doc -->
		447	* @param object the target of the switch.
		448	* @return the result of interpreting the object as an instance of '<em>VLS Confirmations</em>'.
		449	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		450	* @generated
		451	*/
		452	public T caseVLSConfirmations(VLSConfirmations object)
		453	{
		454	return null;
		455	}
		456
		457	/**
		458	* Returns the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
		459	* <!-- begin-user-doc -->
		460	* This implementation returns null;
		461	* returning a non-null result will terminate the switch.
		462	* <!-- end-user-doc -->
		463	* @param object the target of the switch.
		464	* @return the result of interpreting the object as an instance of '<em>VLS Satisfiable</em>'.
		465	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		466	* @generated
		467	*/
		468	public T caseVLSSatisfiable(VLSSatisfiable object)
		469	{
		470	return null;
		471	}
		472
		473	/**
		474	* Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'.
		475	* <!-- begin-user-doc -->
		476	* This implementation returns null;
		477	* returning a non-null result will terminate the switch.
		478	* <!-- end-user-doc -->
		479	* @param object the target of the switch.
		480	* @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'.
		481	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		482	* @generated
		483	*/
		484	public T caseVLSTrying(VLSTrying object)
		485	{
		486	return null;
		487	}
		488
		489	/**
		490	* Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
		491	* <!-- begin-user-doc -->
		492	* This implementation returns null;
		493	* returning a non-null result will terminate the switch.
		494	* <!-- end-user-doc -->
		495	* @param object the target of the switch.
		496	* @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'.
		497	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		498	* @generated
		499	*/
		500	public T caseVLSFiniteModel(VLSFiniteModel object)
		501	{
		502	return null;
		503	}
		504
		505	/**
406	* Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.	506	* Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'.
407	* <!-- begin-user-doc -->	507	* <!-- begin-user-doc -->
408	* This implementation returns null;	508	* This implementation returns null;
@@ -419,6 +519,22 @@ public class VampireLanguageSwitch<T> extends Switch<T>
419	}	519	}
420		520
421	/**	521	/**
		522	* Returns the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
		523	* <!-- begin-user-doc -->
		524	* This implementation returns null;
		525	* returning a non-null result will terminate the switch.
		526	* <!-- end-user-doc -->
		527	* @param object the target of the switch.
		528	* @return the result of interpreting the object as an instance of '<em>VLS Tff Formula</em>'.
		529	* @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
		530	* @generated
		531	*/
		532	public T caseVLSTffFormula(VLSTffFormula object)
		533	{
		534	return null;
		535	}
		536
		537	/**
422	* Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.	538	* Returns the result of interpreting the object as an instance of '<em>VLS Annotation</em>'.
423	* <!-- begin-user-doc -->	539	* <!-- begin-user-doc -->
424	* This implementation returns null;	540	* This implementation returns null;