Migrating Additional projects

26 files changed, 5786 insertions, 0 deletions

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

+ */

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

+

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

+

+/**

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

+ * A representation of the model object '<em><b>Binary Element Relation Link</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink#getParam1 <em>Param1</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink#getParam2 <em>Param2</em>}</li>

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface BinaryElementRelationLink extends RelationLink {

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setParam1(DefinedElement)

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

+         * @model required="true"

+         * @generated

+         */

+        DefinedElement getParam1();

+

+        /**

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

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

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

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

+         * @see #getParam1()

+         * @generated

+         */

+        void setParam1(DefinedElement value);

+

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setParam2(DefinedElement)

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

+         * @model required="true"

+         * @generated

+         */

+        DefinedElement getParam2();

+

+        /**

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

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

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

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

+         * @see #getParam2()

+         * @generated

+         */

+        void setParam2(DefinedElement value);

+

+} // BinaryElementRelationLink

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

+ */

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

+

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

+

+/**

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

+ * A representation of the model object '<em><b>Nary Relation Link</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface NaryRelationLink extends RelationLink {

+        /**

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

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

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

+         * <p>

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

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<NaryRelationLinkElement> getElements();

+

+} // NaryRelationLink

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
new file mode 100644
index 00000000..4b70390f
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
@@ -0,0 +1,50 @@
+/**

+ */

+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>Nary Relation Link Element</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface NaryRelationLinkElement extends EObject {

+        /**

+         * Returns the value of the '<em><b>Index</b></em>' attribute.

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

+         * <p>

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

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

+         * </p>

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

+         * @return the value of the '<em>Index</em>' attribute.

+         * @see #setIndex(int)

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

+         * @model

+         * @generated

+         */

+        int getIndex();

+

+        /**

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

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

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

+         * @param value the new value of the '<em>Index</em>' attribute.

+         * @see #getIndex()

+         * @generated

+         */

+        void setIndex(int 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/PartialConstantInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialConstantInterpretation.java
new file mode 100644
index 00000000..29f2cb21
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialConstantInterpretation.java
@@ -0,0 +1,52 @@
+/**

+ */

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

+

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

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

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

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

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface PartialConstantInterpretation 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(ConstantDeclaration)

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

+         * @model required="true"

+         * @generated

+         */

+        ConstantDeclaration getInterpretationOf();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#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(ConstantDeclaration value);

+

+} // PartialConstantInterpretation

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

+ */

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

+

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

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

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

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

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface PartialFunctionInterpretation 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(FunctionDeclaration)

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

+         * @model required="true"

+         * @generated

+         */

+        FunctionDeclaration getInterpretationOf();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#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(FunctionDeclaration value);

+

+} // PartialFunctionInterpretation

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
new file mode 100644
index 00000000..46c85cc8
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -0,0 +1,251 @@
+/**

+ */

+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.logicproblem.LogicProblem;

+

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

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

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

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

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

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

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

+ *   <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#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#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li>

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

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface PartialInterpretation extends EObject {

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setProblem(LogicProblem)

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

+         * @model required="true"

+         * @generated

+         */

+        LogicProblem getProblem();

+

+        /**

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

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

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

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

+         * @see #getProblem()

+         * @generated

+         */

+        void setProblem(LogicProblem value);

+

+        /**

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

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

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

+         * <p>

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

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<PartialConstantInterpretation> getPartialconstantinterpretation();

+

+        /**

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

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

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

+         * <p>

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

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<PartialRelationInterpretation> getPartialrelationinterpretation();

+

+        /**

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

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

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

+         * <p>

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

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<PartialFunctionInterpretation> getPartialfunctioninterpretation();

+

+        /**

+         * Returns the value of the '<em><b>New 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>New 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>New Elements</em>' containment reference list.

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<DefinedElement> getNewElements();

+

+        /**

+         * Returns the value of the '<em><b>Partialtypeinterpratation</b></em>' containment 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>Partialtypeinterpratation</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>Partialtypeinterpratation</em>' containment reference list.

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

+         * @model containment="true"

+         * @generated

+         */

+        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 Prototype</b></em>' containment reference.

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

+         * <p>

+         * If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear,

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

+         * </p>

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

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

+         * @see #setOpenWorldElementPrototype(DefinedElement)

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

+         * @model containment="true" required="true"

+         * @generated

+         */

+        DefinedElement getOpenWorldElementPrototype();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference.

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

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

+         * @param value the new value of the '<em>Open World Element Prototype</em>' containment reference.

+         * @see #getOpenWorldElementPrototype()

+         * @generated

+         */

+        void setOpenWorldElementPrototype(DefinedElement value);

+

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

+         * @return the value of the '<em>Problem Conainer</em>' containment reference.

+         * @see #setProblemConainer(LogicProblem)

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

+         * @model containment="true"

+         * @generated

+         */

+        LogicProblem getProblemConainer();

+

+        /**

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

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

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

+         * @param value the new value of the '<em>Problem Conainer</em>' containment reference.

+         * @see #getProblemConainer()

+         * @generated

+         */

+        void setProblemConainer(LogicProblem 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/PartialRelationInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRelationInterpretation.java
new file mode 100644
index 00000000..e1fa092f
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRelationInterpretation.java
@@ -0,0 +1,126 @@
+/**

+ */

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

+

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

+

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

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

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

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

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

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

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

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks <em>Relationlinks</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1 <em>Param1</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2 <em>Param2</em>}</li>

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface PartialRelationInterpretation 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(RelationDeclaration)

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

+         * @model required="true"

+         * @generated

+         */

+        RelationDeclaration getInterpretationOf();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#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(RelationDeclaration value);

+

+        /**

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

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

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

+         * <p>

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

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

+         * @model containment="true"

+         * @generated

+         */

+        EList<RelationLink> getRelationlinks();

+

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setParam1(TypeReference)

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

+         * @model

+         * @generated

+         */

+        TypeReference getParam1();

+

+        /**

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

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

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

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

+         * @see #getParam1()

+         * @generated

+         */

+        void setParam1(TypeReference value);

+

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setParam2(TypeReference)

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

+         * @model

+         * @generated

+         */

+        TypeReference getParam2();

+

+        /**

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

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

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

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

+         * @see #getParam2()

+         * @generated

+         */

+        void setParam2(TypeReference value);

+

+} // PartialRelationInterpretation

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
new file mode 100644
index 00000000..ff313b42
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
@@ -0,0 +1,88 @@
+/**

+ */

+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;

+

+/**

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

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

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

+ *

+ * <p>

+ * 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

+ * @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 -->

+         * <p>

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

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

+         * </p>

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

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

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

+         * @model

+         * @generated

+         */

+        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
new file mode 100644
index 00000000..406e2f02
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
@@ -0,0 +1,114 @@
+/**

+ */

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

+

+import org.eclipse.emf.ecore.EFactory;

+

+/**

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

+ * The <b>Factory</b> for the model.

+ * It provides a create method for each non-abstract class of the model.

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

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

+ * @generated

+ */

+public interface PartialinterpretationFactory extends EFactory {

+        /**

+         * The singleton instance of the factory.

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

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

+         * @generated

+         */

+        PartialinterpretationFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationFactoryImpl.init();

+

+        /**

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

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

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

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

+         * @generated

+         */

+        PartialInterpretation createPartialInterpretation();

+

+        /**

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

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

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

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

+         * @generated

+         */

+        PartialConstantInterpretation createPartialConstantInterpretation();

+

+        /**

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

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

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

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

+         * @generated

+         */

+        PartialRelationInterpretation createPartialRelationInterpretation();

+

+        /**

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

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

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

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

+         * @generated

+         */

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

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

+         * @generated

+         */

+        UnaryElementRelationLink createUnaryElementRelationLink();

+

+        /**

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

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

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

+         * @return a new object of class '<em>Binary Element Relation Link</em>'.

+         * @generated

+         */

+        BinaryElementRelationLink createBinaryElementRelationLink();

+

+        /**

+         * Returns a new object of class '<em>Nary Relation Link</em>'.

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

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

+         * @return a new object of class '<em>Nary Relation Link</em>'.

+         * @generated

+         */

+        NaryRelationLink createNaryRelationLink();

+

+        /**

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

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

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

+         * @return a new object of class '<em>Nary Relation Link Element</em>'.

+         * @generated

+         */

+        NaryRelationLinkElement createNaryRelationLinkElement();

+

+        /**

+         * Returns the package supported by this factory.

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

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

+         * @return the package supported by this factory.

+         * @generated

+         */

+        PartialinterpretationPackage getPartialinterpretationPackage();

+

+} //PartialinterpretationFactory

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
new file mode 100644
index 00000000..573500dd
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
@@ -0,0 +1,1237 @@
+/**

+ */

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

+

+import org.eclipse.emf.ecore.EAttribute;

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EPackage;

