Updated partial model representation

26 files changed, 2314 insertions, 1374 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
index 4b70390f..8dc06848 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
@@ -2,6 +2,7 @@
  */

 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

 

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;

 import org.eclipse.emf.ecore.EObject;

 

 /**

@@ -14,6 +15,7 @@ import org.eclipse.emf.ecore.EObject;
  * </p>

  * <ul>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getIndex <em>Index</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam <em>Param</em>}</li>

  * </ul>

  *

  * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement()

@@ -47,4 +49,30 @@ public interface NaryRelationLinkElement extends EObject {
          */

         void setIndex(int value);

 

+        /**

+         * Returns the value of the '<em><b>Param</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Param</em>' reference isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Param</em>' reference.

+         * @see #setParam(DefinedElement)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement_Param()

+         * @model required="true"

+         * @generated

+         */

+        DefinedElement getParam();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam <em>Param</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Param</em>' reference.

+         * @see #getParam()

+         * @generated

+         */

+        void setParam(DefinedElement value);

+

 } // NaryRelationLinkElement

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java
new file mode 100644
index 00000000..3f96fa10
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java
@@ -0,0 +1,17 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Boolean Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialBooleanInterpretation()

+ * @model

+ * @generated

+ */

+public interface PartialBooleanInterpretation extends PartialPrimitiveInterpretation {

+} // PartialBooleanInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java
new file mode 100644
index 00000000..c4431b18
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java
@@ -0,0 +1,69 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Complex Type Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf <em>Interpretation Of</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation()

+ * @model

+ * @generated

+ */

+public interface PartialComplexTypeInterpretation extends PartialTypeInterpratation {

+        /**

+         * Returns the value of the '<em><b>Supertype Interpretation</b></em>' reference list.

+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation}.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Supertype Interpretation</em>' reference list isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Supertype Interpretation</em>' reference list.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_SupertypeInterpretation()

+         * @model

+         * @generated

+         */

+        EList<PartialComplexTypeInterpretation> getSupertypeInterpretation();

+

+        /**

+         * Returns the value of the '<em><b>Interpretation Of</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Interpretation Of</em>' reference isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Interpretation Of</em>' reference.

+         * @see #setInterpretationOf(TypeDeclaration)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_InterpretationOf()

+         * @model required="true"

+         * @generated

+         */

+        TypeDeclaration getInterpretationOf();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf <em>Interpretation Of</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Interpretation Of</em>' reference.

+         * @see #getInterpretationOf()

+         * @generated

+         */

+        void setInterpretationOf(TypeDeclaration value);

+

+} // PartialComplexTypeInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java
new file mode 100644
index 00000000..bbd43608
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java
@@ -0,0 +1,17 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Integer Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialIntegerInterpretation()

+ * @model

+ * @generated

+ */

+public interface PartialIntegerInterpretation extends PartialPrimitiveInterpretation {

+} // PartialIntegerInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
index d0f77a52..098cc15b 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -25,21 +25,11 @@ import org.eclipse.emf.ecore.EObject;
  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements <em>Open World Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes <em>Scopes</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}</li>

  * </ul>

  *

  * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation()

@@ -154,74 +144,20 @@ public interface PartialInterpretation extends EObject {
         EList<PartialTypeInterpratation> getPartialtypeinterpratation();

 

         /**

-         * Returns the value of the '<em><b>Min New Elements</b></em>' attribute.

-         * The default value is <code>"0"</code>.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Min New Elements</em>' attribute.

-         * @see #setMinNewElements(int)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements()

-         * @model default="0" id="true" required="true"

-         * @generated

-         */

-        int getMinNewElements();

-

-        /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Min New Elements</em>' attribute.

-         * @see #getMinNewElements()

-         * @generated

-         */

-        void setMinNewElements(int value);

-

-        /**

-         * Returns the value of the '<em><b>Max New Elements</b></em>' attribute.

-         * The default value is <code>"0"</code>.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Max New Elements</em>' attribute.

-         * @see #setMaxNewElements(int)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements()

-         * @model default="0" required="true"

-         * @generated

-         */

-        int getMaxNewElements();

-

-        /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Max New Elements</em>' attribute.

-         * @see #getMaxNewElements()

-         * @generated

-         */

-        void setMaxNewElements(int value);

-

-        /**

-         * Returns the value of the '<em><b>Open World Element Prototypes</b></em>' containment reference list.

+         * Returns the value of the '<em><b>Open World Elements</b></em>' containment reference list.

          * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.

          * <!-- begin-user-doc -->

          * <p>

-         * If the meaning of the '<em>Open World Element Prototypes</em>' containment reference list isn't clear,

+         * If the meaning of the '<em>Open World Elements</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>Open World Element Prototypes</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes()

+         * @return the value of the '<em>Open World Elements</em>' containment reference list.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElements()

          * @model containment="true"

          * @generated

          */

-        EList<DefinedElement> getOpenWorldElementPrototypes();

+        EList<DefinedElement> getOpenWorldElements();

 

         /**

          * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference.

@@ -250,209 +186,73 @@ public interface PartialInterpretation extends EObject {
         void setProblemConainer(LogicProblem value);

 

         /**

-         * Returns the value of the '<em><b>Stringelement</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.

+         * Returns the value of the '<em><b>Scopes</b></em>' containment reference list.

+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}.

          * <!-- begin-user-doc -->

          * <p>

-         * If the meaning of the '<em>Stringelement</em>' containment reference list isn't clear,

+         * If the meaning of the '<em>Scopes</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>Stringelement</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement()

+         * @return the value of the '<em>Scopes</em>' containment reference list.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Scopes()

          * @model containment="true"

          * @generated

          */

-        EList<StringElement> getStringelement();

+        EList<Scope> getScopes();

 

         /**

-         * Returns the value of the '<em><b>Stringelements</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Stringelements</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>Stringelements</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements()

-         * @model containment="true"

-         * @generated

-         */

-        EList<StringElement> getStringelements();

-

-        /**

-         * Returns the value of the '<em><b>Realelements</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Realelements</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>Realelements</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements()

-         * @model containment="true"

-         * @generated

-         */

-        EList<RealElement> getRealelements();

-

-        /**

-         * Returns the value of the '<em><b>Integerelements</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Integerelements</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>Integerelements</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements()

-         * @model containment="true"

-         * @generated

-         */

-        EList<IntegerElement> getIntegerelements();

-

-        /**

-         * Returns the value of the '<em><b>Booleanelements</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Booleanelements</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>Booleanelements</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements()

-         * @model containment="true"

-         * @generated

-         */

-        EList<BooleanElement> getBooleanelements();

-

-        /**

-         * Returns the value of the '<em><b>Max New Integers</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Max New Integers</em>' attribute isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Max New Integers</em>' attribute.

-         * @see #setMaxNewIntegers(int)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers()

-         * @model required="true"

-         * @generated

-         */

-        int getMaxNewIntegers();

-

-        /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Max New Integers</em>' attribute.

-         * @see #getMaxNewIntegers()

-         * @generated

-         */

-        void setMaxNewIntegers(int value);

-

-        /**

-         * Returns the value of the '<em><b>Max New Reals</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Max New Reals</em>' attribute isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Max New Reals</em>' attribute.

-         * @see #setMaxNewReals(int)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals()

-         * @model required="true"

-         * @generated

-         */

-        int getMaxNewReals();

-

-        /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Max New Reals</em>' attribute.

-         * @see #getMaxNewReals()

-         * @generated

-         */

-        void setMaxNewReals(int value);

-

-        /**

-         * Returns the value of the '<em><b>Max New Strings</b></em>' attribute.

+         * Returns the value of the '<em><b>Min New Elements</b></em>' attribute.

+         * The default value is <code>"0"</code>.

          * <!-- begin-user-doc -->

          * <p>

-         * If the meaning of the '<em>Max New Strings</em>' attribute isn't clear,

+         * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear,

          * there really should be more of a description here...

          * </p>

          * <!-- end-user-doc -->

-         * @return the value of the '<em>Max New Strings</em>' attribute.

-         * @see #setMaxNewStrings(int)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings()

-         * @model required="true"

+         * @return the value of the '<em>Min New Elements</em>' attribute.

+         * @see #setMinNewElements(int)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements()

+         * @model default="0" required="true"

          * @generated

          */

-        int getMaxNewStrings();

+        int getMinNewElements();

 

         /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}' attribute.

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Max New Strings</em>' attribute.

-         * @see #getMaxNewStrings()

-         * @generated

-         */

-        void setMaxNewStrings(int value);

-

-        /**

-         * Returns the value of the '<em><b>New Strings</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>New Strings</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>New Strings</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings()

-         * @model containment="true"

+         * @param value the new value of the '<em>Min New Elements</em>' attribute.

+         * @see #getMinNewElements()

          * @generated

          */

-        EList<StringElement> getNewStrings();

+        void setMinNewElements(int value);

 

         /**

-         * Returns the value of the '<em><b>New Reals</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}.

+         * Returns the value of the '<em><b>Max New Elements</b></em>' attribute.

+         * The default value is <code>"-1"</code>.

          * <!-- begin-user-doc -->

          * <p>

-         * If the meaning of the '<em>New Reals</em>' containment reference list isn't clear,

+         * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear,

          * there really should be more of a description here...

          * </p>

          * <!-- end-user-doc -->

-         * @return the value of the '<em>New Reals</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals()

-         * @model containment="true"

+         * @return the value of the '<em>Max New Elements</em>' attribute.

+         * @see #setMaxNewElements(int)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements()

+         * @model default="-1" required="true"

          * @generated

          */

-        EList<RealElement> getNewReals();

+        int getMaxNewElements();

 

         /**

-         * Returns the value of the '<em><b>New Integers</b></em>' containment reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}.

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>New Integers</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>New Integers</em>' containment reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers()

-         * @model containment="true"

+         * @param value the new value of the '<em>Max New Elements</em>' attribute.

+         * @see #getMaxNewElements()

          * @generated

          */

-        EList<IntegerElement> getNewIntegers();

+        void setMaxNewElements(int value);

 

 } // PartialInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java
new file mode 100644
index 00000000..0efebd6f
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java
@@ -0,0 +1,17 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Primitive Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialPrimitiveInterpretation()

+ * @model abstract="true"

+ * @generated

+ */

