1 files changed, 100 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/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;