1 files changed, 78 insertions, 78 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
index c72580e5..a818f6ef 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
@@ -1,78 +1,78 @@
-/**
+/**
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.16.0
- */
+ */
-package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
-/**
+/**
- * <!-- begin-user-doc -->
+ * <!-- begin-user-doc -->
- * A representation of the model object '<em><b>Exact Number</b></em>'.
+ * A representation of the model object '<em><b>Exact Number</b></em>'.
- * <!-- end-user-doc -->
+ * <!-- end-user-doc -->
- *
+ *
- * <p>
+ * <p>
- * The following features are supported:
+ * The following features are supported:
- * </p>
+ * </p>
- * <ul>
+ * <ul>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li>
- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li>
- * </ul>
+ * </ul>
- *
+ *
- * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()
+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()
- * @model
+ * @model
- * @generated
+ * @generated
- */
+ */
-public interface ExactNumber extends NumberSpecification
+public interface ExactNumber extends NumberSpecification
-{
+{
-  /**
+  /**
-   * Returns the value of the '<em><b>Exact Number</b></em>' attribute.
+   * Returns the value of the '<em><b>Exact Number</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Exact Number</em>' attribute isn't clear,
+   * If the meaning of the '<em>Exact Number</em>' attribute isn't clear,
-   * there really should be more of a description here...
+   * there really should be more of a description here...
-   * </p>
+   * </p>
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @return the value of the '<em>Exact Number</em>' attribute.
+   * @return the value of the '<em>Exact Number</em>' attribute.
-   * @see #setExactNumber(int)
+   * @see #setExactNumber(int)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  int getExactNumber();
+  int getExactNumber();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Exact Number</em>' attribute.
+   * @param value the new value of the '<em>Exact Number</em>' attribute.
-   * @see #getExactNumber()
+   * @see #getExactNumber()
-   * @generated
+   * @generated
-   */
+   */
-  void setExactNumber(int value);
+  void setExactNumber(int value);
-  /**
+  /**
-   * Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute.
+   * Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <p>
+   * <p>
-   * If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear,
+   * If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear,
-   * there really should be more of a description here...
+   * there really should be more of a description here...
-   * </p>
+   * </p>
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @return the value of the '<em>Exact Unlimited</em>' attribute.
+   * @return the value of the '<em>Exact Unlimited</em>' attribute.
-   * @see #setExactUnlimited(boolean)
+   * @see #setExactUnlimited(boolean)
-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()
+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()
-   * @model
+   * @model
-   * @generated
+   * @generated
-   */
+   */
-  boolean isExactUnlimited();
+  boolean isExactUnlimited();
-  /**
+  /**
-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute.
+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute.
-   * <!-- begin-user-doc -->
+   * <!-- begin-user-doc -->
-   * <!-- end-user-doc -->
+   * <!-- end-user-doc -->
-   * @param value the new value of the '<em>Exact Unlimited</em>' attribute.
+   * @param value the new value of the '<em>Exact Unlimited</em>' attribute.
-   * @see #isExactUnlimited()
+   * @see #isExactUnlimited()
-   * @generated
+   * @generated
-   */
+   */
-  void setExactUnlimited(boolean value);
+  void setExactUnlimited(boolean value);
-} // ExactNumber
+} // ExactNumber

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java index c72580e5..a818f6ef 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
@@ -1,78 +1,78 @@
1	/**	1	/**
2	* generated by Xtext 2.12.0	2	* generated by Xtext 2.16.0
3	*/	3	*/
4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;	4	package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5		5
6		6
7	/**	7	/**
8	* <!-- begin-user-doc -->	8	* <!-- begin-user-doc -->
9	* A representation of the model object '<em><b>Exact Number</b></em>'.	9	* A representation of the model object '<em><b>Exact Number</b></em>'.
10	* <!-- end-user-doc -->	10	* <!-- end-user-doc -->
11	*	11	*
12	* <p>	12	* <p>
13	* The following features are supported:	13	* The following features are supported:
14	* </p>	14	* </p>
15	* <ul>	15	* <ul>
16	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li>	16	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li>
17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li>	17	* <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li>
18	* </ul>	18	* </ul>
19	*	19	*
20	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()	20	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()
21	* @model	21	* @model
22	* @generated	22	* @generated
23	*/	23	*/
24	public interface ExactNumber extends NumberSpecification	24	public interface ExactNumber extends NumberSpecification
25	{	25	{
26	/**	26	/**
27	* Returns the value of the '<em><b>Exact Number</b></em>' attribute.	27	* Returns the value of the '<em><b>Exact Number</b></em>' attribute.
28	* <!-- begin-user-doc -->	28	* <!-- begin-user-doc -->
29	* <p>	29	* <p>
30	* If the meaning of the '<em>Exact Number</em>' attribute isn't clear,	30	* If the meaning of the '<em>Exact Number</em>' attribute isn't clear,
31	* there really should be more of a description here...	31	* there really should be more of a description here...
32	* </p>	32	* </p>
33	* <!-- end-user-doc -->	33	* <!-- end-user-doc -->
34	* @return the value of the '<em>Exact Number</em>' attribute.	34	* @return the value of the '<em>Exact Number</em>' attribute.
35	* @see #setExactNumber(int)	35	* @see #setExactNumber(int)
36	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()	36	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()
37	* @model	37	* @model
38	* @generated	38	* @generated
39	*/	39	*/
40	int getExactNumber();	40	int getExactNumber();
41		41
42	/**	42	/**
43	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute.	43	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute.
44	* <!-- begin-user-doc -->	44	* <!-- begin-user-doc -->
45	* <!-- end-user-doc -->	45	* <!-- end-user-doc -->
46	* @param value the new value of the '<em>Exact Number</em>' attribute.	46	* @param value the new value of the '<em>Exact Number</em>' attribute.
47	* @see #getExactNumber()	47	* @see #getExactNumber()
48	* @generated	48	* @generated
49	*/	49	*/
50	void setExactNumber(int value);	50	void setExactNumber(int value);
51		51
52	/**	52	/**
53	* Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute.	53	* Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute.
54	* <!-- begin-user-doc -->	54	* <!-- begin-user-doc -->
55	* <p>	55	* <p>
56	* If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear,	56	* If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear,
57	* there really should be more of a description here...	57	* there really should be more of a description here...
58	* </p>	58	* </p>
59	* <!-- end-user-doc -->	59	* <!-- end-user-doc -->
60	* @return the value of the '<em>Exact Unlimited</em>' attribute.	60	* @return the value of the '<em>Exact Unlimited</em>' attribute.
61	* @see #setExactUnlimited(boolean)	61	* @see #setExactUnlimited(boolean)
62	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()	62	* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()
63	* @model	63	* @model
64	* @generated	64	* @generated
65	*/	65	*/
66	boolean isExactUnlimited();	66	boolean isExactUnlimited();
67		67
68	/**	68	/**
69	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute.	69	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute.
70	* <!-- begin-user-doc -->	70	* <!-- begin-user-doc -->
71	* <!-- end-user-doc -->	71	* <!-- end-user-doc -->
72	* @param value the new value of the '<em>Exact Unlimited</em>' attribute.	72	* @param value the new value of the '<em>Exact Unlimited</em>' attribute.
73	* @see #isExactUnlimited()	73	* @see #isExactUnlimited()
74	* @generated	74	* @generated
75	*/	75	*/
76	void setExactUnlimited(boolean value);	76	void setExactUnlimited(boolean value);
77		77
78	} // ExactNumber	78	} // ExactNumber