+public interface PartialPrimitiveInterpretation extends PartialTypeInterpratation {

+} // PartialPrimitiveInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java
new file mode 100644
index 00000000..e4ce4a00
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java
@@ -0,0 +1,17 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Real Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialRealInterpretation()

+ * @model

+ * @generated

+ */

+public interface PartialRealInterpretation extends PartialPrimitiveInterpretation {

+} // PartialRealInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java
new file mode 100644
index 00000000..372b3ee3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java
@@ -0,0 +1,17 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial String Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialStringInterpretation()

+ * @model

+ * @generated

+ */

+public interface PartialStringInterpretation extends PartialPrimitiveInterpretation {

+} // PartialStringInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
index ff313b42..8e2def20 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
@@ -3,8 +3,6 @@
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

 

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;

-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;

-

 import org.eclipse.emf.common.util.EList;

 import org.eclipse.emf.ecore.EObject;

 

@@ -17,43 +15,15 @@ import org.eclipse.emf.ecore.EObject;
  * The following features are supported:

  * </p>

  * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf <em>Interpretation Of</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li>

  * </ul>

  *

  * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation()

- * @model

+ * @model abstract="true"

  * @generated

  */

 public interface PartialTypeInterpratation extends EObject {

         /**

-         * Returns the value of the '<em><b>Interpretation Of</b></em>' reference.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Interpretation Of</em>' reference isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Interpretation Of</em>' reference.

-         * @see #setInterpretationOf(TypeDeclaration)

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_InterpretationOf()

-         * @model required="true"

-         * @generated

-         */

-        TypeDeclaration getInterpretationOf();

-

-        /**

-         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf <em>Interpretation Of</em>}' reference.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @param value the new value of the '<em>Interpretation Of</em>' reference.

-         * @see #getInterpretationOf()

-         * @generated

-         */

-        void setInterpretationOf(TypeDeclaration value);

-

-        /**

          * Returns the value of the '<em><b>Elements</b></em>' reference list.

          * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.

          * <!-- begin-user-doc -->

@@ -69,20 +39,4 @@ public interface PartialTypeInterpratation extends EObject {
          */

         EList<DefinedElement> getElements();

 

-        /**

-         * Returns the value of the '<em><b>Supertype Interpretation</b></em>' reference list.

-         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation}.

-         * <!-- begin-user-doc -->

-         * <p>

-         * If the meaning of the '<em>Supertype Interpretation</em>' reference list isn't clear,

-         * there really should be more of a description here...

-         * </p>

-         * <!-- end-user-doc -->

-         * @return the value of the '<em>Supertype Interpretation</em>' reference list.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_SupertypeInterpretation()

-         * @model

-         * @generated

-         */

-        EList<PartialTypeInterpratation> getSupertypeInterpretation();

-

 } // PartialTypeInterpratation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
