1 files changed, 85 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
index 3f2fe479..f95262f9 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
@@ -230,13 +230,40 @@ public interface PartialinterpretationPackage extends EPackage {
        int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17;
        /**
+         * The feature id for the '<em><b>New Strings</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PARTIAL_INTERPRETATION__NEW_STRINGS = 18;
+        /**
+         * The feature id for the '<em><b>New Reals</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PARTIAL_INTERPRETATION__NEW_REALS = 19;
+        /**
+         * The feature id for the '<em><b>New Integers</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20;
+        /**
         * The number of structural features of the '<em>Partial Interpretation</em>' class.
         * <!-- begin-user-doc -->
         * <!-- end-user-doc -->
         * @generated
         * @ordered
         */
-        int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18;
+        int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21;
        /**
         * The number of operations of the '<em>Partial Interpretation</em>' class.
@@ -1147,6 +1174,39 @@ public interface PartialinterpretationPackage extends EPackage {
        EAttribute getPartialInterpretation_MaxNewStrings();
        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>New Strings</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings()
+         * @see #getPartialInterpretation()
+         * @generated
+         */
+        EReference getPartialInterpretation_NewStrings();
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>New Reals</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals()
+         * @see #getPartialInterpretation()
+         * @generated
+         */
+        EReference getPartialInterpretation_NewReals();
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>New Integers</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers()
+         * @see #getPartialInterpretation()
+         * @generated
+         */
+        EReference getPartialInterpretation_NewIntegers();
+        /**
         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'.
         * <!-- begin-user-doc -->
         * <!-- end-user-doc -->
@@ -1673,6 +1733,30 @@ public interface PartialinterpretationPackage extends EPackage {
                EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings();
                /**
+                 * The meta object literal for the '<em><b>New Strings</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings();
+                /**
+                 * The meta object literal for the '<em><b>New Reals</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals();
+                /**
+                 * The meta object literal for the '<em><b>New Integers</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers();
+                /**
                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class.
                 * <!-- begin-user-doc -->
                 * <!-- end-user-doc -->

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index 3f2fe479..f95262f9 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
@@ -230,13 +230,40 @@ public interface PartialinterpretationPackage extends EPackage {
230	int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17;	230	int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17;
231		231
232	/**	232	/**
		233	* The feature id for the '<em><b>New Strings</b></em>' containment reference list.
		234	* <!-- begin-user-doc -->
		235	* <!-- end-user-doc -->
		236	* @generated
		237	* @ordered
		238	*/
		239	int PARTIAL_INTERPRETATION__NEW_STRINGS = 18;
		240
		241	/**
		242	* The feature id for the '<em><b>New Reals</b></em>' containment reference list.
		243	* <!-- begin-user-doc -->
		244	* <!-- end-user-doc -->
		245	* @generated
		246	* @ordered
		247	*/
		248	int PARTIAL_INTERPRETATION__NEW_REALS = 19;
		249
		250	/**
		251	* The feature id for the '<em><b>New Integers</b></em>' containment reference list.
		252	* <!-- begin-user-doc -->
		253	* <!-- end-user-doc -->
		254	* @generated
		255	* @ordered
		256	*/
		257	int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20;
		258
		259	/**
233	* The number of structural features of the '<em>Partial Interpretation</em>' class.	260	* The number of structural features of the '<em>Partial Interpretation</em>' class.
234	* <!-- begin-user-doc -->	261	* <!-- begin-user-doc -->
235	* <!-- end-user-doc -->	262	* <!-- end-user-doc -->
236	* @generated	263	* @generated
237	* @ordered	264	* @ordered
238	*/	265	*/
239	int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18;	266	int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21;
240		267
241	/**	268	/**
242	* The number of operations of the '<em>Partial Interpretation</em>' class.	269	* The number of operations of the '<em>Partial Interpretation</em>' class.
@@ -1147,6 +1174,39 @@ public interface PartialinterpretationPackage extends EPackage {
1147	EAttribute getPartialInterpretation_MaxNewStrings();	1174	EAttribute getPartialInterpretation_MaxNewStrings();
1148		1175
1149	/**	1176	/**
		1177	* Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}'.
		1178	* <!-- begin-user-doc -->
		1179	* <!-- end-user-doc -->
		1180	* @return the meta object for the containment reference list '<em>New Strings</em>'.
		1181	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings()
		1182	* @see #getPartialInterpretation()
		1183	* @generated
		1184	*/
		1185	EReference getPartialInterpretation_NewStrings();
		1186
		1187	/**
		1188	* Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}'.
		1189	* <!-- begin-user-doc -->
		1190	* <!-- end-user-doc -->
		1191	* @return the meta object for the containment reference list '<em>New Reals</em>'.
		1192	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals()
		1193	* @see #getPartialInterpretation()
		1194	* @generated
		1195	*/
		1196	EReference getPartialInterpretation_NewReals();
		1197
		1198	/**
		1199	* Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}'.
		1200	* <!-- begin-user-doc -->
		1201	* <!-- end-user-doc -->
		1202	* @return the meta object for the containment reference list '<em>New Integers</em>'.
		1203	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers()
		1204	* @see #getPartialInterpretation()
		1205	* @generated
		1206	*/
		1207	EReference getPartialInterpretation_NewIntegers();
		1208
		1209	/**
1150	* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'.	1210	* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'.
1151	* <!-- begin-user-doc -->	1211	* <!-- begin-user-doc -->
1152	* <!-- end-user-doc -->	1212	* <!-- end-user-doc -->
@@ -1673,6 +1733,30 @@ public interface PartialinterpretationPackage extends EPackage {
1673	EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings();	1733	EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings();
1674		1734
1675	/**	1735	/**
		1736	* The meta object literal for the '<em><b>New Strings</b></em>' containment reference list feature.
		1737	* <!-- begin-user-doc -->
		1738	* <!-- end-user-doc -->
		1739	* @generated
		1740	*/
		1741	EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings();
		1742
		1743	/**
		1744	* The meta object literal for the '<em><b>New Reals</b></em>' containment reference list feature.
		1745	* <!-- begin-user-doc -->
		1746	* <!-- end-user-doc -->
		1747	* @generated
		1748	*/
		1749	EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals();
		1750
		1751	/**
		1752	* The meta object literal for the '<em><b>New Integers</b></em>' containment reference list feature.
		1753	* <!-- begin-user-doc -->
		1754	* <!-- end-user-doc -->
		1755	* @generated
		1756	*/
		1757	EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers();
		1758
		1759	/**
1676	* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class.	1760	* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class.
1677	* <!-- begin-user-doc -->	1761	* <!-- begin-user-doc -->
1678	* <!-- end-user-doc -->	1762	* <!-- end-user-doc -->