1 files changed, 76 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java
new file mode 100644
index 00000000..420d4285
--- /dev/null
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java
@@ -0,0 +1,76 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Equals</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand <em>Left Operand</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand <em>Right Operand</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals()
+ * @model
+ * @generated
+ */
+public interface Equals extends PrimitiveRelation {
+        /**
+         * Returns the value of the '<em><b>Left Operand</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Left Operand</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 Operand</em>' containment reference.
+         * @see #setLeftOperand(Term)
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals_LeftOperand()
+         * @model containment="true"
+         * @generated
+         */
+        Term getLeftOperand();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand <em>Left Operand</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Left Operand</em>' containment reference.
+         * @see #getLeftOperand()
+         * @generated
+         */
+        void setLeftOperand(Term value);
+        /**
+         * Returns the value of the '<em><b>Right Operand</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Right Operand</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 Operand</em>' containment reference.
+         * @see #setRightOperand(Term)
+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals_RightOperand()
+         * @model containment="true"
+         * @generated
+         */
+        Term getRightOperand();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand <em>Right Operand</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Right Operand</em>' containment reference.
+         * @see #getRightOperand()
+         * @generated
+         */
+        void setRightOperand(Term value);
+} // Equals

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java new file mode 100644 index 00000000..420d4285 --- /dev/null +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/Equals.java
@@ -0,0 +1,76 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;
	4
	5
	6	/**
	7	* <!-- begin-user-doc -->
	8	* A representation of the model object '<em><b>Equals</b></em>'.
	9	* <!-- end-user-doc -->
	10	*
	11	* <p>
	12	* The following features are supported:
	13	* </p>
	14	* <ul>
	15	* <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand <em>Left Operand</em>}</li>
	16	* <li>{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand <em>Right Operand</em>}</li>
	17	* </ul>
	18	*
	19	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals()
	20	* @model
	21	* @generated
	22	*/
	23	public interface Equals extends PrimitiveRelation {
	24	/**
	25	* Returns the value of the '<em><b>Left Operand</b></em>' containment reference.
	26	* <!-- begin-user-doc -->
	27	* <p>
	28	* If the meaning of the '<em>Left Operand</em>' containment reference isn't clear,
	29	* there really should be more of a description here...
	30	* </p>
	31	* <!-- end-user-doc -->
	32	* @return the value of the '<em>Left Operand</em>' containment reference.
	33	* @see #setLeftOperand(Term)
	34	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals_LeftOperand()
	35	* @model containment="true"
	36	* @generated
	37	*/
	38	Term getLeftOperand();
	39
	40	/**
	41	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getLeftOperand <em>Left Operand</em>}' containment reference.
	42	* <!-- begin-user-doc -->
	43	* <!-- end-user-doc -->
	44	* @param value the new value of the '<em>Left Operand</em>' containment reference.
	45	* @see #getLeftOperand()
	46	* @generated
	47	*/
	48	void setLeftOperand(Term value);
	49
	50	/**
	51	* Returns the value of the '<em><b>Right Operand</b></em>' containment reference.
	52	* <!-- begin-user-doc -->
	53	* <p>
	54	* If the meaning of the '<em>Right Operand</em>' containment reference isn't clear,
	55	* there really should be more of a description here...
	56	* </p>
	57	* <!-- end-user-doc -->
	58	* @return the value of the '<em>Right Operand</em>' containment reference.
	59	* @see #setRightOperand(Term)
	60	* @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getEquals_RightOperand()
	61	* @model containment="true"
	62	* @generated
	63	*/
	64	Term getRightOperand();
	65
	66	/**
	67	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Equals#getRightOperand <em>Right Operand</em>}' containment reference.
	68	* <!-- begin-user-doc -->
	69	* <!-- end-user-doc -->
	70	* @param value the new value of the '<em>Right Operand</em>' containment reference.
	71	* @see #getRightOperand()
	72	* @generated
	73	*/
	74	void setRightOperand(Term value);
	75
	76	} // Equals