1 files changed, 78 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java
new file mode 100644
index 00000000..aadf2ade
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java
@@ -0,0 +1,78 @@
+/**
+ * generated by Xtext 2.12.0
+ */
+package ca.mcgill.ecse.dslreasoner.vampireLanguage;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>VLS Equality</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft <em>Left</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight <em>Right</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality()
+ * @model
+ * @generated
+ */
+public interface VLSEquality extends VLSTerm
+{
+  /**
+   * Returns the value of the '<em><b>Left</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Left</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>Left</em>' containment reference.
+   * @see #setLeft(VLSTerm)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality_Left()
+   * @model containment="true"
+   * @generated
+   */
+  VLSTerm getLeft();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft <em>Left</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Left</em>' containment reference.
+   * @see #getLeft()
+   * @generated
+   */
+  void setLeft(VLSTerm value);
+  /**
+   * Returns the value of the '<em><b>Right</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Right</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>Right</em>' containment reference.
+   * @see #setRight(VLSTerm)
+   * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality_Right()
+   * @model containment="true"
+   * @generated
+   */
+  VLSTerm getRight();
+  /**
+   * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight <em>Right</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Right</em>' containment reference.
+   * @see #getRight()
+   * @generated
+   */
+  void setRight(VLSTerm value);
+} // VLSEquality

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java new file mode 100644 index 00000000..aadf2ade --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VLSEquality.java
@@ -0,0 +1,78 @@
	1	/**
	2	* generated by Xtext 2.12.0
	3	*/
	4	package ca.mcgill.ecse.dslreasoner.vampireLanguage;
	5
	6
	7	/**
	8	* <!-- begin-user-doc -->
	9	* A representation of the model object '<em><b>VLS Equality</b></em>'.
	10	* <!-- end-user-doc -->
	11	*
	12	* <p>
	13	* The following features are supported:
	14	* </p>
	15	* <ul>
	16	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft <em>Left</em>}</li>
	17	* <li>{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight <em>Right</em>}</li>
	18	* </ul>
	19	*
	20	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality()
	21	* @model
	22	* @generated
	23	*/
	24	public interface VLSEquality extends VLSTerm
	25	{
	26	/**
	27	* Returns the value of the '<em><b>Left</b></em>' containment reference.
	28	* <!-- begin-user-doc -->
	29	* <p>
	30	* If the meaning of the '<em>Left</em>' containment reference isn't clear,
	31	* there really should be more of a description here...
	32	* </p>
	33	* <!-- end-user-doc -->
	34	* @return the value of the '<em>Left</em>' containment reference.
	35	* @see #setLeft(VLSTerm)
	36	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality_Left()
	37	* @model containment="true"
	38	* @generated
	39	*/
	40	VLSTerm getLeft();
	41
	42	/**
	43	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getLeft <em>Left</em>}' containment reference.
	44	* <!-- begin-user-doc -->
	45	* <!-- end-user-doc -->
	46	* @param value the new value of the '<em>Left</em>' containment reference.
	47	* @see #getLeft()
	48	* @generated
	49	*/
	50	void setLeft(VLSTerm value);
	51
	52	/**
	53	* Returns the value of the '<em><b>Right</b></em>' containment reference.
	54	* <!-- begin-user-doc -->
	55	* <p>
	56	* If the meaning of the '<em>Right</em>' containment reference isn't clear,
	57	* there really should be more of a description here...
	58	* </p>
	59	* <!-- end-user-doc -->
	60	* @return the value of the '<em>Right</em>' containment reference.
	61	* @see #setRight(VLSTerm)
	62	* @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSEquality_Right()
	63	* @model containment="true"
	64	* @generated
	65	*/
	66	VLSTerm getRight();
	67
	68	/**
	69	* Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality#getRight <em>Right</em>}' containment reference.
	70	* <!-- begin-user-doc -->
	71	* <!-- end-user-doc -->
	72	* @param value the new value of the '<em>Right</em>' containment reference.
	73	* @see #getRight()
	74	* @generated
	75	*/
	76	void setRight(VLSTerm value);
	77
	78	} // VLSEquality