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/SMTIfCombinator.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTIfCombinator.java
new file mode 100644
index 00000000..6275688e
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTIfCombinator.java
@@ -0,0 +1,104 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>SMT If Combinator</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe <em>Probe</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic <em>If Tactic</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic <em>Else Tactic</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator()
+ * @model
+ * @generated
+ */
+public interface SMTIfCombinator extends SMTReasoningCombinator
+{
+  /**
+   * Returns the value of the '<em><b>Probe</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Probe</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>Probe</em>' containment reference.
+   * @see #setProbe(ReasoningProbe)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_Probe()
+   * @model containment="true"
+   * @generated
+   */
+  ReasoningProbe getProbe();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe <em>Probe</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Probe</em>' containment reference.
+   * @see #getProbe()
+   * @generated
+   */
+  void setProbe(ReasoningProbe value);
+  /**
+   * Returns the value of the '<em><b>If Tactic</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>If Tactic</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 Tactic</em>' containment reference.
+   * @see #setIfTactic(SMTReasoningTactic)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_IfTactic()
+   * @model containment="true"
+   * @generated
+   */
+  SMTReasoningTactic getIfTactic();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic <em>If Tactic</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>If Tactic</em>' containment reference.
+   * @see #getIfTactic()
+   * @generated
+   */
+  void setIfTactic(SMTReasoningTactic value);
+  /**
+   * Returns the value of the '<em><b>Else Tactic</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Else Tactic</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 Tactic</em>' containment reference.
+   * @see #setElseTactic(SMTReasoningTactic)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_ElseTactic()
+   * @model containment="true"
+   * @generated
+   */
+  SMTReasoningTactic getElseTactic();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic <em>Else Tactic</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Else Tactic</em>' containment reference.
+   * @see #getElseTactic()
+   * @generated
+   */
+  void setElseTactic(SMTReasoningTactic value);
+} // SMTIfCombinator

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTIfCombinator.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTIfCombinator.java new file mode 100644 index 00000000..6275688e --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTIfCombinator.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>SMT If Combinator</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.SMTIfCombinator#getProbe <em>Probe</em>}</li>
	15	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic <em>If Tactic</em>}</li>
	16	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic <em>Else Tactic</em>}</li>
	17	* </ul>
	18	* </p>
	19	*
	20	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator()
	21	* @model
	22	* @generated
	23	*/
	24	public interface SMTIfCombinator extends SMTReasoningCombinator
	25	{
	26	/**
	27	* Returns the value of the '<em><b>Probe</b></em>' containment reference.
	28	* <!-- begin-user-doc -->
	29	* <p>
	30	* If the meaning of the '<em>Probe</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>Probe</em>' containment reference.
	35	* @see #setProbe(ReasoningProbe)
	36	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_Probe()
	37	* @model containment="true"
	38	* @generated
	39	*/
	40	ReasoningProbe getProbe();
	41
	42	/**
	43	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getProbe <em>Probe</em>}' containment reference.
	44	* <!-- begin-user-doc -->
	45	* <!-- end-user-doc -->
	46	* @param value the new value of the '<em>Probe</em>' containment reference.
	47	* @see #getProbe()
	48	* @generated
	49	*/
	50	void setProbe(ReasoningProbe value);
	51
	52	/**
	53	* Returns the value of the '<em><b>If Tactic</b></em>' containment reference.
	54	* <!-- begin-user-doc -->
	55	* <p>
	56	* If the meaning of the '<em>If Tactic</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 Tactic</em>' containment reference.
	61	* @see #setIfTactic(SMTReasoningTactic)
	62	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_IfTactic()
	63	* @model containment="true"
	64	* @generated
	65	*/
	66	SMTReasoningTactic getIfTactic();
	67
	68	/**
	69	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getIfTactic <em>If Tactic</em>}' containment reference.
	70	* <!-- begin-user-doc -->
	71	* <!-- end-user-doc -->
	72	* @param value the new value of the '<em>If Tactic</em>' containment reference.
	73	* @see #getIfTactic()
	74	* @generated
	75	*/
	76	void setIfTactic(SMTReasoningTactic value);
	77
	78	/**
	79	* Returns the value of the '<em><b>Else Tactic</b></em>' containment reference.
	80	* <!-- begin-user-doc -->
	81	* <p>
	82	* If the meaning of the '<em>Else Tactic</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 Tactic</em>' containment reference.
	87	* @see #setElseTactic(SMTReasoningTactic)
	88	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTIfCombinator_ElseTactic()
	89	* @model containment="true"
	90	* @generated
	91	*/
	92	SMTReasoningTactic getElseTactic();
	93
	94	/**
	95	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTIfCombinator#getElseTactic <em>Else Tactic</em>}' containment reference.
	96	* <!-- begin-user-doc -->
	97	* <!-- end-user-doc -->
	98	* @param value the new value of the '<em>Else Tactic</em>' containment reference.
	99	* @see #getElseTactic()
	100	* @generated
	101	*/
	102	void setElseTactic(SMTReasoningTactic value);
	103
	104	} // SMTIfCombinator