1 files changed, 104 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java
new file mode 100644
index 00000000..4b123cd9
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java
@@ -0,0 +1,104 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>SMTITE</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition <em>Condition</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf <em>If</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse <em>Else</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE()
+ * @model
+ * @generated
+ */
+public interface SMTITE extends SMTTerm
+{
+  /**
+   * Returns the value of the '<em><b>Condition</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Condition</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>Condition</em>' containment reference.
+   * @see #setCondition(SMTTerm)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_Condition()
+   * @model containment="true"
+   * @generated
+   */
+  SMTTerm getCondition();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition <em>Condition</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Condition</em>' containment reference.
+   * @see #getCondition()
+   * @generated
+   */
+  void setCondition(SMTTerm value);
+  /**
+   * Returns the value of the '<em><b>If</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>If</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>If</em>' containment reference.
+   * @see #setIf(SMTTerm)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_If()
+   * @model containment="true"
+   * @generated
+   */
+  SMTTerm getIf();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf <em>If</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>If</em>' containment reference.
+   * @see #getIf()
+   * @generated
+   */
+  void setIf(SMTTerm value);
+  /**
+   * Returns the value of the '<em><b>Else</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Else</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>Else</em>' containment reference.
+   * @see #setElse(SMTTerm)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_Else()
+   * @model containment="true"
+   * @generated
+   */
+  SMTTerm getElse();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse <em>Else</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Else</em>' containment reference.
+   * @see #getElse()
+   * @generated
+   */
+  void setElse(SMTTerm value);
+} // SMTITE

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java new file mode 100644 index 00000000..4b123cd9 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTITE.java
@@ -0,0 +1,104 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.smtLanguage;
	4
	5
	6	/**
	7	* <!-- begin-user-doc -->
	8	* A representation of the model object '<em><b>SMTITE</b></em>'.
	9	* <!-- end-user-doc -->
	10	*
	11	* <p>
	12	* The following features are supported:
	13	* <ul>
	14	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition <em>Condition</em>}</li>
	15	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf <em>If</em>}</li>
	16	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse <em>Else</em>}</li>
	17	* </ul>
	18	* </p>
	19	*
	20	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE()
	21	* @model
	22	* @generated
	23	*/
	24	public interface SMTITE extends SMTTerm
	25	{
	26	/**
	27	* Returns the value of the '<em><b>Condition</b></em>' containment reference.
	28	* <!-- begin-user-doc -->
	29	* <p>
	30	* If the meaning of the '<em>Condition</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>Condition</em>' containment reference.
	35	* @see #setCondition(SMTTerm)
	36	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_Condition()
	37	* @model containment="true"
	38	* @generated
	39	*/
	40	SMTTerm getCondition();
	41
	42	/**
	43	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getCondition <em>Condition</em>}' containment reference.
	44	* <!-- begin-user-doc -->
	45	* <!-- end-user-doc -->
	46	* @param value the new value of the '<em>Condition</em>' containment reference.
	47	* @see #getCondition()
	48	* @generated
	49	*/
	50	void setCondition(SMTTerm value);
	51
	52	/**
	53	* Returns the value of the '<em><b>If</b></em>' containment reference.
	54	* <!-- begin-user-doc -->
	55	* <p>
	56	* If the meaning of the '<em>If</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>If</em>' containment reference.
	61	* @see #setIf(SMTTerm)
	62	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_If()
	63	* @model containment="true"
	64	* @generated
	65	*/
	66	SMTTerm getIf();
	67
	68	/**
	69	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getIf <em>If</em>}' containment reference.
	70	* <!-- begin-user-doc -->
	71	* <!-- end-user-doc -->
	72	* @param value the new value of the '<em>If</em>' containment reference.
	73	* @see #getIf()
	74	* @generated
	75	*/
	76	void setIf(SMTTerm value);
	77
	78	/**
	79	* Returns the value of the '<em><b>Else</b></em>' containment reference.
	80	* <!-- begin-user-doc -->
	81	* <p>
	82	* If the meaning of the '<em>Else</em>' containment reference isn't clear,
	83	* there really should be more of a description here...
	84	* </p>
	85	* <!-- end-user-doc -->
	86	* @return the value of the '<em>Else</em>' containment reference.
	87	* @see #setElse(SMTTerm)
	88	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTITE_Else()
	89	* @model containment="true"
	90	* @generated
	91	*/
	92	SMTTerm getElse();
	93
	94	/**
	95	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTITE#getElse <em>Else</em>}' containment reference.
	96	* <!-- begin-user-doc -->
	97	* <!-- end-user-doc -->
	98	* @param value the new value of the '<em>Else</em>' containment reference.
	99	* @see #getElse()
	100	* @generated
	101	*/
	102	void setElse(SMTTerm value);
	103
	104	} // SMTITE