index da71e230..df29f0a4 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
@@ -58,15 +58,6 @@ public interface PartialinterpretationFactory extends EFactory {
         PartialFunctionInterpretation createPartialFunctionInterpretation();

 

         /**

-         * Returns a new object of class '<em>Partial Type Interpratation</em>'.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @return a new object of class '<em>Partial Type Interpratation</em>'.

-         * @generated

-         */

-        PartialTypeInterpratation createPartialTypeInterpratation();

-

-        /**

          * Returns a new object of class '<em>Unary Element Relation Link</em>'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -139,6 +130,60 @@ public interface PartialinterpretationFactory extends EFactory {
         StringElement createStringElement();

 

         /**

+         * Returns a new object of class '<em>Scope</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Scope</em>'.

+         * @generated

+         */

+        Scope createScope();

+

+        /**

+         * Returns a new object of class '<em>Partial Boolean Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial Boolean Interpretation</em>'.

+         * @generated

+         */

+        PartialBooleanInterpretation createPartialBooleanInterpretation();

+

+        /**

+         * Returns a new object of class '<em>Partial Integer Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial Integer Interpretation</em>'.

+         * @generated

+         */

+        PartialIntegerInterpretation createPartialIntegerInterpretation();

+

+        /**

+         * Returns a new object of class '<em>Partial Real Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial Real Interpretation</em>'.

+         * @generated

+         */

+        PartialRealInterpretation createPartialRealInterpretation();

+

+        /**

+         * Returns a new object of class '<em>Partial String Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial String Interpretation</em>'.

+         * @generated

+         */

+        PartialStringInterpretation createPartialStringInterpretation();

+

+        /**

+         * Returns a new object of class '<em>Partial Complex Type Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial Complex Type Interpretation</em>'.

+         * @generated

+         */

+        PartialComplexTypeInterpretation createPartialComplexTypeInterpretation();

+

+        /**

          * Returns the package supported by this factory.

          * <!-- 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 f95262f9..ba04bca8 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
@@ -122,31 +122,13 @@ public interface PartialinterpretationPackage extends EPackage {
         int PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = 5;

 

         /**

-         * The feature id for the '<em><b>Min New Elements</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 6;

-

-        /**

-         * The feature id for the '<em><b>Max New Elements</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7;

-

-        /**

-         * The feature id for the '<em><b>Open World Element Prototypes</b></em>' containment reference list.

+         * The feature id for the '<em><b>Open World Elements</b></em>' containment reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8;

+        int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = 6;

 

         /**

          * The feature id for the '<em><b>Problem Conainer</b></em>' containment reference.

@@ -155,106 +137,34 @@ public interface PartialinterpretationPackage extends EPackage {
          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9;

-

-        /**

-         * The feature id for the '<em><b>Stringelement</b></em>' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__STRINGELEMENT = 10;

-

-        /**

-         * The feature id for the '<em><b>Stringelements</b></em>' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11;

-

-        /**

-         * The feature id for the '<em><b>Realelements</b></em>' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__REALELEMENTS = 12;

-

-        /**

-         * The feature id for the '<em><b>Integerelements</b></em>' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13;

-

-        /**

-         * The feature id for the '<em><b>Booleanelements</b></em>' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14;

-

-        /**

-         * The feature id for the '<em><b>Max New Integers</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15;

+        int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 7;

 

         /**

-         * The feature id for the '<em><b>Max New Reals</b></em>' attribute.

+         * The feature id for the '<em><b>Scopes</b></em>' containment reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16;

+        int PARTIAL_INTERPRETATION__SCOPES = 8;

 

         /**

-         * The feature id for the '<em><b>Max New Strings</b></em>' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        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.

+         * The feature id for the '<em><b>Min New Elements</b></em>' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION__NEW_REALS = 19;

+        int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 9;

 

         /**

-         * The feature id for the '<em><b>New Integers</b></em>' containment reference list.

+         * The feature id for the '<em><b>Max New Elements</b></em>' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20;

+        int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 10;

 

         /**

          * The number of structural features of the '<em>Partial Interpretation</em>' class.

@@ -263,7 +173,7 @@ public interface PartialinterpretationPackage extends EPackage {
          * @generated

          * @ordered

          */

-        int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21;

+        int PARTIAL_INTERPRETATION_FEATURE_COUNT = 11;

 

         /**

          * The number of operations of the '<em>Partial Interpretation</em>' class.

@@ -423,31 +333,13 @@ public interface PartialinterpretationPackage extends EPackage {
         int PARTIAL_TYPE_INTERPRATATION = 4;

 

         /**

-         * The feature id for the '<em><b>Interpretation Of</b></em>' reference.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = 0;

-

-        /**

          * The feature id for the '<em><b>Elements</b></em>' reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 1;

-

-        /**

-         * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         * @ordered

-         */

-        int PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = 2;

+        int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0;

 

         /**

          * The number of structural features of the '<em>Partial Type Interpratation</em>' class.

@@ -456,7 +348,7 @@ public interface PartialinterpretationPackage extends EPackage {
          * @generated

          * @ordered

          */

-        int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 3;

+        int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 1;

 

         /**

          * The number of operations of the '<em>Partial Type Interpratation</em>' class.

@@ -635,13 +527,22 @@ public interface PartialinterpretationPackage extends EPackage {
         int NARY_RELATION_LINK_ELEMENT__INDEX = 0;

 

         /**

+         * The feature id for the '<em><b>Param</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK_ELEMENT__PARAM = 1;

+

+        /**

          * The number of structural features of the '<em>Nary Relation Link Element</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

          * @ordered

          */

-        int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1;

+        int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 2;

 

         /**

          * The number of operations of the '<em>Nary Relation Link Element</em>' class.

@@ -966,245 +867,432 @@ public interface PartialinterpretationPackage extends EPackage {
 

 

         /**

-         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'.

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl <em>Scope</em>}' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for class '<em>Partial Interpretation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope()

          * @generated

          */

-        EClass getPartialInterpretation();

+        int SCOPE = 15;

 

         /**

-         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}'.

+         * The feature id for the '<em><b>Min New Elements</b></em>' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the reference '<em>Problem</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_Problem();

+        int SCOPE__MIN_NEW_ELEMENTS = 0;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}'.

+         * The feature id for the '<em><b>Max New Elements</b></em>' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Partialconstantinterpretation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_Partialconstantinterpretation();

+        int SCOPE__MAX_NEW_ELEMENTS = 1;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}'.

+         * The feature id for the '<em><b>Target Type Interpretation</b></em>' reference.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Partialrelationinterpretation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_Partialrelationinterpretation();

+        int SCOPE__TARGET_TYPE_INTERPRETATION = 2;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}'.

+         * The number of structural features of the '<em>Scope</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Partialfunctioninterpretation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_Partialfunctioninterpretation();

+        int SCOPE_FEATURE_COUNT = 3;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}'.

+         * The number of operations of the '<em>Scope</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>New Elements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_NewElements();

+        int SCOPE_OPERATION_COUNT = 0;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}'.

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl <em>Partial Primitive Interpretation</em>}' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Partialtypeinterpratation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation()

-         * @see #getPartialInterpretation()

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Partialtypeinterpratation();

+        int PARTIAL_PRIMITIVE_INTERPRETATION = 16;

 

         /**

-         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}'.

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the attribute '<em>Min New Elements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EAttribute getPartialInterpretation_MinNewElements();

+        int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS;

 

         /**

-         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}'.

+         * The number of structural features of the '<em>Partial Primitive Interpretation</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the attribute '<em>Max New Elements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EAttribute getPartialInterpretation_MaxNewElements();

+        int PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}'.

+         * The number of operations of the '<em>Partial Primitive Interpretation</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Open World Element Prototypes</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes()

-         * @see #getPartialInterpretation()

          * @generated

+         * @ordered

          */

-        EReference getPartialInterpretation_OpenWorldElementPrototypes();

+        int PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0;

 

         /**

-         * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'.

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl <em>Partial Boolean Interpretation</em>}' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference '<em>Problem Conainer</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer()

-         * @see #getPartialInterpretation()

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_ProblemConainer();

+        int PARTIAL_BOOLEAN_INTERPRETATION = 17;

+

+        /**

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;

+

+        /**

+         * The number of structural features of the '<em>Partial Boolean Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_BOOLEAN_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Partial Boolean Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_BOOLEAN_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl <em>Partial Integer Interpretation</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation()

+         * @generated

+         */

+        int PARTIAL_INTEGER_INTERPRETATION = 18;

+

+        /**

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}'.

+         * The number of structural features of the '<em>Partial Integer Interpretation</em>' class.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Stringelement</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement()

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTEGER_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Partial Integer Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTEGER_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl <em>Partial Real Interpretation</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation()

+         * @generated

+         */

+        int PARTIAL_REAL_INTERPRETATION = 19;

+

+        /**

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;

+

+        /**

+         * The number of structural features of the '<em>Partial Real Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_REAL_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Partial Real Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_REAL_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl <em>Partial String Interpretation</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation()

+         * @generated

+         */

+        int PARTIAL_STRING_INTERPRETATION = 20;

+

+        /**

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;

+

+        /**

+         * The number of structural features of the '<em>Partial String Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_STRING_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;

+

+        /**

+         * The number of operations of the '<em>Partial String Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_STRING_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;

+

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl <em>Partial Complex Type Interpretation</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation()

+         * @generated

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION = 21;

+

+        /**

+         * The feature id for the '<em><b>Elements</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS;

+

+        /**

+         * The feature id for the '<em><b>Supertype Interpretation</b></em>' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0;

+

+        /**

+         * The feature id for the '<em><b>Interpretation Of</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 1;

+

+        /**

+         * The number of structural features of the '<em>Partial Complex Type Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 2;

+

+        /**

+         * The number of operations of the '<em>Partial Complex Type Interpretation</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_COMPLEX_TYPE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0;

+

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation

+         * @generated

+         */

+        EClass getPartialInterpretation();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference '<em>Problem</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Stringelement();

+        EReference getPartialInterpretation_Problem();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Stringelements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements()

+         * @return the meta object for the containment reference list '<em>Partialconstantinterpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Stringelements();

+        EReference getPartialInterpretation_Partialconstantinterpretation();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Realelements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements()

+         * @return the meta object for the containment reference list '<em>Partialrelationinterpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Realelements();

+        EReference getPartialInterpretation_Partialrelationinterpretation();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Integerelements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements()

+         * @return the meta object for the containment reference list '<em>Partialfunctioninterpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Integerelements();

+        EReference getPartialInterpretation_Partialfunctioninterpretation();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the containment reference list '<em>Booleanelements</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements()

+         * @return the meta object for the containment reference list '<em>New Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_Booleanelements();

+        EReference getPartialInterpretation_NewElements();

 

         /**

-         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the attribute '<em>Max New Integers</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers()

+         * @return the meta object for the containment reference list '<em>Partialtypeinterpratation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EAttribute getPartialInterpretation_MaxNewIntegers();

+        EReference getPartialInterpretation_Partialtypeinterpratation();

 

         /**

-         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements <em>Open World Elements</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the attribute '<em>Max New Reals</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals()

+         * @return the meta object for the containment reference list '<em>Open World Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EAttribute getPartialInterpretation_MaxNewReals();

+        EReference getPartialInterpretation_OpenWorldElements();

 

         /**

-         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}'.

+         * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @return the meta object for the attribute '<em>Max New Strings</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings()

+         * @return the meta object for the containment reference '<em>Problem Conainer</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EAttribute getPartialInterpretation_MaxNewStrings();

+        EReference getPartialInterpretation_ProblemConainer();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}'.

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes <em>Scopes</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()

+         * @return the meta object for the containment reference list '<em>Scopes</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_NewStrings();

+        EReference getPartialInterpretation_Scopes();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}'.

+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</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()

+         * @return the meta object for the attribute '<em>Min New Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_NewReals();

+        EAttribute getPartialInterpretation_MinNewElements();

 

         /**

-         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}'.

+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</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()

+         * @return the meta object for the attribute '<em>Max New Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements()

          * @see #getPartialInterpretation()

          * @generated

          */

-        EReference getPartialInterpretation_NewIntegers();

+        EAttribute getPartialInterpretation_MaxNewElements();

 

         /**

          * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'.

@@ -1313,17 +1401,6 @@ public interface PartialinterpretationPackage extends EPackage {
         EClass getPartialTypeInterpratation();

 

         /**

-         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf <em>Interpretation Of</em>}'.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @return the meta object for the reference '<em>Interpretation Of</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf()

-         * @see #getPartialTypeInterpratation()

-         * @generated

-         */

-        EReference getPartialTypeInterpratation_InterpretationOf();

-

-        /**

          * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements <em>Elements</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -1335,17 +1412,6 @@ public interface PartialinterpretationPackage extends EPackage {
         EReference getPartialTypeInterpratation_Elements();

 

         /**

-         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation <em>Supertype Interpretation</em>}'.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @return the meta object for the reference list '<em>Supertype Interpretation</em>'.

-         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation()

-         * @see #getPartialTypeInterpratation()

-         * @generated

-         */

-        EReference getPartialTypeInterpratation_SupertypeInterpretation();

-

-        /**

          * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -1451,6 +1517,17 @@ public interface PartialinterpretationPackage extends EPackage {
         EAttribute getNaryRelationLinkElement_Index();

 

         /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam <em>Param</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference '<em>Param</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam()

+         * @see #getNaryRelationLinkElement()

+         * @generated

+         */

+        EReference getNaryRelationLinkElement_Param();

+

+        /**

          * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement <em>Primitive Element</em>}'.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -1556,6 +1633,131 @@ public interface PartialinterpretationPackage extends EPackage {
         EAttribute getStringElement_Value();

 

         /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Scope</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope

+         * @generated

+         */

+        EClass getScope();

+

+        /**

+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements <em>Min New Elements</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the attribute '<em>Min New Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements()

+         * @see #getScope()

+         * @generated

+         */

+        EAttribute getScope_MinNewElements();

+

+        /**

+         * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements <em>Max New Elements</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the attribute '<em>Max New Elements</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements()

+         * @see #getScope()

+         * @generated

+         */

+        EAttribute getScope_MaxNewElements();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation <em>Target Type Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference '<em>Target Type Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation()

+         * @see #getScope()

+         * @generated

+         */

+        EReference getScope_TargetTypeInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Primitive Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation

+         * @generated

+         */

+        EClass getPartialPrimitiveInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Boolean Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation

+         * @generated

+         */

+        EClass getPartialBooleanInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Integer Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation

+         * @generated

+         */

+        EClass getPartialIntegerInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Real Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation

+         * @generated

+         */

+        EClass getPartialRealInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial String Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation

+         * @generated

+         */

+        EClass getPartialStringInterpretation();

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Complex Type Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation

+         * @generated

+         */

+        EClass getPartialComplexTypeInterpretation();

+

+        /**

+         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation <em>Supertype Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference list '<em>Supertype Interpretation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation()

+         * @see #getPartialComplexTypeInterpretation()

+         * @generated

+         */

+        EReference getPartialComplexTypeInterpretation_SupertypeInterpretation();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf <em>Interpretation Of</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference '<em>Interpretation Of</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf()

+         * @see #getPartialComplexTypeInterpretation()

+         * @generated

+         */

+        EReference getPartialComplexTypeInterpretation_InterpretationOf();

+

+        /**

          * Returns the factory that creates the instances of the model.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

@@ -1637,28 +1839,12 @@ public interface PartialinterpretationPackage extends EPackage {
                 EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation();

 

                 /**

-                 * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature.

+                 * The meta object literal for the '<em><b>Open World Elements</b></em>' containment reference list feature.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

                  * @generated

                  */

-                EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements();

-

-                /**

-                 * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements();

-

-                /**

-                 * The meta object literal for the '<em><b>Open World Element Prototypes</b></em>' containment reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes();

+                EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = eINSTANCE.getPartialInterpretation_OpenWorldElements();

 

                 /**

                  * The meta object literal for the '<em><b>Problem Conainer</b></em>' containment reference feature.

@@ -1669,92 +1855,28 @@ public interface PartialinterpretationPackage extends EPackage {
                 EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer();

 

                 /**

-                 * The meta object literal for the '<em><b>Stringelement</b></em>' containment reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement();

-

-                /**

-                 * The meta object literal for the '<em><b>Stringelements</b></em>' containment reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements();

-

-                /**

-                 * The meta object literal for the '<em><b>Realelements</b></em>' containment reference list feature.

+                 * The meta object literal for the '<em><b>Scopes</b></em>' containment reference list feature.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

                  * @generated

                  */

-                EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements();

+                EReference PARTIAL_INTERPRETATION__SCOPES = eINSTANCE.getPartialInterpretation_Scopes();

 

                 /**

-                 * The meta object literal for the '<em><b>Integerelements</b></em>' containment reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements();

-

-                /**

-                 * The meta object literal for the '<em><b>Booleanelements</b></em>' containment reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements();

-

-                /**

-                 * The meta object literal for the '<em><b>Max New Integers</b></em>' attribute feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers();

-

-                /**

-                 * The meta object literal for the '<em><b>Max New Reals</b></em>' attribute feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals();

-

-                /**

-                 * The meta object literal for the '<em><b>Max New Strings</b></em>' attribute feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                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.

+                 * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

                  * @generated

                  */

-                EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals();

+                EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements();

 

                 /**

-                 * The meta object literal for the '<em><b>New Integers</b></em>' containment reference list feature.

+                 * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

                  * @generated

                  */

-                EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers();

+                EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements();

 

                 /**

                  * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class.

@@ -1845,14 +1967,6 @@ public interface PartialinterpretationPackage extends EPackage {
                 EClass PARTIAL_TYPE_INTERPRATATION = eINSTANCE.getPartialTypeInterpratation();

 

                 /**

-                 * The meta object literal for the '<em><b>Interpretation Of</b></em>' reference feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = eINSTANCE.getPartialTypeInterpratation_InterpretationOf();

-

-                /**

                  * The meta object literal for the '<em><b>Elements</b></em>' reference list feature.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

@@ -1861,14 +1975,6 @@ public interface PartialinterpretationPackage extends EPackage {
                 EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements();

 

                 /**

-                 * The meta object literal for the '<em><b>Supertype Interpretation</b></em>' reference list feature.

-                 * <!-- begin-user-doc -->

-                 * <!-- end-user-doc -->

-                 * @generated

-                 */

-                EReference PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialTypeInterpratation_SupertypeInterpretation();

-

-                /**

                  * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.RelationLinkImpl <em>Relation Link</em>}' class.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

@@ -1959,6 +2065,14 @@ public interface PartialinterpretationPackage extends EPackage {
                 EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index();

 

                 /**

+                 * The meta object literal for the '<em><b>Param</b></em>' reference feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference NARY_RELATION_LINK_ELEMENT__PARAM = eINSTANCE.getNaryRelationLinkElement_Param();

+

+                /**

                  * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl <em>Primitive Element</em>}' class.

                  * <!-- begin-user-doc -->

                  * <!-- end-user-doc -->

@@ -2048,6 +2162,116 @@ public interface PartialinterpretationPackage extends EPackage {
                  */

                 EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value();

 

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl <em>Scope</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope()

+                 * @generated

+                 */

+                EClass SCOPE = eINSTANCE.getScope();

+

+                /**

+                 * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EAttribute SCOPE__MIN_NEW_ELEMENTS = eINSTANCE.getScope_MinNewElements();

+

+                /**

+                 * The meta object literal for the '<em><b>Max New Elements</b></em>' attribute feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EAttribute SCOPE__MAX_NEW_ELEMENTS = eINSTANCE.getScope_MaxNewElements();

+

+                /**

+                 * The meta object literal for the '<em><b>Target Type Interpretation</b></em>' reference feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference SCOPE__TARGET_TYPE_INTERPRETATION = eINSTANCE.getScope_TargetTypeInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl <em>Partial Primitive Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_PRIMITIVE_INTERPRETATION = eINSTANCE.getPartialPrimitiveInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl <em>Partial Boolean Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_BOOLEAN_INTERPRETATION = eINSTANCE.getPartialBooleanInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl <em>Partial Integer Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_INTEGER_INTERPRETATION = eINSTANCE.getPartialIntegerInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl <em>Partial Real Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_REAL_INTERPRETATION = eINSTANCE.getPartialRealInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl <em>Partial String Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_STRING_INTERPRETATION = eINSTANCE.getPartialStringInterpretation();

+

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl <em>Partial Complex Type Interpretation</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation()

+                 * @generated

+                 */

+                EClass PARTIAL_COMPLEX_TYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation();

+

+                /**

+                 * The meta object literal for the '<em><b>Supertype Interpretation</b></em>' reference list feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation_SupertypeInterpretation();

+

+                /**

+                 * The meta object literal for the '<em><b>Interpretation Of</b></em>' reference feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialComplexTypeInterpretation_InterpretationOf();

+

         }

 

 } //PartialinterpretationPackage

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java
new file mode 100644
index 00000000..ba9435c2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java
@@ -0,0 +1,106 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Scope</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements <em>Min New Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements <em>Max New Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation <em>Target Type Interpretation</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope()

+ * @model

+ * @generated

+ */

+public interface Scope extends EObject {

+        /**

+         * Returns the value of the '<em><b>Min New Elements</b></em>' attribute.

+         * The default value is <code>"0"</code>.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Min New Elements</em>' attribute.

+         * @see #setMinNewElements(int)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MinNewElements()

+         * @model default="0" required="true"

+         * @generated

+         */

+        int getMinNewElements();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements <em>Min New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Min New Elements</em>' attribute.

+         * @see #getMinNewElements()

+         * @generated

+         */

+        void setMinNewElements(int value);

+

+        /**

+         * Returns the value of the '<em><b>Max New Elements</b></em>' attribute.

+         * The default value is <code>"-1"</code>.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Max New Elements</em>' attribute.

+         * @see #setMaxNewElements(int)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MaxNewElements()

+         * @model default="-1" required="true"

+         * @generated

+         */

+        int getMaxNewElements();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements <em>Max New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Max New Elements</em>' attribute.

+         * @see #getMaxNewElements()

+         * @generated

+         */

+        void setMaxNewElements(int value);

+

+        /**

+         * Returns the value of the '<em><b>Target Type Interpretation</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Target Type Interpretation</em>' reference isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Target Type Interpretation</em>' reference.

+         * @see #setTargetTypeInterpretation(PartialTypeInterpratation)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_TargetTypeInterpretation()

+         * @model required="true"

+         * @generated

+         */

+        PartialTypeInterpratation getTargetTypeInterpretation();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation <em>Target Type Interpretation</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Target Type Interpretation</em>' reference.

+         * @see #getTargetTypeInterpretation()

+         * @generated

+         */

+        void setTargetTypeInterpretation(PartialTypeInterpratation value);

+

+} // Scope

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
index 40e6549d..749a03c5 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
@@ -2,6 +2,7 @@
  */

 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

 

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

 

@@ -9,6 +10,7 @@ import org.eclipse.emf.common.notify.Notification;
 

 import org.eclipse.emf.ecore.EClass;

 

+import org.eclipse.emf.ecore.InternalEObject;

 import org.eclipse.emf.ecore.impl.ENotificationImpl;

 import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

 

@@ -21,6 +23,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
  * </p>

  * <ul>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex <em>Index</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getParam <em>Param</em>}</li>

  * </ul>

  *

  * @generated