+import org.eclipse.emf.ecore.EReference;

+

+/**

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

+ * The <b>Package</b> for the model.

+ * It contains accessors for the meta objects to represent

+ * <ul>

+ *   <li>each class,</li>

+ *   <li>each feature of each class,</li>

+ *   <li>each operation of each class,</li>

+ *   <li>each enum,</li>

+ *   <li>and each data type</li>

+ * </ul>

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

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

+ * @model kind="package"

+ * @generated

+ */

+public interface PartialinterpretationPackage extends EPackage {

+        /**

+         * The package name.

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

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

+         * @generated

+         */

+        String eNAME = "partialinterpretation";

+

+        /**

+         * The package namespace URI.

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

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

+         * @generated

+         */

+        String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage";

+

+        /**

+         * The package namespace name.

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

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

+         * @generated

+         */

+        String eNS_PREFIX = "partialinterpretation";

+

+        /**

+         * The singleton instance of the package.

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

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

+         * @generated

+         */

+        PartialinterpretationPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl.init();

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int PARTIAL_INTERPRETATION = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__PROBLEM = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION = 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION = 2;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION = 3;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__NEW_ELEMENTS = 4;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        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 Prototype</b></em>' containment reference.

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = 8;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION_FEATURE_COUNT = 10;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_INTERPRETATION_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int PARTIAL_CONSTANT_INTERPRETATION = 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_CONSTANT_INTERPRETATION_FEATURE_COUNT = 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_CONSTANT_INTERPRETATION_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int PARTIAL_RELATION_INTERPRETATION = 2;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS = 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION__PARAM1 = 2;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION__PARAM2 = 3;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION_FEATURE_COUNT = 4;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_RELATION_INTERPRETATION_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int PARTIAL_FUNCTION_INTERPRETATION = 3;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_FUNCTION_INTERPRETATION_FEATURE_COUNT = 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_FUNCTION_INTERPRETATION_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        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;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 3;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int RELATION_LINK = 5;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int RELATION_LINK_FEATURE_COUNT = 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int RELATION_LINK_OPERATION_COUNT = 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int UNARY_ELEMENT_RELATION_LINK = 6;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int UNARY_ELEMENT_RELATION_LINK__PARAM1 = RELATION_LINK_FEATURE_COUNT + 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int UNARY_ELEMENT_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int UNARY_ELEMENT_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int BINARY_ELEMENT_RELATION_LINK = 7;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int BINARY_ELEMENT_RELATION_LINK__PARAM1 = RELATION_LINK_FEATURE_COUNT + 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int BINARY_ELEMENT_RELATION_LINK__PARAM2 = RELATION_LINK_FEATURE_COUNT + 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int BINARY_ELEMENT_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 2;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int BINARY_ELEMENT_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int NARY_RELATION_LINK = 8;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK__ELEMENTS = RELATION_LINK_FEATURE_COUNT + 0;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK_FEATURE_COUNT = RELATION_LINK_FEATURE_COUNT + 1;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK_OPERATION_COUNT = RELATION_LINK_OPERATION_COUNT + 0;

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        int NARY_RELATION_LINK_ELEMENT = 9;

+

+        /**

+         * The feature id for the '<em><b>Index</b></em>' attribute.

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

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

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK_ELEMENT__INDEX = 0;

+

+        /**

+         * 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;

+

+        /**

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

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

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

+         * @generated

+         * @ordered

+         */

+        int NARY_RELATION_LINK_ELEMENT_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_Problem();

+

+        /**

+         * 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>Partialconstantinterpretation</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_Partialconstantinterpretation();

+

+        /**

+         * 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>Partialrelationinterpretation</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_Partialrelationinterpretation();

+

+        /**

+         * 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>Partialfunctioninterpretation</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_Partialfunctioninterpretation();

+

+        /**

+         * 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>New Elements</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_NewElements();

+

+        /**

+         * 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 containment reference list '<em>Partialtypeinterpratation</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_Partialtypeinterpratation();

+

+        /**

+         * 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 attribute '<em>Min New Elements</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EAttribute getPartialInterpretation_MinNewElements();

+

+        /**

+         * 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 attribute '<em>Max New Elements</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EAttribute getPartialInterpretation_MaxNewElements();

+

+        /**

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

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

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

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

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_OpenWorldElementPrototype();

+

+        /**

+         * 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 containment reference '<em>Problem Conainer</em>'.

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

+         * @see #getPartialInterpretation()

+         * @generated

+         */

+        EReference getPartialInterpretation_ProblemConainer();

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        EClass getPartialConstantInterpretation();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#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.PartialConstantInterpretation#getInterpretationOf()

+         * @see #getPartialConstantInterpretation()

+         * @generated

+         */

+        EReference getPartialConstantInterpretation_InterpretationOf();

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        EClass getPartialRelationInterpretation();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#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.PartialRelationInterpretation#getInterpretationOf()

+         * @see #getPartialRelationInterpretation()

+         * @generated

+         */

+        EReference getPartialRelationInterpretation_InterpretationOf();

+

+        /**

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

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

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

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

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

+         * @see #getPartialRelationInterpretation()

+         * @generated

+         */

+        EReference getPartialRelationInterpretation_Relationlinks();

+

+        /**

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

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

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

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

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

+         * @see #getPartialRelationInterpretation()

+         * @generated

+         */

+        EReference getPartialRelationInterpretation_Param1();

+

+        /**

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

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

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

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

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

+         * @see #getPartialRelationInterpretation()

+         * @generated

+         */

+        EReference getPartialRelationInterpretation_Param2();

+

+        /**

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

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

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

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

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

+         * @generated

+         */

+        EClass getPartialFunctionInterpretation();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#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.PartialFunctionInterpretation#getInterpretationOf()

+         * @see #getPartialFunctionInterpretation()

+         * @generated

+         */

+        EReference getPartialFunctionInterpretation_InterpretationOf();

+

+        /**

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

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

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

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

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

+         * @generated

+         */

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

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

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

+         * @see #getPartialTypeInterpratation()

+         * @generated

+         */

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

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

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

+         * @generated

+         */

+        EClass getRelationLink();

+

+        /**

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

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

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

+         * @return the meta object for class '<em>Unary Element Relation Link</em>'.

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

+         * @generated

+         */

+        EClass getUnaryElementRelationLink();

+

+        /**

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

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

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

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

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

+         * @see #getUnaryElementRelationLink()

+         * @generated

+         */

+        EReference getUnaryElementRelationLink_Param1();

+

+        /**

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

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

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

+         * @return the meta object for class '<em>Binary Element Relation Link</em>'.

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

+         * @generated

+         */

+        EClass getBinaryElementRelationLink();

+

+        /**

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

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

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

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

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

+         * @see #getBinaryElementRelationLink()

+         * @generated

+         */

+        EReference getBinaryElementRelationLink_Param1();

+

+        /**

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

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

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

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

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

+         * @see #getBinaryElementRelationLink()

+         * @generated

+         */

+        EReference getBinaryElementRelationLink_Param2();

+

+        /**

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

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

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

+         * @return the meta object for class '<em>Nary Relation Link</em>'.

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

+         * @generated

+         */

+        EClass getNaryRelationLink();

+

+        /**

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

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

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

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

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

+         * @see #getNaryRelationLink()

+         * @generated

+         */

+        EReference getNaryRelationLink_Elements();

+

+        /**

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

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

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

+         * @return the meta object for class '<em>Nary Relation Link Element</em>'.

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

+         * @generated

+         */

+        EClass getNaryRelationLinkElement();

+

+        /**

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

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

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

+         * @return the meta object for the attribute '<em>Index</em>'.

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

+         * @see #getNaryRelationLinkElement()

+         * @generated

+         */

+        EAttribute getNaryRelationLinkElement_Index();

+

+        /**

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

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

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

+         * @return the factory that creates the instances of the model.

+         * @generated

+         */

+        PartialinterpretationFactory getPartialinterpretationFactory();

+

+        /**

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

+         * Defines literals for the meta objects that represent

+         * <ul>

+         *   <li>each class,</li>

+         *   <li>each feature of each class,</li>

+         *   <li>each operation of each class,</li>

+         *   <li>each enum,</li>

+         *   <li>and each data type</li>

+         * </ul>

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

+         * @generated

+         */

+        interface Literals {

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass PARTIAL_INTERPRETATION = eINSTANCE.getPartialInterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PROBLEM = eINSTANCE.getPartialInterpretation_Problem();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION = eINSTANCE.getPartialInterpretation_Partialconstantinterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION = eINSTANCE.getPartialInterpretation_Partialrelationinterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION = eINSTANCE.getPartialInterpretation_Partialfunctioninterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_NewElements();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation();

+

+                /**

+                 * The meta object literal for the '<em><b>Min New Elements</b></em>' attribute 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 Prototype</b></em>' containment reference feature.

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototype();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass PARTIAL_CONSTANT_INTERPRETATION = eINSTANCE.getPartialConstantInterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialConstantInterpretation_InterpretationOf();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass PARTIAL_RELATION_INTERPRETATION = eINSTANCE.getPartialRelationInterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialRelationInterpretation_InterpretationOf();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS = eINSTANCE.getPartialRelationInterpretation_Relationlinks();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_RELATION_INTERPRETATION__PARAM1 = eINSTANCE.getPartialRelationInterpretation_Param1();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_RELATION_INTERPRETATION__PARAM2 = eINSTANCE.getPartialRelationInterpretation_Param2();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass PARTIAL_FUNCTION_INTERPRETATION = eINSTANCE.getPartialFunctionInterpretation();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialFunctionInterpretation_InterpretationOf();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

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

+                 * @generated

+                 */

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

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

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

+                 * @generated

+                 */

+                EClass RELATION_LINK = eINSTANCE.getRelationLink();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass UNARY_ELEMENT_RELATION_LINK = eINSTANCE.getUnaryElementRelationLink();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference UNARY_ELEMENT_RELATION_LINK__PARAM1 = eINSTANCE.getUnaryElementRelationLink_Param1();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass BINARY_ELEMENT_RELATION_LINK = eINSTANCE.getBinaryElementRelationLink();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference BINARY_ELEMENT_RELATION_LINK__PARAM1 = eINSTANCE.getBinaryElementRelationLink_Param1();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference BINARY_ELEMENT_RELATION_LINK__PARAM2 = eINSTANCE.getBinaryElementRelationLink_Param2();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass NARY_RELATION_LINK = eINSTANCE.getNaryRelationLink();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EReference NARY_RELATION_LINK__ELEMENTS = eINSTANCE.getNaryRelationLink_Elements();

+

+                /**

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

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

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

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

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

+                 * @generated

+                 */

+                EClass NARY_RELATION_LINK_ELEMENT = eINSTANCE.getNaryRelationLinkElement();

+

+                /**

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

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

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

+                 * @generated

+                 */

+                EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index();

+

+        }

+

+} //PartialinterpretationPackage

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

