1 files changed, 165 insertions, 0 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java
new file mode 100644
index 00000000..cdc6ed91
--- /dev/null
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java
@@ -0,0 +1,165 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.smtLanguage;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>SMT Input</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions <em>Options</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations <em>Type Declarations</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations <em>Function Declarations</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition <em>Function Definition</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions <em>Assertions</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand <em>Sat Command</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand <em>Get Model Command</em>}</li>
+ * </ul>
+ * </p>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput()
+ * @model
+ * @generated
+ */
+public interface SMTInput extends EObject
+{
+  /**
+   * Returns the value of the '<em><b>Options</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Options</em>' containment reference list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Options</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_Options()
+   * @model containment="true"
+   * @generated
+   */
+  EList<SMTOption> getOptions();
+  /**
+   * Returns the value of the '<em><b>Type Declarations</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Type Declarations</em>' containment reference list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Type Declarations</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_TypeDeclarations()
+   * @model containment="true"
+   * @generated
+   */
+  EList<SMTType> getTypeDeclarations();
+  /**
+   * Returns the value of the '<em><b>Function Declarations</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Function Declarations</em>' containment reference list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Function Declarations</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_FunctionDeclarations()
+   * @model containment="true"
+   * @generated
+   */
+  EList<SMTFunctionDeclaration> getFunctionDeclarations();
+  /**
+   * Returns the value of the '<em><b>Function Definition</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Function Definition</em>' containment reference list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Function Definition</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_FunctionDefinition()
+   * @model containment="true"
+   * @generated
+   */
+  EList<SMTFunctionDefinition> getFunctionDefinition();
+  /**
+   * Returns the value of the '<em><b>Assertions</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Assertions</em>' containment reference list isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Assertions</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_Assertions()
+   * @model containment="true"
+   * @generated
+   */
+  EList<SMTAssertion> getAssertions();
+  /**
+   * Returns the value of the '<em><b>Sat Command</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Sat Command</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>Sat Command</em>' containment reference.
+   * @see #setSatCommand(SMTSatCommand)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_SatCommand()
+   * @model containment="true"
+   * @generated
+   */
+  SMTSatCommand getSatCommand();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand <em>Sat Command</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Sat Command</em>' containment reference.
+   * @see #getSatCommand()
+   * @generated
+   */
+  void setSatCommand(SMTSatCommand value);
+  /**
+   * Returns the value of the '<em><b>Get Model Command</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Get Model Command</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>Get Model Command</em>' containment reference.
+   * @see #setGetModelCommand(SMTGetModelCommand)
+   * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_GetModelCommand()
+   * @model containment="true"
+   * @generated
+   */
+  SMTGetModelCommand getGetModelCommand();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand <em>Get Model Command</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Get Model Command</em>' containment reference.
+   * @see #getGetModelCommand()
+   * @generated
+   */
+  void setGetModelCommand(SMTGetModelCommand value);
+} // SMTInput

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java new file mode 100644 index 00000000..cdc6ed91 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/smtLanguage/SMTInput.java
@@ -0,0 +1,165 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.smtLanguage;
	4
	5	import org.eclipse.emf.common.util.EList;
	6
	7	import org.eclipse.emf.ecore.EObject;
	8
	9	/**
	10	* <!-- begin-user-doc -->
	11	* A representation of the model object '<em><b>SMT Input</b></em>'.
	12	* <!-- end-user-doc -->
	13	*
	14	* <p>
	15	* The following features are supported:
	16	* <ul>
	17	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getOptions <em>Options</em>}</li>
	18	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getTypeDeclarations <em>Type Declarations</em>}</li>
	19	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDeclarations <em>Function Declarations</em>}</li>
	20	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getFunctionDefinition <em>Function Definition</em>}</li>
	21	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getAssertions <em>Assertions</em>}</li>
	22	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand <em>Sat Command</em>}</li>
	23	* <li>{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand <em>Get Model Command</em>}</li>
	24	* </ul>
	25	* </p>
	26	*
	27	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput()
	28	* @model
	29	* @generated
	30	*/
	31	public interface SMTInput extends EObject
	32	{
	33	/**
	34	* Returns the value of the '<em><b>Options</b></em>' containment reference list.
	35	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTOption}.
	36	* <!-- begin-user-doc -->
	37	* <p>
	38	* If the meaning of the '<em>Options</em>' containment reference list isn't clear,
	39	* there really should be more of a description here...
	40	* </p>
	41	* <!-- end-user-doc -->
	42	* @return the value of the '<em>Options</em>' containment reference list.
	43	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_Options()
	44	* @model containment="true"
	45	* @generated
	46	*/
	47	EList<SMTOption> getOptions();
	48
	49	/**
	50	* Returns the value of the '<em><b>Type Declarations</b></em>' containment reference list.
	51	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTType}.
	52	* <!-- begin-user-doc -->
	53	* <p>
	54	* If the meaning of the '<em>Type Declarations</em>' containment reference list 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>Type Declarations</em>' containment reference list.
	59	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_TypeDeclarations()
	60	* @model containment="true"
	61	* @generated
	62	*/
	63	EList<SMTType> getTypeDeclarations();
	64
	65	/**
	66	* Returns the value of the '<em><b>Function Declarations</b></em>' containment reference list.
	67	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDeclaration}.
	68	* <!-- begin-user-doc -->
	69	* <p>
	70	* If the meaning of the '<em>Function Declarations</em>' containment reference list isn't clear,
	71	* there really should be more of a description here...
	72	* </p>
	73	* <!-- end-user-doc -->
	74	* @return the value of the '<em>Function Declarations</em>' containment reference list.
	75	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_FunctionDeclarations()
	76	* @model containment="true"
	77	* @generated
	78	*/
	79	EList<SMTFunctionDeclaration> getFunctionDeclarations();
	80
	81	/**
	82	* Returns the value of the '<em><b>Function Definition</b></em>' containment reference list.
	83	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTFunctionDefinition}.
	84	* <!-- begin-user-doc -->
	85	* <p>
	86	* If the meaning of the '<em>Function Definition</em>' containment reference list isn't clear,
	87	* there really should be more of a description here...
	88	* </p>
	89	* <!-- end-user-doc -->
	90	* @return the value of the '<em>Function Definition</em>' containment reference list.
	91	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_FunctionDefinition()
	92	* @model containment="true"
	93	* @generated
	94	*/
	95	EList<SMTFunctionDefinition> getFunctionDefinition();
	96
	97	/**
	98	* Returns the value of the '<em><b>Assertions</b></em>' containment reference list.
	99	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTAssertion}.
	100	* <!-- begin-user-doc -->
	101	* <p>
	102	* If the meaning of the '<em>Assertions</em>' containment reference list isn't clear,
	103	* there really should be more of a description here...
	104	* </p>
	105	* <!-- end-user-doc -->
	106	* @return the value of the '<em>Assertions</em>' containment reference list.
	107	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_Assertions()
	108	* @model containment="true"
	109	* @generated
	110	*/
	111	EList<SMTAssertion> getAssertions();
	112
	113	/**
	114	* Returns the value of the '<em><b>Sat Command</b></em>' containment reference.
	115	* <!-- begin-user-doc -->
	116	* <p>
	117	* If the meaning of the '<em>Sat Command</em>' containment reference isn't clear,
	118	* there really should be more of a description here...
	119	* </p>
	120	* <!-- end-user-doc -->
	121	* @return the value of the '<em>Sat Command</em>' containment reference.
	122	* @see #setSatCommand(SMTSatCommand)
	123	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_SatCommand()
	124	* @model containment="true"
	125	* @generated
	126	*/
	127	SMTSatCommand getSatCommand();
	128
	129	/**
	130	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getSatCommand <em>Sat Command</em>}' containment reference.
	131	* <!-- begin-user-doc -->
	132	* <!-- end-user-doc -->
	133	* @param value the new value of the '<em>Sat Command</em>' containment reference.
	134	* @see #getSatCommand()
	135	* @generated
	136	*/
	137	void setSatCommand(SMTSatCommand value);
	138
	139	/**
	140	* Returns the value of the '<em><b>Get Model Command</b></em>' containment reference.
	141	* <!-- begin-user-doc -->
	142	* <p>
	143	* If the meaning of the '<em>Get Model Command</em>' containment reference isn't clear,
	144	* there really should be more of a description here...
	145	* </p>
	146	* <!-- end-user-doc -->
	147	* @return the value of the '<em>Get Model Command</em>' containment reference.
	148	* @see #setGetModelCommand(SMTGetModelCommand)
	149	* @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTInput_GetModelCommand()
	150	* @model containment="true"
	151	* @generated
	152	*/
	153	SMTGetModelCommand getGetModelCommand();
	154
	155	/**
	156	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.smtLanguage.SMTInput#getGetModelCommand <em>Get Model Command</em>}' containment reference.
	157	* <!-- begin-user-doc -->
	158	* <!-- end-user-doc -->
	159	* @param value the new value of the '<em>Get Model Command</em>' containment reference.
	160	* @see #getGetModelCommand()
	161	* @generated
	162	*/
	163	void setGetModelCommand(SMTGetModelCommand value);
	164
	165	} // SMTInput