@@ -47,6 +50,16 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
         protected int index = INDEX_EDEFAULT;

 

         /**

+         * The cached value of the '{@link #getParam() <em>Param</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getParam()

+         * @generated

+         * @ordered

+         */

+        protected DefinedElement param;

+

+        /**

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

@@ -91,11 +104,52 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
          * <!-- end-user-doc -->

          * @generated

          */

+        public DefinedElement getParam() {

+                if (param != null && param.eIsProxy()) {

+                        InternalEObject oldParam = (InternalEObject)param;

+                        param = (DefinedElement)eResolveProxy(oldParam);

+                        if (param != oldParam) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));

+                        }

+                }

+                return param;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public DefinedElement basicGetParam() {

+                return param;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setParam(DefinedElement newParam) {

+                DefinedElement oldParam = param;

+                param = newParam;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         @Override

         public Object eGet(int featureID, boolean resolve, boolean coreType) {

                 switch (featureID) {

                         case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

                                 return getIndex();

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:

+                                if (resolve) return getParam();

+                                return basicGetParam();

                 }

                 return super.eGet(featureID, resolve, coreType);

         }

@@ -111,6 +165,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
                         case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

                                 setIndex((Integer)newValue);

                                 return;

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:

+                                setParam((DefinedElement)newValue);

+                                return;

                 }

                 super.eSet(featureID, newValue);

         }

@@ -126,6 +183,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
                         case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

                                 setIndex(INDEX_EDEFAULT);

                                 return;

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:

+                                setParam((DefinedElement)null);

+                                return;

                 }

                 super.eUnset(featureID);

         }

@@ -140,6 +200,8 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
                 switch (featureID) {

                         case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

                                 return index != INDEX_EDEFAULT;

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:

+                                return param != null;

                 }

                 return super.eIsSet(featureID);

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
new file mode 100644
index 00000000..6c549300
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Boolean Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public class PartialBooleanInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialBooleanInterpretation {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialBooleanInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_BOOLEAN_INTERPRETATION;

+        }

+

+} //PartialBooleanInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
new file mode 100644
index 00000000..07ee282d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
@@ -0,0 +1,198 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.notify.Notification;

+