+ */

+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>Relation Link</b></em>'.

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

+ *

+ *

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

+ * @model abstract="true"

+ * @generated

+ */

+public interface RelationLink extends EObject {

+} // RelationLink

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

+ */

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

+

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

+

+/**

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

+ * A representation of the model object '<em><b>Unary Element Relation Link</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink#getParam1 <em>Param1</em>}</li>

+ * </ul>

+ *

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

+ * @model

+ * @generated

+ */

+public interface UnaryElementRelationLink extends RelationLink {

+        /**

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

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

+         * <p>

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

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

+         * </p>

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

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

+         * @see #setParam1(DefinedElement)

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

+         * @model required="true"

+         * @generated

+         */

+        DefinedElement getParam1();

+

+        /**

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

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

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

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

+         * @see #getParam1()

+         * @generated

+         */

+        void setParam1(DefinedElement value);

+

+} // UnaryElementRelationLink

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

+ */

+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.BinaryElementRelationLink;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+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;

+

+/**

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

+ * An implementation of the model object '<em><b>Binary Element Relation Link</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BinaryElementRelationLinkImpl#getParam1 <em>Param1</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.BinaryElementRelationLinkImpl#getParam2 <em>Param2</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class BinaryElementRelationLinkImpl extends RelationLinkImpl implements BinaryElementRelationLink {

+        /**

+         * The cached value of the '{@link #getParam1() <em>Param1</em>}' reference.

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

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

+         * @see #getParam1()

+         * @generated

+         * @ordered

+         */

+        protected DefinedElement param1;

+

+        /**

+         * The cached value of the '{@link #getParam2() <em>Param2</em>}' reference.

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

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

+         * @see #getParam2()

+         * @generated

+         * @ordered

+         */

+        protected DefinedElement param2;

+

+        /**

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

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

+         * @generated

+         */

+        protected BinaryElementRelationLinkImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.BINARY_ELEMENT_RELATION_LINK;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public DefinedElement getParam1() {

+                if (param1 != null && param1.eIsProxy()) {

+                        InternalEObject oldParam1 = (InternalEObject)param1;

+                        param1 = (DefinedElement)eResolveProxy(oldParam1);

+                        if (param1 != oldParam1) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM1, oldParam1, param1));

+                        }

+                }

+                return param1;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public DefinedElement basicGetParam1() {

+                return param1;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setParam1(DefinedElement newParam1) {

+                DefinedElement oldParam1 = param1;

+                param1 = newParam1;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM1, oldParam1, param1));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public DefinedElement getParam2() {

+                if (param2 != null && param2.eIsProxy()) {

+                        InternalEObject oldParam2 = (InternalEObject)param2;

+                        param2 = (DefinedElement)eResolveProxy(oldParam2);

+                        if (param2 != oldParam2) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2, oldParam2, param2));

+                        }

+                }

+                return param2;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public DefinedElement basicGetParam2() {

+                return param2;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setParam2(DefinedElement newParam2) {

+                DefinedElement oldParam2 = param2;

+                param2 = newParam2;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2, oldParam2, param2));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM1:

+                                if (resolve) return getParam1();

+                                return basicGetParam1();

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2:

+                                if (resolve) return getParam2();

+                                return basicGetParam2();

+                }

+                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.BINARY_ELEMENT_RELATION_LINK__PARAM1:

+                                setParam1((DefinedElement)newValue);

+                                return;

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2:

+                                setParam2((DefinedElement)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM1:

+                                setParam1((DefinedElement)null);

+                                return;

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2:

+                                setParam2((DefinedElement)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM1:

+                                return param1 != null;

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK__PARAM2:

+                                return param2 != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //BinaryElementRelationLinkImpl

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
new file mode 100644
index 00000000..40e6549d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
@@ -0,0 +1,163 @@
+/**

+ */

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

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.common.notify.Notification;

+

+import org.eclipse.emf.ecore.EClass;

+

+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>Nary Relation Link Element</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

+ * @generated

+ */

+public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container implements NaryRelationLinkElement {

+        /**

+         * The default value of the '{@link #getIndex() <em>Index</em>}' attribute.

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

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

+         * @see #getIndex()

+         * @generated

+         * @ordered

+         */

+        protected static final int INDEX_EDEFAULT = 0;

+

+        /**

+         * The cached value of the '{@link #getIndex() <em>Index</em>}' attribute.

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

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

+         * @see #getIndex()

+         * @generated

+         * @ordered

+         */

+        protected int index = INDEX_EDEFAULT;

+

+        /**

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

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

+         * @generated

+         */

+        protected NaryRelationLinkElementImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.NARY_RELATION_LINK_ELEMENT;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public int getIndex() {

+                return index;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setIndex(int newIndex) {

+                int oldIndex = index;

+                index = newIndex;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX, oldIndex, index));

+        }

+

+        /**

+         * <!-- 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();

+                }

+                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.NARY_RELATION_LINK_ELEMENT__INDEX:

+                                setIndex((Integer)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

+                                setIndex(INDEX_EDEFAULT);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:

+                                return index != INDEX_EDEFAULT;

+                }

+                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(" (index: ");

+                result.append(index);

+                result.append(')');

+                return result.toString();

+        }

+

+} //NaryRelationLinkElementImpl

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

+ */

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

+

+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.PartialinterpretationPackage;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.notify.NotificationChain;

+

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

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.util.EObjectContainmentEList;

+import org.eclipse.emf.ecore.util.InternalEList;

+

+/**

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

+ * An implementation of the model object '<em><b>Nary Relation Link</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

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

+ * </ul>

+ *

+ * @generated

+ */

+public class NaryRelationLinkImpl extends RelationLinkImpl implements NaryRelationLink {

+        /**

+         * The cached value of the '{@link #getElements() <em>Elements</em>}' containment reference list.

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

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

+         * @see #getElements()

+         * @generated

+         * @ordered

+         */

+        protected EList<NaryRelationLinkElement> elements;

+

+        /**

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

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

+         * @generated

+         */

+        protected NaryRelationLinkImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.NARY_RELATION_LINK;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<NaryRelationLinkElement> getElements() {

+                if (elements == null) {

+                        elements = new EObjectContainmentEList<NaryRelationLinkElement>(NaryRelationLinkElement.class, this, PartialinterpretationPackage.NARY_RELATION_LINK__ELEMENTS);

+                }

+                return elements;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK__ELEMENTS:

+                                return ((InternalEList<?>)getElements()).basicRemove(otherEnd, msgs);

+                }

+                return super.eInverseRemove(otherEnd, featureID, msgs);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK__ELEMENTS:

+                                return getElements();

+                }

+                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.NARY_RELATION_LINK__ELEMENTS:

+                                getElements().clear();

+                                getElements().addAll((Collection<? extends NaryRelationLinkElement>)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK__ELEMENTS:

+                                getElements().clear();

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.NARY_RELATION_LINK__ELEMENTS:

+                                return elements != null && !elements.isEmpty();

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //NaryRelationLinkImpl

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

+ */

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

+

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

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+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>Partial Constant 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.PartialConstantInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialConstantInterpretationImpl extends MinimalEObjectImpl.Container implements PartialConstantInterpretation {

+        /**

+         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.

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

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

+         * @see #getInterpretationOf()

+         * @generated

+         * @ordered

+         */

+        protected ConstantDeclaration interpretationOf;

+

+        /**

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

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

+         * @generated

+         */

+        protected PartialConstantInterpretationImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_CONSTANT_INTERPRETATION;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public ConstantDeclaration getInterpretationOf() {

+                if (interpretationOf != null && interpretationOf.eIsProxy()) {

+                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;

+                        interpretationOf = (ConstantDeclaration)eResolveProxy(oldInterpretationOf);

+                        if (interpretationOf != oldInterpretationOf) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+                        }

+                }

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public ConstantDeclaration basicGetInterpretationOf() {

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setInterpretationOf(ConstantDeclaration newInterpretationOf) {

+                ConstantDeclaration oldInterpretationOf = interpretationOf;

+                interpretationOf = newInterpretationOf;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_CONSTANT_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_CONSTANT_INTERPRETATION__INTERPRETATION_OF:

+                                if (resolve) return getInterpretationOf();

+                                return basicGetInterpretationOf();

+                }

+                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.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((ConstantDeclaration)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((ConstantDeclaration)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF:

+                                return interpretationOf != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //PartialConstantInterpretationImpl

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

+ */

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

+

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

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+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>Partial Function 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.PartialFunctionInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialFunctionInterpretationImpl extends MinimalEObjectImpl.Container implements PartialFunctionInterpretation {

+        /**

+         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.

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

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

+         * @see #getInterpretationOf()

+         * @generated

+         * @ordered

+         */

+        protected FunctionDeclaration interpretationOf;

+

+        /**

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

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

+         * @generated

+         */

+        protected PartialFunctionInterpretationImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_FUNCTION_INTERPRETATION;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public FunctionDeclaration getInterpretationOf() {

+                if (interpretationOf != null && interpretationOf.eIsProxy()) {

+                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;

+                        interpretationOf = (FunctionDeclaration)eResolveProxy(oldInterpretationOf);

+                        if (interpretationOf != oldInterpretationOf) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+                        }

+                }

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public FunctionDeclaration basicGetInterpretationOf() {

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setInterpretationOf(FunctionDeclaration newInterpretationOf) {

+                FunctionDeclaration oldInterpretationOf = interpretationOf;

+                interpretationOf = newInterpretationOf;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_FUNCTION_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_FUNCTION_INTERPRETATION__INTERPRETATION_OF:

+                                if (resolve) return getInterpretationOf();

+                                return basicGetInterpretationOf();

+                }

+                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.PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((FunctionDeclaration)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((FunctionDeclaration)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF:

+                                return interpretationOf != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //PartialFunctionInterpretationImpl

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
new file mode 100644
index 00000000..09690c79
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -0,0 +1,619 @@
+/**

+ */

+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.logicproblem.LogicProblem;

+

+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 java.util.Collection;

+

+import org.eclipse.emf.common.notify.Notification;

+import org.eclipse.emf.common.notify.NotificationChain;

+

+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.EObjectContainmentEList;

+import org.eclipse.emf.ecore.util.InternalEList;

+

+/**

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

+ * An implementation of the model object '<em><b>Partial 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.PartialInterpretationImpl#getProblem <em>Problem</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}</li>

+ *   <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#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#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li>

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

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialInterpretationImpl extends MinimalEObjectImpl.Container implements PartialInterpretation {

+        /**

+         * The cached value of the '{@link #getProblem() <em>Problem</em>}' reference.

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

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

+         * @see #getProblem()

+         * @generated

+         * @ordered

+         */

+        protected LogicProblem problem;

+

+        /**

+         * The cached value of the '{@link #getPartialconstantinterpretation() <em>Partialconstantinterpretation</em>}' containment reference list.

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

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

+         * @see #getPartialconstantinterpretation()

+         * @generated

+         * @ordered

+         */

+        protected EList<PartialConstantInterpretation> partialconstantinterpretation;

+

+        /**

+         * The cached value of the '{@link #getPartialrelationinterpretation() <em>Partialrelationinterpretation</em>}' containment reference list.

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

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

+         * @see #getPartialrelationinterpretation()

+         * @generated

+         * @ordered

+         */

+        protected EList<PartialRelationInterpretation> partialrelationinterpretation;

+

+        /**

+         * The cached value of the '{@link #getPartialfunctioninterpretation() <em>Partialfunctioninterpretation</em>}' containment reference list.

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

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

+         * @see #getPartialfunctioninterpretation()

+         * @generated

+         * @ordered

+         */

+        protected EList<PartialFunctionInterpretation> partialfunctioninterpretation;

+

+        /**

+         * The cached value of the '{@link #getNewElements() <em>New Elements</em>}' containment reference list.

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

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

+         * @see #getNewElements()

+         * @generated

+         * @ordered

+         */

+        protected EList<DefinedElement> newElements;

+

+        /**

+         * The cached value of the '{@link #getPartialtypeinterpratation() <em>Partialtypeinterpratation</em>}' containment reference list.

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

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

+         * @see #getPartialtypeinterpratation()

+         * @generated

+         * @ordered

+         */

+        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 #getOpenWorldElementPrototype() <em>Open World Element Prototype</em>}' containment reference.

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

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

+         * @see #getOpenWorldElementPrototype()

+         * @generated

+         * @ordered

+         */

+        protected DefinedElement openWorldElementPrototype;

+

+        /**

+         * The cached value of the '{@link #getProblemConainer() <em>Problem Conainer</em>}' containment reference.

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

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

+         * @see #getProblemConainer()

+         * @generated

+         * @ordered

+         */

+        protected LogicProblem problemConainer;

+

+        /**

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

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

+         * @generated

+         */

+        protected PartialInterpretationImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_INTERPRETATION;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public LogicProblem getProblem() {

+                if (problem != null && problem.eIsProxy()) {

+                        InternalEObject oldProblem = (InternalEObject)problem;

+                        problem = (LogicProblem)eResolveProxy(oldProblem);

+                        if (problem != oldProblem) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem));

+                        }

+                }

+                return problem;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public LogicProblem basicGetProblem() {

+                return problem;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setProblem(LogicProblem newProblem) {

+                LogicProblem oldProblem = problem;

+                problem = newProblem;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM, oldProblem, problem));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<PartialConstantInterpretation> getPartialconstantinterpretation() {

+                if (partialconstantinterpretation == null) {

+                        partialconstantinterpretation = new EObjectContainmentEList<PartialConstantInterpretation>(PartialConstantInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION);

+                }

+                return partialconstantinterpretation;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<PartialRelationInterpretation> getPartialrelationinterpretation() {

+                if (partialrelationinterpretation == null) {

+                        partialrelationinterpretation = new EObjectContainmentEList<PartialRelationInterpretation>(PartialRelationInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION);

+                }

+                return partialrelationinterpretation;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<PartialFunctionInterpretation> getPartialfunctioninterpretation() {

+                if (partialfunctioninterpretation == null) {

+                        partialfunctioninterpretation = new EObjectContainmentEList<PartialFunctionInterpretation>(PartialFunctionInterpretation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);

+                }

+                return partialfunctioninterpretation;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<DefinedElement> getNewElements() {

+                if (newElements == null) {

+                        newElements = new EObjectContainmentEList<DefinedElement>(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS);

+                }

+                return newElements;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<PartialTypeInterpratation> getPartialtypeinterpratation() {

+                if (partialtypeinterpratation == null) {

+                        partialtypeinterpratation = new EObjectContainmentEList<PartialTypeInterpratation>(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);

+                }

+                return partialtypeinterpratation;

+        }

+

+        /**

+         * <!-- 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.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 DefinedElement getOpenWorldElementPrototype() {

+                return openWorldElementPrototype;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public NotificationChain basicSetOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype, NotificationChain msgs) {

+                DefinedElement oldOpenWorldElementPrototype = openWorldElementPrototype;

+                openWorldElementPrototype = newOpenWorldElementPrototype;

+                if (eNotificationRequired()) {

+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, oldOpenWorldElementPrototype, newOpenWorldElementPrototype);

+                        if (msgs == null) msgs = notification; else msgs.add(notification);

+                }

+                return msgs;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setOpenWorldElementPrototype(DefinedElement newOpenWorldElementPrototype) {

+                if (newOpenWorldElementPrototype != openWorldElementPrototype) {

+                        NotificationChain msgs = null;

+                        if (openWorldElementPrototype != null)

+                                msgs = ((InternalEObject)openWorldElementPrototype).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs);

+                        if (newOpenWorldElementPrototype != null)

+                                msgs = ((InternalEObject)newOpenWorldElementPrototype).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, null, msgs);

+                        msgs = basicSetOpenWorldElementPrototype(newOpenWorldElementPrototype, msgs);

+                        if (msgs != null) msgs.dispatch();

+                }

+                else if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE, newOpenWorldElementPrototype, newOpenWorldElementPrototype));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public LogicProblem getProblemConainer() {

+                return problemConainer;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public NotificationChain basicSetProblemConainer(LogicProblem newProblemConainer, NotificationChain msgs) {

+                LogicProblem oldProblemConainer = problemConainer;

+                problemConainer = newProblemConainer;

+                if (eNotificationRequired()) {

+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, oldProblemConainer, newProblemConainer);

+                        if (msgs == null) msgs = notification; else msgs.add(notification);

+                }

+                return msgs;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setProblemConainer(LogicProblem newProblemConainer) {

+                if (newProblemConainer != problemConainer) {

+                        NotificationChain msgs = null;

+                        if (problemConainer != null)

+                                msgs = ((InternalEObject)problemConainer).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);

+                        if (newProblemConainer != null)

+                                msgs = ((InternalEObject)newProblemConainer).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, null, msgs);

+                        msgs = basicSetProblemConainer(newProblemConainer, msgs);

+                        if (msgs != null) msgs.dispatch();

+                }

+                else if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER, newProblemConainer, newProblemConainer));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:

+                                return ((InternalEList<?>)getPartialconstantinterpretation()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:

+                                return ((InternalEList<?>)getPartialrelationinterpretation()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:

+                                return ((InternalEList<?>)getPartialfunctioninterpretation()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:

+                                return ((InternalEList<?>)getNewElements()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

+                                return ((InternalEList<?>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE:

+                                return basicSetOpenWorldElementPrototype(null, msgs);

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                return basicSetProblemConainer(null, msgs);

+                }

+                return super.eInverseRemove(otherEnd, featureID, msgs);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:

+                                if (resolve) return getProblem();

+                                return basicGetProblem();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:

+                                return getPartialconstantinterpretation();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:

+                                return getPartialrelationinterpretation();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:

+                                return getPartialfunctioninterpretation();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:

+                                return getNewElements();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

+                                return getPartialtypeinterpratation();

+                        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_PROTOTYPE:

+                                return getOpenWorldElementPrototype();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                return getProblemConainer();

+                }

+                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_INTERPRETATION__PROBLEM:

+                                setProblem((LogicProblem)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:

+                                getPartialconstantinterpretation().clear();

+                                getPartialconstantinterpretation().addAll((Collection<? extends PartialConstantInterpretation>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:

+                                getPartialrelationinterpretation().clear();

+                                getPartialrelationinterpretation().addAll((Collection<? extends PartialRelationInterpretation>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:

+                                getPartialfunctioninterpretation().clear();

+                                getPartialfunctioninterpretation().addAll((Collection<? extends PartialFunctionInterpretation>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:

+                                getNewElements().clear();

+                                getNewElements().addAll((Collection<? extends DefinedElement>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

+                                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_PROTOTYPE:

+                                setOpenWorldElementPrototype((DefinedElement)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                setProblemConainer((LogicProblem)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:

+                                setProblem((LogicProblem)null);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:

+                                getPartialconstantinterpretation().clear();

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:

+                                getPartialrelationinterpretation().clear();

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:

+                                getPartialfunctioninterpretation().clear();

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:

+                                getNewElements().clear();

+                                return;

+                        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_PROTOTYPE:

+                                setOpenWorldElementPrototype((DefinedElement)null);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                setProblemConainer((LogicProblem)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM:

+                                return problem != null;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION:

+                                return partialconstantinterpretation != null && !partialconstantinterpretation.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION:

+                                return partialrelationinterpretation != null && !partialrelationinterpretation.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION:

+                                return partialfunctioninterpretation != null && !partialfunctioninterpretation.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_ELEMENTS:

+                                return newElements != null && !newElements.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:

+                                return partialtypeinterpratation != null && !partialtypeinterpratation.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_PROTOTYPE:

+                                return openWorldElementPrototype != null;

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:

+                                return problemConainer != 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();

+        }

+

+} //PartialInterpretationImpl

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

+ */

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

+

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

+

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

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.notify.Notification;

+import org.eclipse.emf.common.notify.NotificationChain;

+

+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.EObjectContainmentEList;

+import org.eclipse.emf.ecore.util.InternalEList;

+

+/**

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

+ * An implementation of the model object '<em><b>Partial Relation 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.PartialRelationInterpretationImpl#getInterpretationOf <em>Interpretation Of</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRelationInterpretationImpl#getRelationlinks <em>Relationlinks</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRelationInterpretationImpl#getParam1 <em>Param1</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRelationInterpretationImpl#getParam2 <em>Param2</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialRelationInterpretationImpl extends MinimalEObjectImpl.Container implements PartialRelationInterpretation {

+        /**

+         * The cached value of the '{@link #getInterpretationOf() <em>Interpretation Of</em>}' reference.

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

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

+         * @see #getInterpretationOf()

+         * @generated

+         * @ordered

+         */

+        protected RelationDeclaration interpretationOf;

+

+        /**

+         * The cached value of the '{@link #getRelationlinks() <em>Relationlinks</em>}' containment reference list.

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

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

+         * @see #getRelationlinks()

+         * @generated

+         * @ordered

+         */

+        protected EList<RelationLink> relationlinks;

+

+        /**

+         * The cached value of the '{@link #getParam1() <em>Param1</em>}' reference.

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

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

+         * @see #getParam1()

+         * @generated

+         * @ordered

+         */

+        protected TypeReference param1;

+

+        /**

+         * The cached value of the '{@link #getParam2() <em>Param2</em>}' reference.

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

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

+         * @see #getParam2()

+         * @generated

+         * @ordered

+         */

+        protected TypeReference param2;

+

+        /**

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

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

+         * @generated

+         */

+        protected PartialRelationInterpretationImpl() {

+                super();

+        }

+

+        /**

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

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

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_RELATION_INTERPRETATION;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public RelationDeclaration getInterpretationOf() {

+                if (interpretationOf != null && interpretationOf.eIsProxy()) {

+                        InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;

+                        interpretationOf = (RelationDeclaration)eResolveProxy(oldInterpretationOf);

+                        if (interpretationOf != oldInterpretationOf) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+                        }

+                }

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public RelationDeclaration basicGetInterpretationOf() {

+                return interpretationOf;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setInterpretationOf(RelationDeclaration newInterpretationOf) {

+                RelationDeclaration oldInterpretationOf = interpretationOf;

+                interpretationOf = newInterpretationOf;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public EList<RelationLink> getRelationlinks() {

+                if (relationlinks == null) {

+                        relationlinks = new EObjectContainmentEList<RelationLink>(RelationLink.class, this, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS);

+                }

+                return relationlinks;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public TypeReference getParam1() {

+                if (param1 != null && param1.eIsProxy()) {

+                        InternalEObject oldParam1 = (InternalEObject)param1;

+                        param1 = (TypeReference)eResolveProxy(oldParam1);

+                        if (param1 != oldParam1) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1, oldParam1, param1));

+                        }

+                }

+                return param1;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public TypeReference basicGetParam1() {

+                return param1;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setParam1(TypeReference newParam1) {

+                TypeReference oldParam1 = param1;

+                param1 = newParam1;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1, oldParam1, param1));

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public TypeReference getParam2() {

+                if (param2 != null && param2.eIsProxy()) {

+                        InternalEObject oldParam2 = (InternalEObject)param2;

+                        param2 = (TypeReference)eResolveProxy(oldParam2);

+                        if (param2 != oldParam2) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2, oldParam2, param2));

+                        }

+                }

+                return param2;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public TypeReference basicGetParam2() {

+                return param2;

+        }

+

+        /**

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

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

+         * @generated

+         */

+        public void setParam2(TypeReference newParam2) {

+                TypeReference oldParam2 = param2;

+                param2 = newParam2;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2, oldParam2, param2));

+        }

+

+        /**

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

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS:

+                                return ((InternalEList<?>)getRelationlinks()).basicRemove(otherEnd, msgs);

+                }

+                return super.eInverseRemove(otherEnd, featureID, msgs);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF:

+                                if (resolve) return getInterpretationOf();

+                                return basicGetInterpretationOf();

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS:

+                                return getRelationlinks();

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1:

+                                if (resolve) return getParam1();

+                                return basicGetParam1();

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2:

+                                if (resolve) return getParam2();

+                                return basicGetParam2();

+                }

+                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_RELATION_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((RelationDeclaration)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS:

+                                getRelationlinks().clear();

+                                getRelationlinks().addAll((Collection<? extends RelationLink>)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1:

+                                setParam1((TypeReference)newValue);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2:

+                                setParam2((TypeReference)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF:

+                                setInterpretationOf((RelationDeclaration)null);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS:

+                                getRelationlinks().clear();

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1:

+                                setParam1((TypeReference)null);

+                                return;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2:

+                                setParam2((TypeReference)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF:

+                                return interpretationOf != null;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS:

+                                return relationlinks != null && !relationlinks.isEmpty();

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM1:

+                                return param1 != null;

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION__PARAM2:

+                                return param2 != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //PartialRelationInterpretationImpl

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
new file mode 100644
index 00000000..1090aaf7
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
@@ -0,0 +1,231 @@
+/**

+ */

+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;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Type Interpratation</b></em>'.

+ * <!-- end-user-doc -->

+ * <p>

+ * 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;

+

+        /**

+         * The cached value of the '{@link #getElements() <em>Elements</em>}' reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getElements()

+         * @generated

+         * @ordered

+         */

+        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

+         */

+        protected PartialTypeInterpratationImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.PARTIAL_TYPE_INTERPRATATION;

+        }

+

+        /**

+         * <!-- 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_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);

+                }

+                return elements;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- 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);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @SuppressWarnings("unchecked")

+        @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);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @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);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @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);

+        }

+

+} //PartialTypeInterpratationImpl

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
new file mode 100644
index 00000000..99ab7830
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
@@ -0,0 +1,183 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EObject;

+import org.eclipse.emf.ecore.EPackage;

+

+import org.eclipse.emf.ecore.impl.EFactoryImpl;

+

+import org.eclipse.emf.ecore.plugin.EcorePlugin;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model <b>Factory</b>.

+ * <!-- end-user-doc -->

+ * @generated

+ */

+public class PartialinterpretationFactoryImpl extends EFactoryImpl implements PartialinterpretationFactory {

+        /**

+         * Creates the default factory implementation.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public static PartialinterpretationFactory init() {

+                try {

+                        PartialinterpretationFactory thePartialinterpretationFactory = (PartialinterpretationFactory)EPackage.Registry.INSTANCE.getEFactory(PartialinterpretationPackage.eNS_URI);

+                        if (thePartialinterpretationFactory != null) {

+                                return thePartialinterpretationFactory;

+                        }

+                }

+                catch (Exception exception) {

+                        EcorePlugin.INSTANCE.log(exception);

+                }

+                return new PartialinterpretationFactoryImpl();

+        }

+

+        /**

+         * Creates an instance of the factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialinterpretationFactoryImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public EObject create(EClass eClass) {

+                switch (eClass.getClassifierID()) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION: return createPartialInterpretation();

+                        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();

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: return createNaryRelationLinkElement();

+                        default:

+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");

+                }

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialInterpretation createPartialInterpretation() {

+                PartialInterpretationImpl partialInterpretation = new PartialInterpretationImpl();

+                return partialInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialConstantInterpretation createPartialConstantInterpretation() {

+                PartialConstantInterpretationImpl partialConstantInterpretation = new PartialConstantInterpretationImpl();

+                return partialConstantInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialRelationInterpretation createPartialRelationInterpretation() {

+                PartialRelationInterpretationImpl partialRelationInterpretation = new PartialRelationInterpretationImpl();

+                return partialRelationInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialFunctionInterpretation createPartialFunctionInterpretation() {

+                PartialFunctionInterpretationImpl partialFunctionInterpretation = new PartialFunctionInterpretationImpl();

+                return partialFunctionInterpretation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- 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;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public BinaryElementRelationLink createBinaryElementRelationLink() {

+                BinaryElementRelationLinkImpl binaryElementRelationLink = new BinaryElementRelationLinkImpl();

+                return binaryElementRelationLink;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public NaryRelationLink createNaryRelationLink() {

+                NaryRelationLinkImpl naryRelationLink = new NaryRelationLinkImpl();

+                return naryRelationLink;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public NaryRelationLinkElement createNaryRelationLinkElement() {

+                NaryRelationLinkElementImpl naryRelationLinkElement = new NaryRelationLinkElementImpl();

+                return naryRelationLinkElement;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialinterpretationPackage getPartialinterpretationPackage() {

+                return (PartialinterpretationPackage)getEPackage();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @deprecated

+         * @generated

+         */

+        @Deprecated

+        public static PartialinterpretationPackage getPackage() {

+                return PartialinterpretationPackage.eINSTANCE;

+        }

+

+} //PartialinterpretationFactoryImpl

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
new file mode 100644
index 00000000..65d73721
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
@@ -0,0 +1,635 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink;

+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.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.PartialinterpretationFactory;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;

+

+import org.eclipse.emf.ecore.EAttribute;

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EPackage;

+import org.eclipse.emf.ecore.EReference;

+

+import org.eclipse.emf.ecore.impl.EPackageImpl;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model <b>Package</b>.

+ * <!-- end-user-doc -->

+ * @generated

+ */

+public class PartialinterpretationPackageImpl extends EPackageImpl implements PartialinterpretationPackage {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialConstantInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialRelationInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialFunctionInterpretationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialTypeInterpratationEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass relationLinkEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass unaryElementRelationLinkEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass binaryElementRelationLinkEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass naryRelationLinkEClass = null;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass naryRelationLinkElementEClass = 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.

+         * <p>Note: the correct way to create the package is via the static

+         * factory method {@link #init init()}, which also performs

+         * initialization of the package, or returns the registered package,

+         * if one already exists.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see org.eclipse.emf.ecore.EPackage.Registry

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#eNS_URI

+         * @see #init()

+         * @generated

+         */

+        private PartialinterpretationPackageImpl() {

+                super(eNS_URI, PartialinterpretationFactory.eINSTANCE);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private static boolean isInited = false;

+

+        /**

+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.

+         * 

+         * <p>This method is used to initialize {@link PartialinterpretationPackage#eINSTANCE} when that field is accessed.

+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #eNS_URI

+         * @see #createPackageContents()

+         * @see #initializePackageContents()

+         * @generated

+         */

+        public static PartialinterpretationPackage init() {

+                if (isInited) return (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI);

+

+                // Obtain or create and register package

+                PartialinterpretationPackageImpl thePartialinterpretationPackage = (PartialinterpretationPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof PartialinterpretationPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new PartialinterpretationPackageImpl());

+

+                isInited = true;

+

+                // Initialize simple dependencies

+                LogiclanguagePackage.eINSTANCE.eClass();

+                LogicproblemPackage.eINSTANCE.eClass();

+

+                // Create package meta-data objects

+                thePartialinterpretationPackage.createPackageContents();

+

+                // Initialize created meta-data

+                thePartialinterpretationPackage.initializePackageContents();

+

+                // Mark meta-data to indicate it can't be changed

+                thePartialinterpretationPackage.freeze();

+

+  

+                // Update the registry and return the package

+                EPackage.Registry.INSTANCE.put(PartialinterpretationPackage.eNS_URI, thePartialinterpretationPackage);

+                return thePartialinterpretationPackage;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialInterpretation() {

+                return partialInterpretationEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_Problem() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_Partialconstantinterpretation() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(1);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_Partialrelationinterpretation() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(2);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_Partialfunctioninterpretation() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(3);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_NewElements() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(4);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_Partialtypeinterpratation() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(5);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EAttribute getPartialInterpretation_MinNewElements() {

+                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EAttribute getPartialInterpretation_MaxNewElements() {

+                return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_OpenWorldElementPrototype() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialInterpretation_ProblemConainer() {

+                return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialConstantInterpretation() {

+                return partialConstantInterpretationEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialConstantInterpretation_InterpretationOf() {

+                return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialRelationInterpretation() {

+                return partialRelationInterpretationEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialRelationInterpretation_InterpretationOf() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialRelationInterpretation_Relationlinks() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialRelationInterpretation_Param1() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialRelationInterpretation_Param2() {

+                return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialFunctionInterpretation() {

+                return partialFunctionInterpretationEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialFunctionInterpretation_InterpretationOf() {

+                return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialTypeInterpratation() {

+                return partialTypeInterpratationEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialTypeInterpratation_InterpretationOf() {

+                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialTypeInterpratation_Elements() {

+                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialTypeInterpratation_SupertypeInterpretation() {

+                return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getRelationLink() {

+                return relationLinkEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getUnaryElementRelationLink() {

+                return unaryElementRelationLinkEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getUnaryElementRelationLink_Param1() {

+                return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getBinaryElementRelationLink() {

+                return binaryElementRelationLinkEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getBinaryElementRelationLink_Param1() {

+                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getBinaryElementRelationLink_Param2() {

+                return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getNaryRelationLink() {

+                return naryRelationLinkEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getNaryRelationLink_Elements() {

+                return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getNaryRelationLinkElement() {

+                return naryRelationLinkElementEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EAttribute getNaryRelationLinkElement_Index() {

+                return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialinterpretationFactory getPartialinterpretationFactory() {

+                return (PartialinterpretationFactory)getEFactoryInstance();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private boolean isCreated = false;

+

+        /**

+         * Creates the meta-model objects for the package.  This method is

+         * guarded to have no affect on any invocation but its first.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void createPackageContents() {

+                if (isCreated) return;

+                isCreated = true;

+

+                // Create classes and their features

+                partialInterpretationEClass = createEClass(PARTIAL_INTERPRETATION);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALCONSTANTINTERPRETATION);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALRELATIONINTERPRETATION);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);

+                createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS);

+                createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPE);

+                createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);

+

+                partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION);

+                createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF);

+

+                partialRelationInterpretationEClass = createEClass(PARTIAL_RELATION_INTERPRETATION);

+                createEReference(partialRelationInterpretationEClass, PARTIAL_RELATION_INTERPRETATION__INTERPRETATION_OF);

+                createEReference(partialRelationInterpretationEClass, PARTIAL_RELATION_INTERPRETATION__RELATIONLINKS);

+                createEReference(partialRelationInterpretationEClass, PARTIAL_RELATION_INTERPRETATION__PARAM1);

+                createEReference(partialRelationInterpretationEClass, PARTIAL_RELATION_INTERPRETATION__PARAM2);

+

+                partialFunctionInterpretationEClass = createEClass(PARTIAL_FUNCTION_INTERPRETATION);

+                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);

+

+                unaryElementRelationLinkEClass = createEClass(UNARY_ELEMENT_RELATION_LINK);

+                createEReference(unaryElementRelationLinkEClass, UNARY_ELEMENT_RELATION_LINK__PARAM1);

+

+                binaryElementRelationLinkEClass = createEClass(BINARY_ELEMENT_RELATION_LINK);

+                createEReference(binaryElementRelationLinkEClass, BINARY_ELEMENT_RELATION_LINK__PARAM1);

+                createEReference(binaryElementRelationLinkEClass, BINARY_ELEMENT_RELATION_LINK__PARAM2);

+

+                naryRelationLinkEClass = createEClass(NARY_RELATION_LINK);

+                createEReference(naryRelationLinkEClass, NARY_RELATION_LINK__ELEMENTS);

+

+                naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT);

+                createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private boolean isInitialized = false;

+

+        /**

+         * Complete the initialization of the package and its meta-model.  This

+         * method is guarded to have no affect on any invocation but its first.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void initializePackageContents() {

+                if (isInitialized) return;

+                isInitialized = true;

+

+                // Initialize package

+                setName(eNAME);

+                setNsPrefix(eNS_PREFIX);

+                setNsURI(eNS_URI);

+

+                // Obtain other dependent packages

+                LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);

+                LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);

+

+                // Create type parameters

+

+                // Set bounds for type parameters

+

+                // Add supertypes to classes

+                unaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink());

+                binaryElementRelationLinkEClass.getESuperTypes().add(this.getRelationLink());

+                naryRelationLinkEClass.getESuperTypes().add(this.getRelationLink());

+

+                // Initialize classes, features, and operations; add parameters

+                initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getPartialInterpretation_Problem(), theLogicproblemPackage.getLogicProblem(), null, "problem", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialInterpretation_Partialconstantinterpretation(), this.getPartialConstantInterpretation(), null, "partialconstantinterpretation", 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_Partialrelationinterpretation(), this.getPartialRelationInterpretation(), null, "partialrelationinterpretation", 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_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_OpenWorldElementPrototype(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototype", null, 1, 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);

+

+                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);

+

+                initEClass(partialRelationInterpretationEClass, PartialRelationInterpretation.class, "PartialRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getPartialRelationInterpretation_InterpretationOf(), theLogiclanguagePackage.getRelationDeclaration(), null, "interpretationOf", null, 1, 1, PartialRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialRelationInterpretation_Relationlinks(), this.getRelationLink(), null, "relationlinks", null, 0, -1, PartialRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialRelationInterpretation_Param1(), theLogiclanguagePackage.getTypeReference(), null, "param1", null, 0, 1, PartialRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialRelationInterpretation_Param2(), theLogiclanguagePackage.getTypeReference(), null, "param2", null, 0, 1, PartialRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                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);

+                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);

+

+                initEClass(unaryElementRelationLinkEClass, UnaryElementRelationLink.class, "UnaryElementRelationLink", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getUnaryElementRelationLink_Param1(), theLogiclanguagePackage.getDefinedElement(), null, "param1", null, 1, 1, UnaryElementRelationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                initEClass(binaryElementRelationLinkEClass, BinaryElementRelationLink.class, "BinaryElementRelationLink", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getBinaryElementRelationLink_Param1(), theLogiclanguagePackage.getDefinedElement(), null, "param1", null, 1, 1, BinaryElementRelationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getBinaryElementRelationLink_Param2(), theLogiclanguagePackage.getDefinedElement(), null, "param2", null, 1, 1, BinaryElementRelationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                initEClass(naryRelationLinkEClass, NaryRelationLink.class, "NaryRelationLink", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getNaryRelationLink_Elements(), this.getNaryRelationLinkElement(), null, "elements", null, 0, -1, NaryRelationLink.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                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);

+

+                // Create resource

+                createResource(eNS_URI);

+        }

+

+} //PartialinterpretationPackageImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/RelationLinkImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/RelationLinkImpl.java
new file mode 100644
index 00000000..5eda35c7
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/RelationLinkImpl.java
@@ -0,0 +1,39 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Relation Link</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * @generated

+ */

+public abstract class RelationLinkImpl extends MinimalEObjectImpl.Container implements RelationLink {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected RelationLinkImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.RELATION_LINK;

+        }

+

+} //RelationLinkImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/UnaryElementRelationLinkImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/UnaryElementRelationLinkImpl.java
new file mode 100644
index 00000000..2cb56323
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/UnaryElementRelationLinkImpl.java
@@ -0,0 +1,157 @@
+/**

+ */

+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.PartialinterpretationPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;

+

+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;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Unary Element Relation Link</b></em>'.

+ * <!-- end-user-doc -->

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.UnaryElementRelationLinkImpl#getParam1 <em>Param1</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class UnaryElementRelationLinkImpl extends RelationLinkImpl implements UnaryElementRelationLink {

+        /**

+         * The cached value of the '{@link #getParam1() <em>Param1</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getParam1()

+         * @generated

+         * @ordered

+         */

+        protected DefinedElement param1;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected UnaryElementRelationLinkImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return PartialinterpretationPackage.Literals.UNARY_ELEMENT_RELATION_LINK;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public DefinedElement getParam1() {

+                if (param1 != null && param1.eIsProxy()) {

+                        InternalEObject oldParam1 = (InternalEObject)param1;

+                        param1 = (DefinedElement)eResolveProxy(oldParam1);

+                        if (param1 != oldParam1) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK__PARAM1, oldParam1, param1));

+                        }

+                }

+                return param1;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public DefinedElement basicGetParam1() {

+                return param1;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setParam1(DefinedElement newParam1) {

+                DefinedElement oldParam1 = param1;

+                param1 = newParam1;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK__PARAM1, oldParam1, param1));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK__PARAM1:

+                                if (resolve) return getParam1();

+                                return basicGetParam1();

+                }

+                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.UNARY_ELEMENT_RELATION_LINK__PARAM1:

+                                setParam1((DefinedElement)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK__PARAM1:

+                                setParam1((DefinedElement)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK__PARAM1:

+                                return param1 != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //UnaryElementRelationLinkImpl

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
new file mode 100644
index 00000000..628d56eb
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -0,0 +1,282 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;

+

+import org.eclipse.emf.common.notify.Adapter;

+import org.eclipse.emf.common.notify.Notifier;

+

+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Adapter Factory</b> for the model.

+ * It provides an adapter <code>createXXX</code> method for each class of the model.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage

+ * @generated

+ */

+public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {

+        /**

+         * The cached model package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected static PartialinterpretationPackage modelPackage;

+

+        /**

+         * Creates an instance of the adapter factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialinterpretationAdapterFactory() {

+                if (modelPackage == null) {

+                        modelPackage = PartialinterpretationPackage.eINSTANCE;

+                }

+        }

+

+        /**

+         * Returns whether this factory is applicable for the type of the object.

+         * <!-- begin-user-doc -->

+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.

+         * <!-- end-user-doc -->

+         * @return whether this factory is applicable for the type of the object.

+         * @generated

+         */

+        @Override

+        public boolean isFactoryForType(Object object) {

+                if (object == modelPackage) {

+                        return true;

+                }

+                if (object instanceof EObject) {

+                        return ((EObject)object).eClass().getEPackage() == modelPackage;

+                }

+                return false;

+        }

+

+        /**

+         * The switch that delegates to the <code>createXXX</code> methods.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialinterpretationSwitch<Adapter> modelSwitch =

+                new PartialinterpretationSwitch<Adapter>() {

+                        @Override

+                        public Adapter casePartialInterpretation(PartialInterpretation object) {

+                                return createPartialInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialConstantInterpretation(PartialConstantInterpretation object) {

+                                return createPartialConstantInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialRelationInterpretation(PartialRelationInterpretation object) {

+                                return createPartialRelationInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialFunctionInterpretation(PartialFunctionInterpretation object) {

+                                return createPartialFunctionInterpretationAdapter();

+                        }

+                        @Override

+                        public Adapter casePartialTypeInterpratation(PartialTypeInterpratation object) {

+                                return createPartialTypeInterpratationAdapter();

+                        }

+                        @Override

+                        public Adapter caseRelationLink(RelationLink object) {

+                                return createRelationLinkAdapter();

+                        }

+                        @Override

+                        public Adapter caseUnaryElementRelationLink(UnaryElementRelationLink object) {

+                                return createUnaryElementRelationLinkAdapter();

+                        }

+                        @Override

+                        public Adapter caseBinaryElementRelationLink(BinaryElementRelationLink object) {

+                                return createBinaryElementRelationLinkAdapter();

+                        }

+                        @Override

+                        public Adapter caseNaryRelationLink(NaryRelationLink object) {

+                                return createNaryRelationLinkAdapter();

+                        }

+                        @Override

+                        public Adapter caseNaryRelationLinkElement(NaryRelationLinkElement object) {

+                                return createNaryRelationLinkElementAdapter();

+                        }

+                        @Override

+                        public Adapter defaultCase(EObject object) {

+                                return createEObjectAdapter();

+                        }

+                };

+

+        /**

+         * Creates an adapter for the <code>target</code>.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param target the object to adapt.

+         * @return the adapter for the <code>target</code>.

+         * @generated

+         */

+        @Override

+        public Adapter createAdapter(Notifier target) {

+                return modelSwitch.doSwitch((EObject)target);

+        }

+

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation <em>Partial 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.PartialInterpretation

+         * @generated

+         */

+        public Adapter createPartialInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant 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.PartialConstantInterpretation

+         * @generated

+         */

+        public Adapter createPartialConstantInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation <em>Partial Relation 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.PartialRelationInterpretation

+         * @generated

+         */

+        public Adapter createPartialRelationInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation <em>Partial Function 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.PartialFunctionInterpretation

+         * @generated

+         */

+        public Adapter createPartialFunctionInterpretationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation <em>Partial Type Interpratation</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.PartialTypeInterpratation

+         * @generated

+         */

+        public Adapter createPartialTypeInterpratationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink <em>Relation Link</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.RelationLink

+         * @generated

+         */

+        public Adapter createRelationLinkAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink <em>Unary Element Relation Link</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.UnaryElementRelationLink

+         * @generated

+         */

+        public Adapter createUnaryElementRelationLinkAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink <em>Binary Element Relation Link</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.BinaryElementRelationLink

+         * @generated

+         */

+        public Adapter createBinaryElementRelationLinkAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink <em>Nary Relation Link</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.NaryRelationLink

+         * @generated

+         */

+        public Adapter createNaryRelationLinkAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement <em>Nary Relation Link Element</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.NaryRelationLinkElement

+         * @generated

+         */

+        public Adapter createNaryRelationLinkElementAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for the default case.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @generated

+         */

+        public Adapter createEObjectAdapter() {

+                return null;

+        }

+

+} //PartialinterpretationAdapterFactory

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
new file mode 100644
index 00000000..f99b2d76
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -0,0 +1,302 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.*;

+

+import org.eclipse.emf.ecore.EObject;

+import org.eclipse.emf.ecore.EPackage;

+

+import org.eclipse.emf.ecore.util.Switch;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Switch</b> for the model's inheritance hierarchy.

+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}

+ * to invoke the <code>caseXXX</code> method for each class of the model,

+ * starting with the actual class of the object

+ * and proceeding up the inheritance hierarchy

+ * until a non-null result is returned,

+ * which is the result of the switch.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage

+ * @generated

+ */

+public class PartialinterpretationSwitch<T> extends Switch<T> {

+        /**

+         * The cached model package

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected static PartialinterpretationPackage modelPackage;

+

+        /**

+         * Creates an instance of the switch.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialinterpretationSwitch() {

+                if (modelPackage == null) {

+                        modelPackage = PartialinterpretationPackage.eINSTANCE;

+                }

+        }

+

+        /**

+         * Checks whether this is a switch for the given package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param ePackage the package in question.

+         * @return whether this is a switch for the given package.

+         * @generated

+         */

+        @Override

+        protected boolean isSwitchFor(EPackage ePackage) {

+                return ePackage == modelPackage;

+        }

+

+        /**

+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the first non-null result returned by a <code>caseXXX</code> call.

+         * @generated

+         */

+        @Override

+        protected T doSwitch(int classifierID, EObject theEObject) {

+                switch (classifierID) {

+                        case PartialinterpretationPackage.PARTIAL_INTERPRETATION: {

+                                PartialInterpretation partialInterpretation = (PartialInterpretation)theEObject;

+                                T result = casePartialInterpretation(partialInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: {

+                                PartialConstantInterpretation partialConstantInterpretation = (PartialConstantInterpretation)theEObject;

+                                T result = casePartialConstantInterpretation(partialConstantInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: {

+                                PartialRelationInterpretation partialRelationInterpretation = (PartialRelationInterpretation)theEObject;

+                                T result = casePartialRelationInterpretation(partialRelationInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: {

+                                PartialFunctionInterpretation partialFunctionInterpretation = (PartialFunctionInterpretation)theEObject;

+                                T result = casePartialFunctionInterpretation(partialFunctionInterpretation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: {

+                                PartialTypeInterpratation partialTypeInterpratation = (PartialTypeInterpratation)theEObject;

+                                T result = casePartialTypeInterpratation(partialTypeInterpratation);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.RELATION_LINK: {

+                                RelationLink relationLink = (RelationLink)theEObject;

+                                T result = caseRelationLink(relationLink);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: {

+                                UnaryElementRelationLink unaryElementRelationLink = (UnaryElementRelationLink)theEObject;

+                                T result = caseUnaryElementRelationLink(unaryElementRelationLink);

+                                if (result == null) result = caseRelationLink(unaryElementRelationLink);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: {

+                                BinaryElementRelationLink binaryElementRelationLink = (BinaryElementRelationLink)theEObject;

+                                T result = caseBinaryElementRelationLink(binaryElementRelationLink);

+                                if (result == null) result = caseRelationLink(binaryElementRelationLink);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.NARY_RELATION_LINK: {

+                                NaryRelationLink naryRelationLink = (NaryRelationLink)theEObject;

+                                T result = caseNaryRelationLink(naryRelationLink);

+                                if (result == null) result = caseRelationLink(naryRelationLink);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT: {

+                                NaryRelationLinkElement naryRelationLinkElement = (NaryRelationLinkElement)theEObject;

+                                T result = caseNaryRelationLinkElement(naryRelationLinkElement);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        default: return defaultCase(theEObject);

+                }

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial 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 Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialInterpretation(PartialInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Constant 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 Constant Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialConstantInterpretation(PartialConstantInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Relation 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 Relation Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialRelationInterpretation(PartialRelationInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Function 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 Function Interpretation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialFunctionInterpretation(PartialFunctionInterpretation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Type Interpratation</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 Type Interpratation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialTypeInterpratation(PartialTypeInterpratation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Relation Link</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>Relation Link</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseRelationLink(RelationLink object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Unary Element Relation Link</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>Unary Element Relation Link</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseUnaryElementRelationLink(UnaryElementRelationLink object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Binary Element Relation Link</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>Binary Element Relation Link</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseBinaryElementRelationLink(BinaryElementRelationLink object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Nary Relation Link</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>Nary Relation Link</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseNaryRelationLink(NaryRelationLink object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Nary Relation Link Element</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>Nary Relation Link Element</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseNaryRelationLinkElement(NaryRelationLinkElement object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch, but this is the last case anyway.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)

+         * @generated

+         */

+        @Override

+        public T defaultCase(EObject object) {

+                return null;

+        }

+

+} //PartialinterpretationSwitch