1 files changed, 133 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java
new file mode 100644
index 00000000..8b455f0a
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java
@@ -0,0 +1,133 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>VLS Tff Formula</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula()
+ * @model
+ * @generated
+ */
+public interface VLSTffFormula extends EObject
+{
+  /**
+   * Returns the value of the '<em><b>Name</b></em>' attribute.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Name</em>' attribute isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Name</em>' attribute.
+   * @see #setName(String)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_Name()
+   * @model
+   * @generated
+   */
+  String getName();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Name</em>' attribute.
+   * @see #getName()
+   * @generated
+   */
+  void setName(String value);
+  /**
+   * Returns the value of the '<em><b>Fof Role</b></em>' attribute.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Fof Role</em>' attribute isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Fof Role</em>' attribute.
+   * @see #setFofRole(String)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofRole()
+   * @model
+   * @generated
+   */
+  String getFofRole();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Fof Role</em>' attribute.
+   * @see #getFofRole()
+   * @generated
+   */
+  void setFofRole(String value);
+  /**
+   * Returns the value of the '<em><b>Fof Formula</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Fof Formula</em>' containment reference isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Fof Formula</em>' containment reference.
+   * @see #setFofFormula(VLSTerm)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofFormula()
+   * @model containment="true"
+   * @generated
+   */
+  VLSTerm getFofFormula();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Fof Formula</em>' containment reference.
+   * @see #getFofFormula()
+   * @generated
+   */
+  void setFofFormula(VLSTerm value);
+  /**
+   * Returns the value of the '<em><b>Annotations</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Annotations</em>' containment reference isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Annotations</em>' containment reference.
+   * @see #setAnnotations(VLSAnnotation)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_Annotations()
+   * @model containment="true"
+   * @generated
+   */
+  VLSAnnotation getAnnotations();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Annotations</em>' containment reference.
+   * @see #getAnnotations()
+   * @generated
+   */
+  void setAnnotations(VLSAnnotation value);
+} // VLSTffFormula

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java new file mode 100644 index 00000000..8b455f0a --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSTffFormula.java
@@ -0,0 +1,133 @@
	1	/**
	2	* generated by Xtext 2.12.0
	3	*/
	4	package ca.mcgill.ecse.dslreasoner.vampireLanguage;
	5
	6	import org.eclipse.emf.ecore.EObject;
	7
	8	/**
	9	* <!-- begin-user-doc -->
	10	* A representation of the model object '<em><b>VLS Tff Formula</b></em>'.
	11	* <!-- end-user-doc -->
	12	*
	13	* <p>
	14	* The following features are supported:
	15	* </p>
	16	* <ul>
	17	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}</li>
	18	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}</li>
	19	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}</li>
	20	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}</li>
	21	* </ul>
	22	*
	23	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula()
	24	* @model
	25	* @generated
	26	*/
	27	public interface VLSTffFormula extends EObject
	28	{
	29	/**
	30	* Returns the value of the '<em><b>Name</b></em>' attribute.
	31	* <!-- begin-user-doc -->
	32	* <p>
	33	* If the meaning of the '<em>Name</em>' attribute isn't clear,
	34	* there really should be more of a description here...
	35	* </p>
	36	* <!-- end-user-doc -->
	37	* @return the value of the '<em>Name</em>' attribute.
	38	* @see #setName(String)
	39	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_Name()
	40	* @model
	41	* @generated
	42	*/
	43	String getName();
	44
	45	/**
	46	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getName <em>Name</em>}' attribute.
	47	* <!-- begin-user-doc -->
	48	* <!-- end-user-doc -->
	49	* @param value the new value of the '<em>Name</em>' attribute.
	50	* @see #getName()
	51	* @generated
	52	*/
	53	void setName(String value);
	54
	55	/**
	56	* Returns the value of the '<em><b>Fof Role</b></em>' attribute.
	57	* <!-- begin-user-doc -->
	58	* <p>
	59	* If the meaning of the '<em>Fof Role</em>' attribute isn't clear,
	60	* there really should be more of a description here...
	61	* </p>
	62	* <!-- end-user-doc -->
	63	* @return the value of the '<em>Fof Role</em>' attribute.
	64	* @see #setFofRole(String)
	65	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofRole()
	66	* @model
	67	* @generated
	68	*/
	69	String getFofRole();
	70
	71	/**
	72	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofRole <em>Fof Role</em>}' attribute.
	73	* <!-- begin-user-doc -->
	74	* <!-- end-user-doc -->
	75	* @param value the new value of the '<em>Fof Role</em>' attribute.
	76	* @see #getFofRole()
	77	* @generated
	78	*/
	79	void setFofRole(String value);
	80
	81	/**
	82	* Returns the value of the '<em><b>Fof Formula</b></em>' containment reference.
	83	* <!-- begin-user-doc -->
	84	* <p>
	85	* If the meaning of the '<em>Fof Formula</em>' containment reference isn't clear,
	86	* there really should be more of a description here...
	87	* </p>
	88	* <!-- end-user-doc -->
	89	* @return the value of the '<em>Fof Formula</em>' containment reference.
	90	* @see #setFofFormula(VLSTerm)
	91	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_FofFormula()
	92	* @model containment="true"
	93	* @generated
	94	*/
	95	VLSTerm getFofFormula();
	96
	97	/**
	98	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getFofFormula <em>Fof Formula</em>}' containment reference.
	99	* <!-- begin-user-doc -->
	100	* <!-- end-user-doc -->
	101	* @param value the new value of the '<em>Fof Formula</em>' containment reference.
	102	* @see #getFofFormula()
	103	* @generated
	104	*/
	105	void setFofFormula(VLSTerm value);
	106
	107	/**
	108	* Returns the value of the '<em><b>Annotations</b></em>' containment reference.
	109	* <!-- begin-user-doc -->
	110	* <p>
	111	* If the meaning of the '<em>Annotations</em>' containment reference isn't clear,
	112	* there really should be more of a description here...
	113	* </p>
	114	* <!-- end-user-doc -->
	115	* @return the value of the '<em>Annotations</em>' containment reference.
	116	* @see #setAnnotations(VLSAnnotation)
	117	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSTffFormula_Annotations()
	118	* @model containment="true"
	119	* @generated
	120	*/
	121	VLSAnnotation getAnnotations();
	122
	123	/**
	124	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula#getAnnotations <em>Annotations</em>}' containment reference.
	125	* <!-- begin-user-doc -->
	126	* <!-- end-user-doc -->
	127	* @param value the new value of the '<em>Annotations</em>' containment reference.
	128	* @see #getAnnotations()
	129	* @generated
	130	*/
	131	void setAnnotations(VLSAnnotation value);
	132
	133	} // VLSTffFormula