+import org.eclipse.emf.common.util.EList;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+import org.eclipse.emf.ecore.util.EObjectResolvingEList;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Complex Type Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialComplexTypeInterpretationImpl extends PartialTypeInterpratationImpl implements PartialComplexTypeInterpretation {

+        /**

+         * The cached value of the '{@link #getSupertypeInterpretation() <em>Supertype Interpretation</em>}' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getSupertypeInterpretation()

+         * @generated

+         * @ordered

+         */

+        protected EList<PartialComplexTypeInterpretation> supertypeInterpretation;

+

+        /**

+         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getInterpretationOf()

+         * @generated

+         * @ordered

+         */

+        protected TypeDeclaration interpretationOf;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialComplexTypeInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_COMPLEX_TYPE_INTERPRETATION;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EList<PartialComplexTypeInterpretation> getSupertypeInterpretation() {

+                if (supertypeInterpretation == null) {

+                        supertypeInterpretation = new EObjectResolvingEList<PartialComplexTypeInterpretation>(PartialComplexTypeInterpretation.class, this, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);

+                }

+                return supertypeInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public TypeDeclaration getInterpretationOf() {

+                if (interpretationOf != null && interpretationOf.eIsProxy()) {

+                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;

+                        interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf);

+                        if (interpretationOf != oldInterpretationOf) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+                        }

+                }

+                return interpretationOf;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public TypeDeclaration basicGetInterpretationOf() {

+                return interpretationOf;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setInterpretationOf(TypeDeclaration newInterpretationOf) {

+                TypeDeclaration oldInterpretationOf = interpretationOf;

+                interpretationOf = newInterpretationOf;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:

+                                return getSupertypeInterpretation();

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:

+                                if (resolve) return getInterpretationOf();

+                                return basicGetInterpretationOf();

+                }

+                return super.eGet(featureID, resolve, coreType);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @SuppressWarnings("unchecked")

+        @Override

+        public void eSet(int featureID, Object newValue) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:

+                                getSupertypeInterpretation().clear();

+                                getSupertypeInterpretation().addAll((Collection<? extends PartialComplexTypeInterpretation>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((TypeDeclaration)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:

+                                getSupertypeInterpretation().clear();

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((TypeDeclaration)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:

+                                return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:

+                                return interpretationOf != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //PartialComplexTypeInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
new file mode 100644
index 00000000..d3e034c3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Integer Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public class PartialIntegerInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialIntegerInterpretation {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialIntegerInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_INTEGER_INTERPRETATION;

+        }

+

+} //PartialIntegerInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
index dd744606..bce3e2e0 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa
 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;

 

 import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;

-

-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;

-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

-

-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;

-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;

 import java.util.Collection;

 

 import org.eclipse.emf.common.notify.Notification;

@@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList;
  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements <em>New Elements</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements <em>Open World Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes <em>Scopes</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements <em>Min New Elements</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements <em>Max New Elements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer <em>Problem Conainer</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement <em>Stringelement</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements <em>Stringelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements <em>Realelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements <em>Integerelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements <em>Booleanelements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings <em>New Strings</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals <em>New Reals</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers <em>New Integers</em>}</li>

  * </ul>

  *

  * @generated

@@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
         protected EList<PartialTypeInterpratation> partialtypeinterpratation;

 

         /**

-         * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMinNewElements()

-         * @generated

-         * @ordered

-         */

-        protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;

-

-        /**

-         * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMinNewElements()

-         * @generated

-         * @ordered

-         */

-        protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;

-

-        /**

-         * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewElements()

-         * @generated

-         * @ordered

-         */

-        protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0;

-

-        /**

-         * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewElements()

-         * @generated

-         * @ordered

-         */

-        protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;

-

-        /**

-         * The cached value of the '{@link #getOpenWorldElementPrototypes() <em>Open World Element Prototypes</em>}' containment reference list.

+         * The cached value of the '{@link #getOpenWorldElements() <em>Open World Elements</em>}' containment reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getOpenWorldElementPrototypes()

+         * @see #getOpenWorldElements()

          * @generated

          * @ordered

          */

-        protected EList<DefinedElement> openWorldElementPrototypes;

+        protected EList<DefinedElement> openWorldElements;

 

         /**

          * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.

@@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
         protected LogicProblem problemConainer;

 

         /**

-         * The cached value of the '{@link #getStringelement() <em>Stringelement</em>}' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getStringelement()

-         * @generated

-         * @ordered

-         */

-        protected EList<StringElement> stringelement;

-

-        /**

-         * The cached value of the '{@link #getStringelements() <em>Stringelements</em>}' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getStringelements()

-         * @generated

-         * @ordered

-         */

-        protected EList<StringElement> stringelements;

-

-        /**

-         * The cached value of the '{@link #getRealelements() <em>Realelements</em>}' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getRealelements()

-         * @generated

-         * @ordered

-         */

-        protected EList<RealElement> realelements;

-

-        /**

-         * The cached value of the '{@link #getIntegerelements() <em>Integerelements</em>}' containment reference list.

+         * The cached value of the '{@link #getScopes() <em>Scopes</em>}' containment reference list.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getIntegerelements()

+         * @see #getScopes()

          * @generated

          * @ordered

          */

-        protected EList<IntegerElement> integerelements;

+        protected EList<Scope> scopes;

 

         /**

-         * The cached value of the '{@link #getBooleanelements() <em>Booleanelements</em>}' containment reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getBooleanelements()

-         * @generated

-         * @ordered

-         */

-        protected EList<BooleanElement> booleanelements;

-

-        /**

-         * The default value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewIntegers()

-         * @generated

-         * @ordered

-         */

-        protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;

-

-        /**

-         * The cached value of the '{@link #getMaxNewIntegers() <em>Max New Integers</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewIntegers()

-         * @generated

-         * @ordered

-         */

-        protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;

-

-        /**

-         * The default value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewReals()

-         * @generated

-         * @ordered

-         */

-        protected static final int MAX_NEW_REALS_EDEFAULT = 0;

-

-        /**

-         * The cached value of the '{@link #getMaxNewReals() <em>Max New Reals</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewReals()

-         * @generated

-         * @ordered

-         */

-        protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;

-

-        /**

-         * The default value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getMaxNewStrings()

-         * @generated

-         * @ordered

-         */

-        protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;

-

-        /**

-         * The cached value of the '{@link #getMaxNewStrings() <em>Max New Strings</em>}' attribute.

+         * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getMaxNewStrings()

+         * @see #getMinNewElements()

          * @generated

          * @ordered

          */

-        protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT;

+        protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;

 

         /**

-         * The cached value of the '{@link #getNewStrings() <em>New Strings</em>}' containment reference list.

+         * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getNewStrings()

+         * @see #getMinNewElements()

          * @generated

          * @ordered

          */

-        protected EList<StringElement> newStrings;

+        protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;

 

         /**

-         * The cached value of the '{@link #getNewReals() <em>New Reals</em>}' containment reference list.

+         * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getNewReals()

+         * @see #getMaxNewElements()

          * @generated

          * @ordered

          */

-        protected EList<RealElement> newReals;

+        protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;

 

         /**

-         * The cached value of the '{@link #getNewIntegers() <em>New Integers</em>}' containment reference list.

+         * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

-         * @see #getNewIntegers()

+         * @see #getMaxNewElements()

          * @generated

          * @ordered

          */

-        protected EList<IntegerElement> newIntegers;

+        protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;

 

         /**

          * <!-- begin-user-doc -->

@@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public int getMinNewElements() {

-                return minNewElements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public void setMinNewElements(int newMinNewElements) {

-                int oldMinNewElements = minNewElements;

-                minNewElements = newMinNewElements;

-                if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public int getMaxNewElements() {

-                return maxNewElements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public void setMaxNewElements(int newMaxNewElements) {

-                int oldMaxNewElements = maxNewElements;

-                maxNewElements = newMaxNewElements;

-                if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<DefinedElement> getOpenWorldElementPrototypes() {

-                if (openWorldElementPrototypes == null) {

-                        openWorldElementPrototypes = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);

+        public EList<DefinedElement> getOpenWorldElements() {

+                if (openWorldElements == null) {

+                        openWorldElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);

                 }

-                return openWorldElementPrototypes;

+                return openWorldElements;

         }

 

         /**

@@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public EList<StringElement> getStringelement() {

-                if (stringelement == null) {

-                        stringelement = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT);

-                }

-                return stringelement;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<StringElement> getStringelements() {

-                if (stringelements == null) {

-                        stringelements = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);

-                }

-                return stringelements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<RealElement> getRealelements() {

-                if (realelements == null) {

-                        realelements = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);

-                }

-                return realelements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<IntegerElement> getIntegerelements() {

-                if (integerelements == null) {

-                        integerelements = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);

-                }

-                return integerelements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<BooleanElement> getBooleanelements() {

-                if (booleanelements == null) {

-                        booleanelements = new EObjectContainmentEList<BooleanElement>(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);

+        public EList<Scope> getScopes() {

+                if (scopes == null) {

+                        scopes = new EObjectContainmentEList<Scope>(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES);

                 }

-                return booleanelements;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public int getMaxNewIntegers() {

-                return maxNewIntegers;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public void setMaxNewIntegers(int newMaxNewIntegers) {

-                int oldMaxNewIntegers = maxNewIntegers;

-                maxNewIntegers = newMaxNewIntegers;

-                if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));

+                return scopes;

         }

 

         /**

@@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public int getMaxNewReals() {

-                return maxNewReals;

+        public int getMinNewElements() {

+                return minNewElements;

         }

 

         /**

@@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public void setMaxNewReals(int newMaxNewReals) {

-                int oldMaxNewReals = maxNewReals;

-                maxNewReals = newMaxNewReals;

+        public void setMinNewElements(int newMinNewElements) {

+                int oldMinNewElements = minNewElements;

+                minNewElements = newMinNewElements;

                 if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals));

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));

         }

 

         /**

@@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public int getMaxNewStrings() {

-                return maxNewStrings;

+        public int getMaxNewElements() {

+                return maxNewElements;

         }

 

         /**

@@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
          * <!-- end-user-doc -->

          * @generated

          */

-        public void setMaxNewStrings(int newMaxNewStrings) {

-                int oldMaxNewStrings = maxNewStrings;

-                maxNewStrings = newMaxNewStrings;

+        public void setMaxNewElements(int newMaxNewElements) {

+                int oldMaxNewElements = maxNewElements;

+                maxNewElements = newMaxNewElements;

                 if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings));

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<StringElement> getNewStrings() {

-                if (newStrings == null) {

-                        newStrings = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS);

-                }

-                return newStrings;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<RealElement> getNewReals() {

-                if (newReals == null) {

-                        newReals = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS);

-                }

-                return newReals;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public EList<IntegerElement> getNewIntegers() {

-                if (newIntegers == null) {

-                        newIntegers = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS);

-                }

-                return newIntegers;

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));

         }

 

         /**

@@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                                 return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

                                 return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:

-                                return ((InternalEList<?>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:

+                                return ((InternalEList<?>)getOpenWorldElements()).basicRemove(otherEnd, msgs);

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

                                 return basicSetProblemConainer(null, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:

-                                return ((InternalEList<?>)getStringelement()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:

-                                return ((InternalEList<?>)getStringelements()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:

-                                return ((InternalEList<?>)getRealelements()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:

-                                return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:

-                                return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:

-                                return ((InternalEList<?>)getNewStrings()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:

-                                return ((InternalEList<?>)getNewReals()).basicRemove(otherEnd, msgs);

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:

-                                return ((InternalEList<?>)getNewIntegers()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:

+                                return ((InternalEList<?>)getScopes()).basicRemove(otherEnd, msgs);

                 }

                 return super.eInverseRemove(otherEnd, featureID, msgs);

         }

@@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                                 return getNewElements();

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

                                 return getPartialtypeinterpratation();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:

+                                return getOpenWorldElements();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                return getProblemConainer();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:

+                                return getScopes();

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

                                 return getMinNewElements();

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

                                 return getMaxNewElements();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:

-                                return getOpenWorldElementPrototypes();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

-                                return getProblemConainer();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:

-                                return getStringelement();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:

-                                return getStringelements();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:

-                                return getRealelements();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:

-                                return getIntegerelements();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:

-                                return getBooleanelements();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:

-                                return getMaxNewIntegers();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:

-                                return getMaxNewReals();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:

-                                return getMaxNewStrings();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:

-                                return getNewStrings();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:

-                                return getNewReals();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:

-                                return getNewIntegers();

                 }

                 return super.eGet(featureID, resolve, coreType);

         }

@@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                                 getPartialtypeinterpratation().clear();

                                 getPartialtypeinterpratation().addAll((Collection<? extends PartialTypeInterpratation>)newValue);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

-                                setMinNewElements((Integer)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

-                                setMaxNewElements((Integer)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:

-                                getOpenWorldElementPrototypes().clear();

-                                getOpenWorldElementPrototypes().addAll((Collection<? extends DefinedElement>)newValue);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:

+                                getOpenWorldElements().clear();

+                                getOpenWorldElements().addAll((Collection<? extends DefinedElement>)newValue);

                                 return;

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

                                 setProblemConainer((LogicProblem)newValue);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:

-                                getStringelement().clear();

-                                getStringelement().addAll((Collection<? extends StringElement>)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:

-                                getStringelements().clear();

-                                getStringelements().addAll((Collection<? extends StringElement>)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:

-                                getRealelements().clear();

-                                getRealelements().addAll((Collection<? extends RealElement>)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:

-                                getIntegerelements().clear();

-                                getIntegerelements().addAll((Collection<? extends IntegerElement>)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:

-                                getBooleanelements().clear();

-                                getBooleanelements().addAll((Collection<? extends BooleanElement>)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:

-                                setMaxNewIntegers((Integer)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:

-                                setMaxNewReals((Integer)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:

-                                setMaxNewStrings((Integer)newValue);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:

-                                getNewStrings().clear();

-                                getNewStrings().addAll((Collection<? extends StringElement>)newValue);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:

+                                getScopes().clear();

+                                getScopes().addAll((Collection<? extends Scope>)newValue);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:

-                                getNewReals().clear();

-                                getNewReals().addAll((Collection<? extends RealElement>)newValue);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

+                                setMinNewElements((Integer)newValue);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:

-                                getNewIntegers().clear();

-                                getNewIntegers().addAll((Collection<? extends IntegerElement>)newValue);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

+                                setMaxNewElements((Integer)newValue);

                                 return;

                 }

                 super.eSet(featureID, newValue);

@@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

                                 getPartialtypeinterpratation().clear();

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

-                                setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

-                                setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:

-                                getOpenWorldElementPrototypes().clear();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:

+                                getOpenWorldElements().clear();

                                 return;

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

                                 setProblemConainer((LogicProblem)null);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:

-                                getStringelement().clear();

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:

-                                getStringelements().clear();

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:

-                                getRealelements().clear();

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:

-                                getIntegerelements().clear();

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:

-                                getBooleanelements().clear();

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:

-                                setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:

-                                setMaxNewReals(MAX_NEW_REALS_EDEFAULT);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:

-                                setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);

-                                return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:

-                                getNewStrings().clear();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:

+                                getScopes().clear();

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:

-                                getNewReals().clear();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

+                                setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:

-                                getNewIntegers().clear();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

+                                setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);

                                 return;

                 }

                 super.eUnset(featureID);

@@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                                 return newElements != null && !newElements.isEmpty();

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

                                 return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:

+                                return openWorldElements != null && !openWorldElements.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                return problemConainer != null;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:

+                                return scopes != null && !scopes.isEmpty();

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:

                                 return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;

                         case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:

                                 return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:

-                                return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

-                                return problemConainer != null;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:

-                                return stringelement != null && !stringelement.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:

-                                return stringelements != null && !stringelements.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:

-                                return realelements != null && !realelements.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:

-                                return integerelements != null && !integerelements.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:

-                                return booleanelements != null && !booleanelements.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:

-                                return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:

-                                return maxNewReals != MAX_NEW_REALS_EDEFAULT;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:

-                                return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:

-                                return newStrings != null && !newStrings.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:

-                                return newReals != null && !newReals.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:

-                                return newIntegers != null && !newIntegers.isEmpty();

                 }

                 return super.eIsSet(featureID);

         }

@@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
                 result.append(minNewElements);

                 result.append(", maxNewElements: ");

                 result.append(maxNewElements);

-                result.append(", maxNewIntegers: ");

-                result.append(maxNewIntegers);

-                result.append(", maxNewReals: ");

-                result.append(maxNewReals);

-                result.append(", maxNewStrings: ");

-                result.append(maxNewStrings);

                 result.append(')');

                 return result.toString();

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
new file mode 100644
index 00000000..cc426031
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Primitive Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public abstract class PartialPrimitiveInterpretationImpl extends PartialTypeInterpratationImpl implements PartialPrimitiveInterpretation {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialPrimitiveInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_PRIMITIVE_INTERPRETATION;

+        }

+

+} //PartialPrimitiveInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
new file mode 100644
index 00000000..d14bdaa2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Real Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public class PartialRealInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialRealInterpretation {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialRealInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_REAL_INTERPRETATION;

+        }

+

+} //PartialRealInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
new file mode 100644
index 00000000..2a887d43
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial String Interpretation</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public class PartialStringInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialStringInterpretation {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialStringInterpretationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_STRING_INTERPRETATION;

+        }

+

+} //PartialStringInterpretationImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
index 1090aaf7..beb45529 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
@@ -3,19 +3,12 @@
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

 

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;

-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;

-

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

 

 import java.util.Collection;

-import org.eclipse.emf.common.notify.Notification;

-

 import org.eclipse.emf.common.util.EList;

 import org.eclipse.emf.ecore.EClass;

-import org.eclipse.emf.ecore.InternalEObject;

-

-import org.eclipse.emf.ecore.impl.ENotificationImpl;

 import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

 import org.eclipse.emf.ecore.util.EObjectResolvingEList;

 

@@ -27,24 +20,12 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList;
  * The following features are implemented:

  * </p>

  * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements <em>Elements</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getSupertypeInterpretation <em>Supertype Interpretation</em>}</li>

  * </ul>

  *

  * @generated

  */

-public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {

-        /**

-         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getInterpretationOf()

-         * @generated

-         * @ordered

-         */

-        protected TypeDeclaration interpretationOf;

-

+public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {

         /**

          * The cached value of the '{@link #getElements() <em>Elements</em>}' reference list.

          * <!-- begin-user-doc -->

@@ -56,16 +37,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
         protected EList<DefinedElement> elements;

 

         /**

-         * The cached value of the '{@link #getSupertypeInterpretation() <em>Supertype Interpretation</em>}' reference list.

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @see #getSupertypeInterpretation()

-         * @generated

-         * @ordered

-         */

-        protected EList<PartialTypeInterpratation> supertypeInterpretation;

-

-        /**

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->

          * @generated

@@ -89,44 +60,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
          * <!-- end-user-doc -->

          * @generated

          */

-        public TypeDeclaration getInterpretationOf() {

-                if (interpretationOf != null && interpretationOf.eIsProxy()) {

-                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;

-                        interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf);

-                        if (interpretationOf != oldInterpretationOf) {

-                                if (eNotificationRequired())

-                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

-                        }

-                }

-                return interpretationOf;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public TypeDeclaration basicGetInterpretationOf() {

-                return interpretationOf;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

-        public void setInterpretationOf(TypeDeclaration newInterpretationOf) {

-                TypeDeclaration oldInterpretationOf = interpretationOf;

-                interpretationOf = newInterpretationOf;

-                if (eNotificationRequired())

-                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

         public EList<DefinedElement> getElements() {

                 if (elements == null) {

                         elements = new EObjectResolvingEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS);

@@ -139,28 +72,11 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
          * <!-- end-user-doc -->

          * @generated

          */

-        public EList<PartialTypeInterpratation> getSupertypeInterpretation() {

-                if (supertypeInterpretation == null) {

-                        supertypeInterpretation = new EObjectResolvingEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);

-                }

-                return supertypeInterpretation;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

         @Override

         public Object eGet(int featureID, boolean resolve, boolean coreType) {

                 switch (featureID) {

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:

-                                if (resolve) return getInterpretationOf();

-                                return basicGetInterpretationOf();

                         case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:

                                 return getElements();

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:

-                                return getSupertypeInterpretation();

                 }

                 return super.eGet(featureID, resolve, coreType);

         }

@@ -174,17 +90,10 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
         @Override

         public void eSet(int featureID, Object newValue) {

                 switch (featureID) {

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:

-                                setInterpretationOf((TypeDeclaration)newValue);

-                                return;

                         case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:

                                 getElements().clear();

                                 getElements().addAll((Collection<? extends DefinedElement>)newValue);

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:

-                                getSupertypeInterpretation().clear();

-                                getSupertypeInterpretation().addAll((Collection<? extends PartialTypeInterpratation>)newValue);

-                                return;

                 }

                 super.eSet(featureID, newValue);

         }

@@ -197,15 +106,9 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
         @Override

         public void eUnset(int featureID) {

                 switch (featureID) {

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:

-                                setInterpretationOf((TypeDeclaration)null);

-                                return;

                         case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:

                                 getElements().clear();

                                 return;

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:

-                                getSupertypeInterpretation().clear();

-                                return;

                 }

                 super.eUnset(featureID);

         }

@@ -218,12 +121,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
         @Override

         public boolean eIsSet(int featureID) {

                 switch (featureID) {

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:

-                                return interpretationOf != null;

                         case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:

                                 return elements != null && !elements.isEmpty();

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:

-                                return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();

                 }

                 return super.eIsSet(featureID);

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
index ebd70a97..af1db8a1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
@@ -60,7 +60,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
                         case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation();

                         case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation();

                         case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation();

-                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: return createPartialTypeInterpratation();

                         case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink();

                         case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink();

                         case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink();

@@ -69,6 +68,12 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
                         case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement();

                         case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement();

                         case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement();

+                        case PartialinterpretationPackage.SCOPE: return createScope();

+                        case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: return createPartialBooleanInterpretation();

+                        case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: return createPartialIntegerInterpretation();

+                        case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: return createPartialRealInterpretation();

+                        case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: return createPartialStringInterpretation();

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: return createPartialComplexTypeInterpretation();

                         default:

                                 throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");

                 }

@@ -119,16 +124,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public PartialTypeInterpratation createPartialTypeInterpratation() {

-                PartialTypeInterpratationImpl partialTypeInterpratation = new PartialTypeInterpratationImpl();

-                return partialTypeInterpratation;

-        }

-

-        /**

-         * <!-- begin-user-doc -->

-         * <!-- end-user-doc -->

-         * @generated

-         */

         public UnaryElementRelationLink createUnaryElementRelationLink() {

                 UnaryElementRelationLinkImpl unaryElementRelationLink = new UnaryElementRelationLinkImpl();

                 return unaryElementRelationLink;

@@ -209,6 +204,66 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

+        public Scope createScope() {

+                ScopeImpl scope = new ScopeImpl();

+                return scope;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialBooleanInterpretation createPartialBooleanInterpretation() {

+                PartialBooleanInterpretationImpl partialBooleanInterpretation = new PartialBooleanInterpretationImpl();

+                return partialBooleanInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialIntegerInterpretation createPartialIntegerInterpretation() {

+                PartialIntegerInterpretationImpl partialIntegerInterpretation = new PartialIntegerInterpretationImpl();

+                return partialIntegerInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialRealInterpretation createPartialRealInterpretation() {

+                PartialRealInterpretationImpl partialRealInterpretation = new PartialRealInterpretationImpl();

+                return partialRealInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialStringInterpretation createPartialStringInterpretation() {

+                PartialStringInterpretationImpl partialStringInterpretation = new PartialStringInterpretationImpl();

+                return partialStringInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialComplexTypeInterpretation createPartialComplexTypeInterpretation() {

+                PartialComplexTypeInterpretationImpl partialComplexTypeInterpretation = new PartialComplexTypeInterpretationImpl();

+                return partialComplexTypeInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

         public PartialinterpretationPackage getPartialinterpretationPackage() {

                 return (PartialinterpretationPackage)getEPackage();

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
index 5fae0d4e..c0515c43 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
@@ -11,16 +11,23 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;

 

@@ -144,6 +151,55 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
         private EClass stringElementEClass = null;

 

         /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass scopeEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialPrimitiveInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialBooleanInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialIntegerInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialRealInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialStringInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialComplexTypeInterpretationEClass = null;

+

+        /**

          * Creates an instance of the model <b>Package</b>, registered with

          * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package

          * package URI value.

@@ -276,8 +332,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPartialInterpretation_MinNewElements() {

-                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6);

+        public EReference getPartialInterpretation_OpenWorldElements() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(6);

         }

 

         /**

@@ -285,8 +341,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPartialInterpretation_MaxNewElements() {

-                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7);

+        public EReference getPartialInterpretation_ProblemConainer() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(7);

         }

 

         /**

@@ -294,7 +350,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_OpenWorldElementPrototypes() {

+        public EReference getPartialInterpretation_Scopes() {

                 return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8);

         }

 

@@ -303,8 +359,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_ProblemConainer() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9);

+        public EAttribute getPartialInterpretation_MinNewElements() {

+                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(9);

         }

 

         /**

@@ -312,8 +368,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_Stringelement() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10);

+        public EAttribute getPartialInterpretation_MaxNewElements() {

+                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(10);

         }

 

         /**

@@ -321,8 +377,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_Stringelements() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11);

+        public EClass getPartialConstantInterpretation() {

+                return partialConstantInterpretationEClass;

         }

 

         /**

@@ -330,8 +386,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_Realelements() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12);

+        public EReference getPartialConstantInterpretation_InterpretationOf() {

+                return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -339,8 +395,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_Integerelements() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13);

+        public EClass getPartialRelationInterpretation() {

+                return partialRelationInterpretationEClass;

         }

 

         /**

@@ -348,8 +404,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_Booleanelements() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14);

+        public EReference getPartialRelationInterpretation_InterpretationOf() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -357,8 +413,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPartialInterpretation_MaxNewIntegers() {

-                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15);

+        public EReference getPartialRelationInterpretation_Relationlinks() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);

         }

 

         /**

@@ -366,8 +422,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPartialInterpretation_MaxNewReals() {

-                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16);

+        public EReference getPartialRelationInterpretation_Param1() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);

         }

 

         /**

@@ -375,8 +431,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPartialInterpretation_MaxNewStrings() {

-                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17);

+        public EReference getPartialRelationInterpretation_Param2() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);

         }

 

         /**

@@ -384,8 +440,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_NewStrings() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18);

+        public EClass getPartialFunctionInterpretation() {

+                return partialFunctionInterpretationEClass;

         }

 

         /**

@@ -393,8 +449,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_NewReals() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19);

+        public EReference getPartialFunctionInterpretation_InterpretationOf() {

+                return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -402,8 +458,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialInterpretation_NewIntegers() {

-                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20);

+        public EClass getPartialTypeInterpratation() {

+                return partialTypeInterpratationEClass;

         }

 

         /**

@@ -411,8 +467,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getPartialConstantInterpretation() {

-                return partialConstantInterpretationEClass;

+        public EReference getPartialTypeInterpratation_Elements() {

+                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -420,8 +476,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialConstantInterpretation_InterpretationOf() {

-                return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);

+        public EClass getRelationLink() {

+                return relationLinkEClass;

         }

 

         /**

@@ -429,8 +485,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getPartialRelationInterpretation() {

-                return partialRelationInterpretationEClass;

+        public EClass getUnaryElementRelationLink() {

+                return unaryElementRelationLinkEClass;

         }

 

         /**

@@ -438,8 +494,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialRelationInterpretation_InterpretationOf() {

-                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);

+        public EReference getUnaryElementRelationLink_Param1() {

+                return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -447,8 +503,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialRelationInterpretation_Relationlinks() {

-                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);

+        public EClass getBinaryElementRelationLink() {

+                return binaryElementRelationLinkEClass;

         }

 

         /**

@@ -456,8 +512,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialRelationInterpretation_Param1() {

-                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);

+        public EReference getBinaryElementRelationLink_Param1() {

+                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -465,8 +521,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialRelationInterpretation_Param2() {

-                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);

+        public EReference getBinaryElementRelationLink_Param2() {

+                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);

         }

 

         /**

@@ -474,8 +530,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getPartialFunctionInterpretation() {

-                return partialFunctionInterpretationEClass;

+        public EClass getNaryRelationLink() {

+                return naryRelationLinkEClass;

         }

 

         /**

@@ -483,8 +539,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialFunctionInterpretation_InterpretationOf() {

-                return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);

+        public EReference getNaryRelationLink_Elements() {

+                return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -492,8 +548,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getPartialTypeInterpratation() {

-                return partialTypeInterpratationEClass;

+        public EClass getNaryRelationLinkElement() {

+                return naryRelationLinkElementEClass;

         }

 

         /**

@@ -501,8 +557,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialTypeInterpratation_InterpretationOf() {

-                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);

+        public EAttribute getNaryRelationLinkElement_Index() {

+                return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -510,8 +566,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialTypeInterpratation_Elements() {

-                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1);

+        public EReference getNaryRelationLinkElement_Param() {

+                return (EReference)naryRelationLinkElementEClass.getEStructuralFeatures().get(1);

         }

 

         /**

@@ -519,8 +575,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getPartialTypeInterpratation_SupertypeInterpretation() {

-                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2);

+        public EClass getPrimitiveElement() {

+                return primitiveElementEClass;

         }

 

         /**

@@ -528,8 +584,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getRelationLink() {

-                return relationLinkEClass;

+        public EAttribute getPrimitiveElement_ValueSet() {

+                return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -537,8 +593,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getUnaryElementRelationLink() {

-                return unaryElementRelationLinkEClass;

+        public EClass getBooleanElement() {

+                return booleanElementEClass;

         }

 

         /**

@@ -546,8 +602,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getUnaryElementRelationLink_Param1() {

-                return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

+        public EAttribute getBooleanElement_Value() {

+                return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -555,8 +611,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getBinaryElementRelationLink() {

-                return binaryElementRelationLinkEClass;

+        public EClass getIntegerElement() {

+                return integerElementEClass;

         }

 

         /**

@@ -564,8 +620,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getBinaryElementRelationLink_Param1() {

-                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

+        public EAttribute getIntegerElement_Value() {

+                return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -573,8 +629,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getBinaryElementRelationLink_Param2() {

-                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);

+        public EClass getRealElement() {

+                return realElementEClass;

         }

 

         /**

@@ -582,8 +638,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getNaryRelationLink() {

-                return naryRelationLinkEClass;

+        public EAttribute getRealElement_Value() {

+                return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -591,8 +647,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EReference getNaryRelationLink_Elements() {

-                return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);

+        public EClass getStringElement() {

+                return stringElementEClass;

         }

 

         /**

@@ -600,8 +656,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getNaryRelationLinkElement() {

-                return naryRelationLinkElementEClass;

+        public EAttribute getStringElement_Value() {

+                return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -609,8 +665,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getNaryRelationLinkElement_Index() {

-                return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);

+        public EClass getScope() {

+                return scopeEClass;

         }

 

         /**

@@ -618,8 +674,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getPrimitiveElement() {

-                return primitiveElementEClass;

+        public EAttribute getScope_MinNewElements() {

+                return (EAttribute)scopeEClass.getEStructuralFeatures().get(0);

         }

 

         /**

@@ -627,8 +683,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getPrimitiveElement_ValueSet() {

-                return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);

+        public EAttribute getScope_MaxNewElements() {

+                return (EAttribute)scopeEClass.getEStructuralFeatures().get(1);

         }

 

         /**

@@ -636,8 +692,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getBooleanElement() {

-                return booleanElementEClass;

+        public EReference getScope_TargetTypeInterpretation() {

+                return (EReference)scopeEClass.getEStructuralFeatures().get(2);

         }

 

         /**

@@ -645,8 +701,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getBooleanElement_Value() {

-                return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);

+        public EClass getPartialPrimitiveInterpretation() {

+                return partialPrimitiveInterpretationEClass;

         }

 

         /**

@@ -654,8 +710,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getIntegerElement() {

-                return integerElementEClass;

+        public EClass getPartialBooleanInterpretation() {

+                return partialBooleanInterpretationEClass;

         }

 

         /**

@@ -663,8 +719,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getIntegerElement_Value() {

-                return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);

+        public EClass getPartialIntegerInterpretation() {

+                return partialIntegerInterpretationEClass;

         }

 

         /**

@@ -672,8 +728,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getRealElement() {

-                return realElementEClass;

+        public EClass getPartialRealInterpretation() {

+                return partialRealInterpretationEClass;

         }

 

         /**

@@ -681,8 +737,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getRealElement_Value() {

-                return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);

+        public EClass getPartialStringInterpretation() {

+                return partialStringInterpretationEClass;

         }

 

         /**

@@ -690,8 +746,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EClass getStringElement() {

-                return stringElementEClass;

+        public EClass getPartialComplexTypeInterpretation() {

+                return partialComplexTypeInterpretationEClass;

         }

 

         /**

@@ -699,8 +755,17 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
          * <!-- end-user-doc -->

          * @generated

          */

-        public EAttribute getStringElement_Value() {

-                return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);

+        public EReference getPartialComplexTypeInterpretation_SupertypeInterpretation() {

+                return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialComplexTypeInterpretation_InterpretationOf() {

+                return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(1);

         }

 

         /**

@@ -738,21 +803,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);

                 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS);

                 createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__SCOPES);

                 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS);

                 createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS);

-                createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS);

-                createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS);

-                createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS);

-                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS);

 

                 partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION);

                 createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF);

@@ -767,9 +822,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF);

 

                 partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION);

-                createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF);

                 createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS);

-                createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);

 

                 relationLinkEClass = createEClass(RELATION_LINK);

 

@@ -785,6 +838,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
 

                 naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT);

                 createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX);

+                createEReference(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__PARAM);

 

                 primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT);

                 createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET);

@@ -800,6 +854,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
 

                 stringElementEClass = createEClass(STRING_ELEMENT);

                 createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE);

+

+                scopeEClass = createEClass(SCOPE);

+                createEAttribute(scopeEClass, SCOPE__MIN_NEW_ELEMENTS);

+                createEAttribute(scopeEClass, SCOPE__MAX_NEW_ELEMENTS);

+                createEReference(scopeEClass, SCOPE__TARGET_TYPE_INTERPRETATION);

+

+                partialPrimitiveInterpretationEClass = createEClass(PARTIAL_PRIMITIVE_INTERPRETATION);

+

+                partialBooleanInterpretationEClass = createEClass(PARTIAL_BOOLEAN_INTERPRETATION);

+

+                partialIntegerInterpretationEClass = createEClass(PARTIAL_INTEGER_INTERPRETATION);

+

+                partialRealInterpretationEClass = createEClass(PARTIAL_REAL_INTERPRETATION);

+

+                partialStringInterpretationEClass = createEClass(PARTIAL_STRING_INTERPRETATION);

+

+                partialComplexTypeInterpretationEClass = createEClass(PARTIAL_COMPLEX_TYPE_INTERPRETATION);

+                createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);

+                createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF);

         }

 

         /**

@@ -842,6 +915,12 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 integerElementEClass.getESuperTypes().add(this.getPrimitiveElement());

                 realElementEClass.getESuperTypes().add(this.getPrimitiveElement());

                 stringElementEClass.getESuperTypes().add(this.getPrimitiveElement());

+                partialPrimitiveInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());

+                partialBooleanInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());

+                partialIntegerInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());

+                partialRealInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());

+                partialStringInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());

+                partialComplexTypeInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());

 

                 // Initialize classes, features, and operations; add parameters

                 initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

@@ -851,21 +930,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

                 initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

                 initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialInterpretation_OpenWorldElements(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

                 initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialInterpretation_Scopes(), this.getScope(), null, "scopes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

@@ -879,10 +948,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

-                initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-                initEReference(getPartialTypeInterpratation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-                initEReference(getPartialTypeInterpratation_SupertypeInterpretation(), this.getPartialTypeInterpratation(), null, "supertypeInterpretation", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

@@ -898,6 +965,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
 

                 initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getNaryRelationLinkElement_Param(), theLogiclanguagePackage.getDefinedElement(), null, "param", null, 1, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

@@ -914,6 +982,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
                 initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

+                initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEAttribute(getScope_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getScope_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), null, "targetTypeInterpretation", null, 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(partialBooleanInterpretationEClass, PartialBooleanInterpretation.class, "PartialBooleanInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(partialIntegerInterpretationEClass, PartialIntegerInterpretation.class, "PartialIntegerInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(partialRealInterpretationEClass, PartialRealInterpretation.class, "PartialRealInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(partialStringInterpretationEClass, PartialStringInterpretation.class, "PartialStringInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+                initEClass(partialComplexTypeInterpretationEClass, PartialComplexTypeInterpretation.class, "PartialComplexTypeInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getPartialComplexTypeInterpretation_SupertypeInterpretation(), this.getPartialComplexTypeInterpretation(), null, "supertypeInterpretation", null, 0, -1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialComplexTypeInterpretation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

                 // Create resource

                 createResource(eNS_URI);

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
new file mode 100644
index 00000000..4699aef6
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
@@ -0,0 +1,279 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;

+

+import org.eclipse.emf.common.notify.Notification;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Scope</b></em>'.

+ * <!-- end-user-doc -->

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements <em>Min New Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements <em>Max New Elements</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation <em>Target Type Interpretation</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope {

+        /**

+         * The default value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getMinNewElements()

+         * @generated

+         * @ordered

+         */

+        protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;

+

+        /**

+         * The cached value of the '{@link #getMinNewElements() <em>Min New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getMinNewElements()

+         * @generated

+         * @ordered

+         */

+        protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;

+

+        /**

+         * The default value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getMaxNewElements()

+         * @generated

+         * @ordered

+         */

+        protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;

+

+        /**

+         * The cached value of the '{@link #getMaxNewElements() <em>Max New Elements</em>}' attribute.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getMaxNewElements()

+         * @generated

+         * @ordered

+         */

+        protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;

+

+        /**

+         * The cached value of the '{@link #getTargetTypeInterpretation() <em>Target Type Interpretation</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getTargetTypeInterpretation()

+         * @generated

+         * @ordered

+         */

+        protected PartialTypeInterpratation targetTypeInterpretation;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected ScopeImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.SCOPE;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public int getMinNewElements() {

+                return minNewElements;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setMinNewElements(int newMinNewElements) {

+                int oldMinNewElements = minNewElements;

+                minNewElements = newMinNewElements;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public int getMaxNewElements() {

+                return maxNewElements;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setMaxNewElements(int newMaxNewElements) {

+                int oldMaxNewElements = maxNewElements;

+                maxNewElements = newMaxNewElements;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialTypeInterpratation getTargetTypeInterpretation() {

+                if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) {

+                        InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation;

+                        targetTypeInterpretation = (PartialTypeInterpratation)eResolveProxy(oldTargetTypeInterpretation);

+                        if (targetTypeInterpretation != oldTargetTypeInterpretation) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));

+                        }

+                }

+                return targetTypeInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialTypeInterpratation basicGetTargetTypeInterpretation() {

+                return targetTypeInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) {

+                PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation;

+                targetTypeInterpretation = newTargetTypeInterpretation;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:

+                                return getMinNewElements();

+                        case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:

+                                return getMaxNewElements();

+                        case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:

+                                if (resolve) return getTargetTypeInterpretation();

+                                return basicGetTargetTypeInterpretation();

+                }

+                return super.eGet(featureID, resolve, coreType);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eSet(int featureID, Object newValue) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:

+                                setMinNewElements((Integer)newValue);

+                                return;

+                        case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:

+                                setMaxNewElements((Integer)newValue);

+                                return;

+                        case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:

+                                setTargetTypeInterpretation((PartialTypeInterpratation)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:

+                                setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);

+                                return;

+                        case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:

+                                setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);

+                                return;

+                        case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:

+                                setTargetTypeInterpretation((PartialTypeInterpratation)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:

+                                return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;

+                        case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:

+                                return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;

+                        case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:

+                                return targetTypeInterpretation != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public String toString() {

+                if (eIsProxy()) return super.toString();

+

+                StringBuffer result = new StringBuffer(super.toString());

+                result.append(" (minNewElements: ");

+                result.append(minNewElements);

+                result.append(", maxNewElements: ");

+                result.append(maxNewElements);

+                result.append(')');

+                return result.toString();

+        }

+

+} //ScopeImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
index 27b88b7a..072472d2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -131,6 +131,34 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
                                 return createStringElementAdapter();

                         }

                         @Override

+                        public Adapter caseScope(Scope object) {

+                                return createScopeAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {

+                                return createPartialPrimitiveInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) {

+                                return createPartialBooleanInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) {

+                                return createPartialIntegerInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialRealInterpretation(PartialRealInterpretation object) {

+                                return createPartialRealInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialStringInterpretation(PartialStringInterpretation object) {

+                                return createPartialStringInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {

+                                return createPartialComplexTypeInterpretationAdapter();

+                        }

+                        @Override

                         public Adapter caseTermDescription(TermDescription object) {

                                 return createTermDescriptionAdapter();

                         }

@@ -373,6 +401,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
         }

 

         /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope <em>Scope</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope

+         * @generated

+         */

+        public Adapter createScopeAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation <em>Partial Primitive Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation

+         * @generated

+         */

+        public Adapter createPartialPrimitiveInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation <em>Partial Boolean Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation

+         * @generated

+         */

+        public Adapter createPartialBooleanInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation <em>Partial Integer Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation

+         * @generated

+         */

+        public Adapter createPartialIntegerInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation <em>Partial Real Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation

+         * @generated

+         */

+        public Adapter createPartialRealInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation <em>Partial String Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation

+         * @generated

+         */

+        public Adapter createPartialStringInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation <em>Partial Complex Type Interpretation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation

+         * @generated

+         */

+        public Adapter createPartialComplexTypeInterpretationAdapter() {

+                return null;

+        }

+

+        /**

          * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription <em>Term Description</em>}'.

          * <!-- begin-user-doc -->

          * This default implementation returns null so that we can easily ignore cases;

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
index 364df3c8..f3269cbf 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
                                 if (result == null) result = defaultCase(theEObject);

                                 return result;

                         }

+                        case PartialinterpretationPackage.SCOPE: {

+                                Scope scope = (Scope)theEObject;

+                                T result = caseScope(scope);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {

+                                PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;

+                                T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {

+                                PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;

+                                T result = casePartialBooleanInterpretation(partialBooleanInterpretation);

+                                if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {

+                                PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;

+                                T result = casePartialIntegerInterpretation(partialIntegerInterpretation);

+                                if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {

+                                PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;

+                                T result = casePartialRealInterpretation(partialRealInterpretation);

+                                if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {

+                                PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;

+                                T result = casePartialStringInterpretation(partialStringInterpretation);

+                                if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {

+                                PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;

+                                T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);

+                                if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

                         default: return defaultCase(theEObject);

                 }

         }

@@ -411,6 +463,111 @@ public class PartialinterpretationSwitch<T> extends Switch<T> {
         }

 

         /**

+         * Returns the result of interpreting the object as an instance of '<em>Scope</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Scope</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseScope(Scope object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Primitive Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Boolean Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Integer Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Real Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialRealInterpretation(PartialRealInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial String Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialStringInterpretation(PartialStringInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Complex Type Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {

+                return null;

+        }

+

+        /**

          * Returns the result of interpreting the object as an instance of '<em>Term Description</em>'.

          * <!-- begin-user-doc -->

          * This implementation returns null;