1 files changed, 125 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java
new file mode 100644
index 00000000..9f2dd595
--- /dev/null
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java
@@ -0,0 +1,125 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.alloyLanguage;
+import org.eclipse.emf.common.util.EList;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>ALS Quantified Ex</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType <em>Type</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj <em>Disj</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getVariables <em>Variables</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression <em>Expression</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx()
+ * @model
+ * @generated
+ */
+public interface ALSQuantifiedEx extends ALSTerm
+{
+  /**
+   * Returns the value of the '<em><b>Type</b></em>' attribute.
+   * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Type</em>' attribute isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Type</em>' attribute.
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
+   * @see #setType(ALSMultiplicity)
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Type()
+   * @model
+   * @generated
+   */
+  ALSMultiplicity getType();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType <em>Type</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Type</em>' attribute.
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
+   * @see #getType()
+   * @generated
+   */
+  void setType(ALSMultiplicity value);
+  /**
+   * Returns the value of the '<em><b>Disj</b></em>' attribute.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Disj</em>' attribute isn't clear,
+   * there really should be more of a description here...
+   * </p>
+   * <!-- end-user-doc -->
+   * @return the value of the '<em>Disj</em>' attribute.
+   * @see #setDisj(boolean)
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Disj()
+   * @model
+   * @generated
+   */
+  boolean isDisj();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj <em>Disj</em>}' attribute.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Disj</em>' attribute.
+   * @see #isDisj()
+   * @generated
+   */
+  void setDisj(boolean value);
+  /**
+   * Returns the value of the '<em><b>Variables</b></em>' containment reference list.
+   * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration}.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Variables</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>Variables</em>' containment reference list.
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Variables()
+   * @model containment="true"
+   * @generated
+   */
+  EList<ALSVariableDeclaration> getVariables();
+  /**
+   * Returns the value of the '<em><b>Expression</b></em>' containment reference.
+   * <!-- begin-user-doc -->
+   * <p>
+   * If the meaning of the '<em>Expression</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>Expression</em>' containment reference.
+   * @see #setExpression(ALSTerm)
+   * @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Expression()
+   * @model containment="true"
+   * @generated
+   */
+  ALSTerm getExpression();
+  /**
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression <em>Expression</em>}' containment reference.
+   * <!-- begin-user-doc -->
+   * <!-- end-user-doc -->
+   * @param value the new value of the '<em>Expression</em>' containment reference.
+   * @see #getExpression()
+   * @generated
+   */
+  void setExpression(ALSTerm value);
+} // ALSQuantifiedEx

diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java new file mode 100644 index 00000000..9f2dd595 --- /dev/null +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/alloyLanguage/ALSQuantifiedEx.java
@@ -0,0 +1,125 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.alloyLanguage;
	4
	5	import org.eclipse.emf.common.util.EList;
	6
	7	/**
	8	* <!-- begin-user-doc -->
	9	* A representation of the model object '<em><b>ALS Quantified Ex</b></em>'.
	10	* <!-- end-user-doc -->
	11	*
	12	* <p>
	13	* The following features are supported:
	14	* </p>
	15	* <ul>
	16	* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType <em>Type</em>}</li>
	17	* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj <em>Disj</em>}</li>
	18	* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getVariables <em>Variables</em>}</li>
	19	* <li>{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression <em>Expression</em>}</li>
	20	* </ul>
	21	*
	22	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx()
	23	* @model
	24	* @generated
	25	*/
	26	public interface ALSQuantifiedEx extends ALSTerm
	27	{
	28	/**
	29	* Returns the value of the '<em><b>Type</b></em>' attribute.
	30	* The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity}.
	31	* <!-- begin-user-doc -->
	32	* <p>
	33	* If the meaning of the '<em>Type</em>' attribute isn't clear,
	34	* there really should be more of a description here...
	35	* </p>
	36	* <!-- end-user-doc -->
	37	* @return the value of the '<em>Type</em>' attribute.
	38	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
	39	* @see #setType(ALSMultiplicity)
	40	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Type()
	41	* @model
	42	* @generated
	43	*/
	44	ALSMultiplicity getType();
	45
	46	/**
	47	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getType <em>Type</em>}' attribute.
	48	* <!-- begin-user-doc -->
	49	* <!-- end-user-doc -->
	50	* @param value the new value of the '<em>Type</em>' attribute.
	51	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSMultiplicity
	52	* @see #getType()
	53	* @generated
	54	*/
	55	void setType(ALSMultiplicity value);
	56
	57	/**
	58	* Returns the value of the '<em><b>Disj</b></em>' attribute.
	59	* <!-- begin-user-doc -->
	60	* <p>
	61	* If the meaning of the '<em>Disj</em>' attribute isn't clear,
	62	* there really should be more of a description here...
	63	* </p>
	64	* <!-- end-user-doc -->
	65	* @return the value of the '<em>Disj</em>' attribute.
	66	* @see #setDisj(boolean)
	67	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Disj()
	68	* @model
	69	* @generated
	70	*/
	71	boolean isDisj();
	72
	73	/**
	74	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#isDisj <em>Disj</em>}' attribute.
	75	* <!-- begin-user-doc -->
	76	* <!-- end-user-doc -->
	77	* @param value the new value of the '<em>Disj</em>' attribute.
	78	* @see #isDisj()
	79	* @generated
	80	*/
	81	void setDisj(boolean value);
	82
	83	/**
	84	* Returns the value of the '<em><b>Variables</b></em>' containment reference list.
	85	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSVariableDeclaration}.
	86	* <!-- begin-user-doc -->
	87	* <p>
	88	* If the meaning of the '<em>Variables</em>' containment reference list isn't clear,
	89	* there really should be more of a description here...
	90	* </p>
	91	* <!-- end-user-doc -->
	92	* @return the value of the '<em>Variables</em>' containment reference list.
	93	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Variables()
	94	* @model containment="true"
	95	* @generated
	96	*/
	97	EList<ALSVariableDeclaration> getVariables();
	98
	99	/**
	100	* Returns the value of the '<em><b>Expression</b></em>' containment reference.
	101	* <!-- begin-user-doc -->
	102	* <p>
	103	* If the meaning of the '<em>Expression</em>' containment reference isn't clear,
	104	* there really should be more of a description here...
	105	* </p>
	106	* <!-- end-user-doc -->
	107	* @return the value of the '<em>Expression</em>' containment reference.
	108	* @see #setExpression(ALSTerm)
	109	* @see hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage#getALSQuantifiedEx_Expression()
	110	* @model containment="true"
	111	* @generated
	112	*/
	113	ALSTerm getExpression();
	114
	115	/**
	116	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.alloyLanguage.ALSQuantifiedEx#getExpression <em>Expression</em>}' containment reference.
	117	* <!-- begin-user-doc -->
	118	* <!-- end-user-doc -->
	119	* @param value the new value of the '<em>Expression</em>' containment reference.
	120	* @see #getExpression()
	121	* @generated
	122	*/
	123	void setExpression(ALSTerm value);
	124
	125	} // ALSQuantifiedEx