From 9e39671e47b12ef63178715b19d2ab23a9acdc11 Mon Sep 17 00:00:00 2001
From: OszkarSemerath
Date: Wed, 13 Jun 2018 11:15:12 +0200
Subject: Updated partial model representation
---
.../NaryRelationLinkElement.java | 28 +
.../PartialBooleanInterpretation.java | 17 +
.../PartialComplexTypeInterpretation.java | 69 +
.../PartialIntegerInterpretation.java | 17 +
.../PartialInterpretation.java | 276 +-
.../PartialPrimitiveInterpretation.java | 17 +
.../PartialRealInterpretation.java | 17 +
.../PartialStringInterpretation.java | 17 +
.../PartialTypeInterpratation.java | 48 +-
.../PartialinterpretationFactory.java | 63 +-
.../PartialinterpretationPackage.java | 1012 +++--
.../partialinterpretation/Scope.java | 106 +
.../impl/NaryRelationLinkElementImpl.java | 62 +
.../impl/PartialBooleanInterpretationImpl.java | 37 +
.../impl/PartialComplexTypeInterpretationImpl.java | 198 +
.../impl/PartialIntegerInterpretationImpl.java | 37 +
.../impl/PartialInterpretationImpl.java | 571 +--
.../impl/PartialPrimitiveInterpretationImpl.java | 37 +
.../impl/PartialRealInterpretationImpl.java | 37 +
.../impl/PartialStringInterpretationImpl.java | 37 +
.../impl/PartialTypeInterpratationImpl.java | 103 +-
.../impl/PartialinterpretationFactoryImpl.java | 77 +-
.../impl/PartialinterpretationPackageImpl.java | 341 +-
.../partialinterpretation/impl/ScopeImpl.java | 279 ++
.../util/PartialinterpretationAdapterFactory.java | 126 +
.../util/PartialinterpretationSwitch.java | 157 +
.../model/PartialInterpretation.aird | 4161 ++++++++++----------
.../model/PartialInterpretation.ecore | 64 +-
.../model/PartialInterpretation.genmodel | 31 +
.../model/PartialModelAnnotations.genmodel | 1 +
.../model/overview.png | Bin 0 -> 183150 bytes
.../model/relations.png | Bin 0 -> 142634 bytes
.../model/types.png | Bin 0 -> 221405 bytes
33 files changed, 4448 insertions(+), 3595 deletions(-)
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png
create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png
(limited to 'Solvers')
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
index 4b70390f..8dc06848 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/NaryRelationLinkElement.java
@@ -2,6 +2,7 @@
*/
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
import org.eclipse.emf.ecore.EObject;
/**
@@ -14,6 +15,7 @@ import org.eclipse.emf.ecore.EObject;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getIndex Index}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam Param}
*
*
* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement()
@@ -47,4 +49,30 @@ public interface NaryRelationLinkElement extends EObject {
*/
void setIndex(int value);
+ /**
+ * Returns the value of the 'Param' reference.
+ *
+ *
+ * If the meaning of the 'Param' reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Param' reference.
+ * @see #setParam(DefinedElement)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getNaryRelationLinkElement_Param()
+ * @model required="true"
+ * @generated
+ */
+ DefinedElement getParam();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam Param}' reference.
+ *
+ *
+ * @param value the new value of the 'Param' reference.
+ * @see #getParam()
+ * @generated
+ */
+ void setParam(DefinedElement value);
+
} // NaryRelationLinkElement
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java
new file mode 100644
index 00000000..3f96fa10
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialBooleanInterpretation.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+
+/**
+ *
+ * A representation of the model object 'Partial Boolean Interpretation'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialBooleanInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialBooleanInterpretation extends PartialPrimitiveInterpretation {
+} // PartialBooleanInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java
new file mode 100644
index 00000000..c4431b18
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialComplexTypeInterpretation.java
@@ -0,0 +1,69 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
+
+import org.eclipse.emf.common.util.EList;
+
+/**
+ *
+ * A representation of the model object 'Partial Complex Type Interpretation'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation Supertype Interpretation}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf Interpretation Of}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialComplexTypeInterpretation extends PartialTypeInterpratation {
+ /**
+ * Returns the value of the 'Supertype Interpretation' reference list.
+ * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation}.
+ *
+ *
+ * If the meaning of the 'Supertype Interpretation' reference list isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Supertype Interpretation' reference list.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_SupertypeInterpretation()
+ * @model
+ * @generated
+ */
+ EList getSupertypeInterpretation();
+
+ /**
+ * Returns the value of the 'Interpretation Of' reference.
+ *
+ *
+ * If the meaning of the 'Interpretation Of' reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Interpretation Of' reference.
+ * @see #setInterpretationOf(TypeDeclaration)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialComplexTypeInterpretation_InterpretationOf()
+ * @model required="true"
+ * @generated
+ */
+ TypeDeclaration getInterpretationOf();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf Interpretation Of}' reference.
+ *
+ *
+ * @param value the new value of the 'Interpretation Of' reference.
+ * @see #getInterpretationOf()
+ * @generated
+ */
+ void setInterpretationOf(TypeDeclaration value);
+
+} // PartialComplexTypeInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java
new file mode 100644
index 00000000..bbd43608
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialIntegerInterpretation.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+
+/**
+ *
+ * A representation of the model object 'Partial Integer Interpretation'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialIntegerInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialIntegerInterpretation extends PartialPrimitiveInterpretation {
+} // PartialIntegerInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
index d0f77a52..098cc15b 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -25,21 +25,11 @@ import org.eclipse.emf.ecore.EObject;
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation Partialfunctioninterpretation}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements Open World Elements}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes Scopes}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes Open World Element Prototypes}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement Stringelement}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements Stringelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements Realelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements Integerelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements Booleanelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}
*
*
* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation()
@@ -154,74 +144,20 @@ public interface PartialInterpretation extends EObject {
EList getPartialtypeinterpratation();
/**
- * Returns the value of the 'Min New Elements' attribute.
- * The default value is "0"
.
- *
- *
- * If the meaning of the 'Min New Elements' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Min New Elements' 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 Min New Elements}' attribute.
- *
- *
- * @param value the new value of the 'Min New Elements' attribute.
- * @see #getMinNewElements()
- * @generated
- */
- void setMinNewElements(int value);
-
- /**
- * Returns the value of the 'Max New Elements' attribute.
- * The default value is "0"
.
- *
- *
- * If the meaning of the 'Max New Elements' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Max New Elements' 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 Max New Elements}' attribute.
- *
- *
- * @param value the new value of the 'Max New Elements' attribute.
- * @see #getMaxNewElements()
- * @generated
- */
- void setMaxNewElements(int value);
-
- /**
- * Returns the value of the 'Open World Element Prototypes' containment reference list.
+ * Returns the value of the 'Open World Elements' containment reference list.
* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
*
*
- * If the meaning of the 'Open World Element Prototypes' containment reference list isn't clear,
+ * If the meaning of the 'Open World Elements' containment reference list isn't clear,
* there really should be more of a description here...
*
*
- * @return the value of the 'Open World Element Prototypes' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes()
+ * @return the value of the 'Open World Elements' containment reference list.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElements()
* @model containment="true"
* @generated
*/
- EList getOpenWorldElementPrototypes();
+ EList getOpenWorldElements();
/**
* Returns the value of the 'Problem Conainer' containment reference.
@@ -250,209 +186,73 @@ public interface PartialInterpretation extends EObject {
void setProblemConainer(LogicProblem value);
/**
- * Returns the value of the 'Stringelement' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.
+ * Returns the value of the 'Scopes' containment reference list.
+ * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}.
*
*
- * If the meaning of the 'Stringelement' containment reference list isn't clear,
+ * If the meaning of the 'Scopes' containment reference list isn't clear,
* there really should be more of a description here...
*
*
- * @return the value of the 'Stringelement' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement()
+ * @return the value of the 'Scopes' containment reference list.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Scopes()
* @model containment="true"
* @generated
*/
- EList getStringelement();
+ EList getScopes();
/**
- * Returns the value of the 'Stringelements' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.
- *
- *
- * If the meaning of the 'Stringelements' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Stringelements' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements()
- * @model containment="true"
- * @generated
- */
- EList getStringelements();
-
- /**
- * Returns the value of the 'Realelements' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}.
- *
- *
- * If the meaning of the 'Realelements' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Realelements' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements()
- * @model containment="true"
- * @generated
- */
- EList getRealelements();
-
- /**
- * Returns the value of the 'Integerelements' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}.
- *
- *
- * If the meaning of the 'Integerelements' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Integerelements' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements()
- * @model containment="true"
- * @generated
- */
- EList getIntegerelements();
-
- /**
- * Returns the value of the 'Booleanelements' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}.
- *
- *
- * If the meaning of the 'Booleanelements' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Booleanelements' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements()
- * @model containment="true"
- * @generated
- */
- EList getBooleanelements();
-
- /**
- * Returns the value of the 'Max New Integers' attribute.
- *
- *
- * If the meaning of the 'Max New Integers' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Max New Integers' attribute.
- * @see #setMaxNewIntegers(int)
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers()
- * @model required="true"
- * @generated
- */
- int getMaxNewIntegers();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}' attribute.
- *
- *
- * @param value the new value of the 'Max New Integers' attribute.
- * @see #getMaxNewIntegers()
- * @generated
- */
- void setMaxNewIntegers(int value);
-
- /**
- * Returns the value of the 'Max New Reals' attribute.
- *
- *
- * If the meaning of the 'Max New Reals' attribute isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Max New Reals' attribute.
- * @see #setMaxNewReals(int)
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals()
- * @model required="true"
- * @generated
- */
- int getMaxNewReals();
-
- /**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}' attribute.
- *
- *
- * @param value the new value of the 'Max New Reals' attribute.
- * @see #getMaxNewReals()
- * @generated
- */
- void setMaxNewReals(int value);
-
- /**
- * Returns the value of the 'Max New Strings' attribute.
+ * Returns the value of the 'Min New Elements' attribute.
+ * The default value is "0"
.
*
*
- * If the meaning of the 'Max New Strings' attribute isn't clear,
+ * If the meaning of the 'Min New Elements' attribute isn't clear,
* there really should be more of a description here...
*
*
- * @return the value of the 'Max New Strings' attribute.
- * @see #setMaxNewStrings(int)
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings()
- * @model required="true"
+ * @return the value of the 'Min New Elements' attribute.
+ * @see #setMinNewElements(int)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements()
+ * @model default="0" required="true"
* @generated
*/
- int getMaxNewStrings();
+ int getMinNewElements();
/**
- * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}' attribute.
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}' attribute.
*
*
- * @param value the new value of the 'Max New Strings' attribute.
- * @see #getMaxNewStrings()
- * @generated
- */
- void setMaxNewStrings(int value);
-
- /**
- * Returns the value of the 'New Strings' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}.
- *
- *
- * If the meaning of the 'New Strings' containment reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'New Strings' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings()
- * @model containment="true"
+ * @param value the new value of the 'Min New Elements' attribute.
+ * @see #getMinNewElements()
* @generated
*/
- EList getNewStrings();
+ void setMinNewElements(int value);
/**
- * Returns the value of the 'New Reals' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}.
+ * Returns the value of the 'Max New Elements' attribute.
+ * The default value is "-1"
.
*
*
- * If the meaning of the 'New Reals' containment reference list isn't clear,
+ * If the meaning of the 'Max New Elements' attribute isn't clear,
* there really should be more of a description here...
*
*
- * @return the value of the 'New Reals' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals()
- * @model containment="true"
+ * @return the value of the 'Max New Elements' attribute.
+ * @see #setMaxNewElements(int)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements()
+ * @model default="-1" required="true"
* @generated
*/
- EList getNewReals();
+ int getMaxNewElements();
/**
- * Returns the value of the 'New Integers' containment reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}.
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}' attribute.
*
- *
- * If the meaning of the 'New Integers' containment reference list isn't clear,
- * there really should be more of a description here...
- *
*
- * @return the value of the 'New Integers' containment reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers()
- * @model containment="true"
+ * @param value the new value of the 'Max New Elements' attribute.
+ * @see #getMaxNewElements()
* @generated
*/
- EList getNewIntegers();
+ void setMaxNewElements(int value);
} // PartialInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java
new file mode 100644
index 00000000..0efebd6f
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialPrimitiveInterpretation.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+
+/**
+ *
+ * A representation of the model object 'Partial Primitive Interpretation'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialPrimitiveInterpretation()
+ * @model abstract="true"
+ * @generated
+ */
+public interface PartialPrimitiveInterpretation extends PartialTypeInterpratation {
+} // PartialPrimitiveInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java
new file mode 100644
index 00000000..e4ce4a00
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialRealInterpretation.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+
+/**
+ *
+ * A representation of the model object 'Partial Real Interpretation'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialRealInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialRealInterpretation extends PartialPrimitiveInterpretation {
+} // PartialRealInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java
new file mode 100644
index 00000000..372b3ee3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialStringInterpretation.java
@@ -0,0 +1,17 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+
+/**
+ *
+ * A representation of the model object 'Partial String Interpretation'.
+ *
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialStringInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialStringInterpretation extends PartialPrimitiveInterpretation {
+} // PartialStringInterpretation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
index ff313b42..8e2def20 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialTypeInterpratation.java
@@ -3,8 +3,6 @@
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
-
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
@@ -17,42 +15,14 @@ import org.eclipse.emf.ecore.EObject;
* The following features are supported:
*
*
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf Interpretation Of}
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation Supertype Interpretation}
*
*
* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation()
- * @model
+ * @model abstract="true"
* @generated
*/
public interface PartialTypeInterpratation extends EObject {
- /**
- * Returns the value of the 'Interpretation Of' reference.
- *
- *
- * If the meaning of the 'Interpretation Of' reference isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Interpretation Of' 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 Interpretation Of}' reference.
- *
- *
- * @param value the new value of the 'Interpretation Of' reference.
- * @see #getInterpretationOf()
- * @generated
- */
- void setInterpretationOf(TypeDeclaration value);
-
/**
* Returns the value of the 'Elements' reference list.
* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
@@ -69,20 +39,4 @@ public interface PartialTypeInterpratation extends EObject {
*/
EList getElements();
- /**
- * Returns the value of the 'Supertype Interpretation' reference list.
- * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation}.
- *
- *
- * If the meaning of the 'Supertype Interpretation' reference list isn't clear,
- * there really should be more of a description here...
- *
- *
- * @return the value of the 'Supertype Interpretation' reference list.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialTypeInterpratation_SupertypeInterpretation()
- * @model
- * @generated
- */
- EList getSupertypeInterpretation();
-
} // PartialTypeInterpratation
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
index da71e230..df29f0a4 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationFactory.java
@@ -57,15 +57,6 @@ public interface PartialinterpretationFactory extends EFactory {
*/
PartialFunctionInterpretation createPartialFunctionInterpretation();
- /**
- * Returns a new object of class 'Partial Type Interpratation'.
- *
- *
- * @return a new object of class 'Partial Type Interpratation'.
- * @generated
- */
- PartialTypeInterpratation createPartialTypeInterpratation();
-
/**
* Returns a new object of class 'Unary Element Relation Link'.
*
@@ -138,6 +129,60 @@ public interface PartialinterpretationFactory extends EFactory {
*/
StringElement createStringElement();
+ /**
+ * Returns a new object of class 'Scope'.
+ *
+ *
+ * @return a new object of class 'Scope'.
+ * @generated
+ */
+ Scope createScope();
+
+ /**
+ * Returns a new object of class 'Partial Boolean Interpretation'.
+ *
+ *
+ * @return a new object of class 'Partial Boolean Interpretation'.
+ * @generated
+ */
+ PartialBooleanInterpretation createPartialBooleanInterpretation();
+
+ /**
+ * Returns a new object of class 'Partial Integer Interpretation'.
+ *
+ *
+ * @return a new object of class 'Partial Integer Interpretation'.
+ * @generated
+ */
+ PartialIntegerInterpretation createPartialIntegerInterpretation();
+
+ /**
+ * Returns a new object of class 'Partial Real Interpretation'.
+ *
+ *
+ * @return a new object of class 'Partial Real Interpretation'.
+ * @generated
+ */
+ PartialRealInterpretation createPartialRealInterpretation();
+
+ /**
+ * Returns a new object of class 'Partial String Interpretation'.
+ *
+ *
+ * @return a new object of class 'Partial String Interpretation'.
+ * @generated
+ */
+ PartialStringInterpretation createPartialStringInterpretation();
+
+ /**
+ * Returns a new object of class 'Partial Complex Type Interpretation'.
+ *
+ *
+ * @return a new object of class 'Partial Complex Type Interpretation'.
+ * @generated
+ */
+ PartialComplexTypeInterpretation createPartialComplexTypeInterpretation();
+
/**
* Returns the package supported by this factory.
*
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
index f95262f9..ba04bca8 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java
@@ -122,31 +122,13 @@ public interface PartialinterpretationPackage extends EPackage {
int PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = 5;
/**
- * The feature id for the 'Min New Elements' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 6;
-
- /**
- * The feature id for the 'Max New Elements' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 7;
-
- /**
- * The feature id for the 'Open World Element Prototypes' containment reference list.
+ * The feature id for the 'Open World Elements' containment reference list.
*
*
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = 8;
+ int PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = 6;
/**
* The feature id for the 'Problem Conainer' containment reference.
@@ -155,106 +137,34 @@ public interface PartialinterpretationPackage extends EPackage {
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 9;
-
- /**
- * The feature id for the 'Stringelement' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__STRINGELEMENT = 10;
-
- /**
- * The feature id for the 'Stringelements' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__STRINGELEMENTS = 11;
-
- /**
- * The feature id for the 'Realelements' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__REALELEMENTS = 12;
-
- /**
- * The feature id for the 'Integerelements' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__INTEGERELEMENTS = 13;
-
- /**
- * The feature id for the 'Booleanelements' containment reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__BOOLEANELEMENTS = 14;
-
- /**
- * The feature id for the 'Max New Integers' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = 15;
-
- /**
- * The feature id for the 'Max New Reals' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__MAX_NEW_REALS = 16;
-
- /**
- * The feature id for the 'Max New Strings' attribute.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17;
+ int PARTIAL_INTERPRETATION__PROBLEM_CONAINER = 7;
/**
- * The feature id for the 'New Strings' containment reference list.
+ * The feature id for the 'Scopes' containment reference list.
*
*
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION__NEW_STRINGS = 18;
+ int PARTIAL_INTERPRETATION__SCOPES = 8;
/**
- * The feature id for the 'New Reals' containment reference list.
+ * The feature id for the 'Min New Elements' attribute.
*
*
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION__NEW_REALS = 19;
+ int PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = 9;
/**
- * The feature id for the 'New Integers' containment reference list.
+ * The feature id for the 'Max New Elements' attribute.
*
*
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20;
+ int PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = 10;
/**
* The number of structural features of the 'Partial Interpretation' class.
@@ -263,7 +173,7 @@ public interface PartialinterpretationPackage extends EPackage {
* @generated
* @ordered
*/
- int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21;
+ int PARTIAL_INTERPRETATION_FEATURE_COUNT = 11;
/**
* The number of operations of the 'Partial Interpretation' class.
@@ -422,15 +332,6 @@ public interface PartialinterpretationPackage extends EPackage {
*/
int PARTIAL_TYPE_INTERPRATATION = 4;
- /**
- * The feature id for the 'Interpretation Of' reference.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = 0;
-
/**
* The feature id for the 'Elements' reference list.
*
@@ -438,16 +339,7 @@ public interface PartialinterpretationPackage extends EPackage {
* @generated
* @ordered
*/
- int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 1;
-
- /**
- * The feature id for the 'Supertype Interpretation' reference list.
- *
- *
- * @generated
- * @ordered
- */
- int PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION = 2;
+ int PARTIAL_TYPE_INTERPRATATION__ELEMENTS = 0;
/**
* The number of structural features of the 'Partial Type Interpratation' class.
@@ -456,7 +348,7 @@ public interface PartialinterpretationPackage extends EPackage {
* @generated
* @ordered
*/
- int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 3;
+ int PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT = 1;
/**
* The number of operations of the 'Partial Type Interpratation' class.
@@ -634,6 +526,15 @@ public interface PartialinterpretationPackage extends EPackage {
*/
int NARY_RELATION_LINK_ELEMENT__INDEX = 0;
+ /**
+ * The feature id for the 'Param' reference.
+ *
+ *
+ * @generated
+ * @ordered
+ */
+ int NARY_RELATION_LINK_ELEMENT__PARAM = 1;
+
/**
* The number of structural features of the 'Nary Relation Link Element' class.
*
@@ -641,7 +542,7 @@ public interface PartialinterpretationPackage extends EPackage {
* @generated
* @ordered
*/
- int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 1;
+ int NARY_RELATION_LINK_ELEMENT_FEATURE_COUNT = 2;
/**
* The number of operations of the 'Nary Relation Link Element' class.
@@ -966,384 +867,549 @@ public interface PartialinterpretationPackage extends EPackage {
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation Partial Interpretation}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl Scope}' class.
*
*
- * @return the meta object for class 'Partial Interpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope()
* @generated
*/
- EClass getPartialInterpretation();
+ int SCOPE = 15;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem Problem}'.
+ * The feature id for the 'Min New Elements' attribute.
*
*
- * @return the meta object for the reference 'Problem'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Problem();
+ int SCOPE__MIN_NEW_ELEMENTS = 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation Partialconstantinterpretation}'.
+ * The feature id for the 'Max New Elements' attribute.
*
*
- * @return the meta object for the containment reference list 'Partialconstantinterpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Partialconstantinterpretation();
+ int SCOPE__MAX_NEW_ELEMENTS = 1;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation Partialrelationinterpretation}'.
+ * The feature id for the 'Target Type Interpretation' reference.
*
*
- * @return the meta object for the containment reference list 'Partialrelationinterpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Partialrelationinterpretation();
+ int SCOPE__TARGET_TYPE_INTERPRETATION = 2;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation Partialfunctioninterpretation}'.
+ * The number of structural features of the 'Scope' class.
*
*
- * @return the meta object for the containment reference list 'Partialfunctioninterpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Partialfunctioninterpretation();
+ int SCOPE_FEATURE_COUNT = 3;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements New Elements}'.
+ * The number of operations of the 'Scope' class.
*
*
- * @return the meta object for the containment reference list 'New Elements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_NewElements();
+ int SCOPE_OPERATION_COUNT = 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation Partialtypeinterpratation}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl Partial Primitive Interpretation}' class.
*
*
- * @return the meta object for the containment reference list 'Partialtypeinterpratation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation()
- * @see #getPartialInterpretation()
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation()
* @generated
*/
- EReference getPartialInterpretation_Partialtypeinterpratation();
+ int PARTIAL_PRIMITIVE_INTERPRETATION = 16;
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the attribute 'Min New Elements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EAttribute getPartialInterpretation_MinNewElements();
+ int PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS;
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements Max New Elements}'.
+ * The number of structural features of the 'Partial Primitive Interpretation' class.
*
*
- * @return the meta object for the attribute 'Max New Elements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EAttribute getPartialInterpretation_MaxNewElements();
+ int PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes Open World Element Prototypes}'.
+ * The number of operations of the 'Partial Primitive Interpretation' class.
*
*
- * @return the meta object for the containment reference list 'Open World Element Prototypes'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_OpenWorldElementPrototypes();
+ int PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0;
/**
- * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl Partial Boolean Interpretation}' class.
*
*
- * @return the meta object for the containment reference 'Problem Conainer'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer()
- * @see #getPartialInterpretation()
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation()
* @generated
*/
- EReference getPartialInterpretation_ProblemConainer();
+ int PARTIAL_BOOLEAN_INTERPRETATION = 17;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement Stringelement}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the containment reference list 'Stringelement'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Stringelement();
+ int PARTIAL_BOOLEAN_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements Stringelements}'.
+ * The number of structural features of the 'Partial Boolean Interpretation' class.
*
*
- * @return the meta object for the containment reference list 'Stringelements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Stringelements();
+ int PARTIAL_BOOLEAN_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements Realelements}'.
+ * The number of operations of the 'Partial Boolean Interpretation' class.
*
*
- * @return the meta object for the containment reference list 'Realelements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Realelements();
+ int PARTIAL_BOOLEAN_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements Integerelements}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl Partial Integer Interpretation}' class.
*
*
- * @return the meta object for the containment reference list 'Integerelements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements()
- * @see #getPartialInterpretation()
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation()
* @generated
*/
- EReference getPartialInterpretation_Integerelements();
+ int PARTIAL_INTEGER_INTERPRETATION = 18;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements Booleanelements}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the containment reference list 'Booleanelements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_Booleanelements();
+ int PARTIAL_INTEGER_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers Max New Integers}'.
+ * The number of structural features of the 'Partial Integer Interpretation' class.
*
*
- * @return the meta object for the attribute 'Max New Integers'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EAttribute getPartialInterpretation_MaxNewIntegers();
+ int PARTIAL_INTEGER_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals Max New Reals}'.
+ * The number of operations of the 'Partial Integer Interpretation' class.
*
*
- * @return the meta object for the attribute 'Max New Reals'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EAttribute getPartialInterpretation_MaxNewReals();
+ int PARTIAL_INTEGER_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;
/**
- * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings Max New Strings}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl Partial Real Interpretation}' class.
*
*
- * @return the meta object for the attribute 'Max New Strings'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings()
- * @see #getPartialInterpretation()
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation()
* @generated
*/
- EAttribute getPartialInterpretation_MaxNewStrings();
+ int PARTIAL_REAL_INTERPRETATION = 19;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings New Strings}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the containment reference list 'New Strings'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_NewStrings();
+ int PARTIAL_REAL_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals New Reals}'.
+ * The number of structural features of the 'Partial Real Interpretation' class.
*
*
- * @return the meta object for the containment reference list 'New Reals'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_NewReals();
+ int PARTIAL_REAL_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers New Integers}'.
+ * The number of operations of the 'Partial Real Interpretation' class.
*
*
- * @return the meta object for the containment reference list 'New Integers'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers()
- * @see #getPartialInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialInterpretation_NewIntegers();
+ int PARTIAL_REAL_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl Partial String Interpretation}' class.
*
*
- * @return the meta object for class 'Partial Constant Interpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation()
* @generated
*/
- EClass getPartialConstantInterpretation();
+ int PARTIAL_STRING_INTERPRETATION = 20;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf Interpretation Of}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the reference 'Interpretation Of'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation#getInterpretationOf()
- * @see #getPartialConstantInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialConstantInterpretation_InterpretationOf();
+ int PARTIAL_STRING_INTERPRETATION__ELEMENTS = PARTIAL_PRIMITIVE_INTERPRETATION__ELEMENTS;
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation Partial Relation Interpretation}'.
+ * The number of structural features of the 'Partial String Interpretation' class.
*
*
- * @return the meta object for class 'Partial Relation Interpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation
* @generated
+ * @ordered
*/
- EClass getPartialRelationInterpretation();
+ int PARTIAL_STRING_INTERPRETATION_FEATURE_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf Interpretation Of}'.
+ * The number of operations of the 'Partial String Interpretation' class.
*
*
- * @return the meta object for the reference 'Interpretation Of'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getInterpretationOf()
- * @see #getPartialRelationInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialRelationInterpretation_InterpretationOf();
+ int PARTIAL_STRING_INTERPRETATION_OPERATION_COUNT = PARTIAL_PRIMITIVE_INTERPRETATION_OPERATION_COUNT + 0;
+
/**
- * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks Relationlinks}'.
+ * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl Partial Complex Type Interpretation}' class.
*
*
- * @return the meta object for the containment reference list 'Relationlinks'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getRelationlinks()
- * @see #getPartialRelationInterpretation()
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation()
* @generated
*/
- EReference getPartialRelationInterpretation_Relationlinks();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION = 21;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1 Param1}'.
+ * The feature id for the 'Elements' reference list.
*
*
- * @return the meta object for the reference 'Param1'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam1()
- * @see #getPartialRelationInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialRelationInterpretation_Param1();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION__ELEMENTS = PARTIAL_TYPE_INTERPRATATION__ELEMENTS;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2 Param2}'.
+ * The feature id for the 'Supertype Interpretation' reference list.
*
*
- * @return the meta object for the reference 'Param2'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation#getParam2()
- * @see #getPartialRelationInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialRelationInterpretation_Param2();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 0;
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation Partial Function Interpretation}'.
+ * The feature id for the 'Interpretation Of' reference.
*
*
- * @return the meta object for class 'Partial Function Interpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation
* @generated
+ * @ordered
*/
- EClass getPartialFunctionInterpretation();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 1;
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf Interpretation Of}'.
+ * The number of structural features of the 'Partial Complex Type Interpretation' class.
*
*
- * @return the meta object for the reference 'Interpretation Of'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation#getInterpretationOf()
- * @see #getPartialFunctionInterpretation()
* @generated
+ * @ordered
*/
- EReference getPartialFunctionInterpretation_InterpretationOf();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION_FEATURE_COUNT = PARTIAL_TYPE_INTERPRATATION_FEATURE_COUNT + 2;
/**
- * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation Partial Type Interpratation}'.
+ * The number of operations of the 'Partial Complex Type Interpretation' class.
*
*
- * @return the meta object for class 'Partial Type Interpratation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation
* @generated
+ * @ordered
*/
- EClass getPartialTypeInterpratation();
+ int PARTIAL_COMPLEX_TYPE_INTERPRETATION_OPERATION_COUNT = PARTIAL_TYPE_INTERPRATATION_OPERATION_COUNT + 0;
+
/**
- * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf Interpretation Of}'.
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation Partial Interpretation}'.
*
*
- * @return the meta object for the reference 'Interpretation Of'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getInterpretationOf()
- * @see #getPartialTypeInterpratation()
+ * @return the meta object for class 'Partial Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
* @generated
*/
- EReference getPartialTypeInterpratation_InterpretationOf();
+ EClass getPartialInterpretation();
/**
- * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}'.
+ * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem Problem}'.
*
*
- * @return the meta object for the reference list 'Elements'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements()
- * @see #getPartialTypeInterpratation()
+ * @return the meta object for the reference 'Problem'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem()
+ * @see #getPartialInterpretation()
* @generated
*/
- EReference getPartialTypeInterpratation_Elements();
+ EReference getPartialInterpretation_Problem();
/**
- * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation Supertype Interpretation}'.
+ * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation Partialconstantinterpretation}'.
*
*
- * @return the meta object for the reference list 'Supertype Interpretation'.
- * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getSupertypeInterpretation()
+ * @return the meta object for the containment reference list 'Partialconstantinterpretation'.
+ * @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 Partialrelationinterpretation}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Partialrelationinterpretation'.
+ * @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 Partialfunctioninterpretation}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Partialfunctioninterpretation'.
+ * @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 New Elements}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'New Elements'.
+ * @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 Partialtypeinterpratation}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Partialtypeinterpratation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation()
+ * @see #getPartialInterpretation()
+ * @generated
+ */
+ EReference getPartialInterpretation_Partialtypeinterpratation();
+
+ /**
+ * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements Open World Elements}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Open World Elements'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements()
+ * @see #getPartialInterpretation()
+ * @generated
+ */
+ EReference getPartialInterpretation_OpenWorldElements();
+
+ /**
+ * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer Problem Conainer}'.
+ *
+ *
+ * @return the meta object for the containment reference 'Problem Conainer'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer()
+ * @see #getPartialInterpretation()
+ * @generated
+ */
+ EReference getPartialInterpretation_ProblemConainer();
+
+ /**
+ * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes Scopes}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Scopes'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes()
+ * @see #getPartialInterpretation()
+ * @generated
+ */
+ EReference getPartialInterpretation_Scopes();
+
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements Min New Elements}'.
+ *
+ *
+ * @return the meta object for the attribute 'Min New Elements'.
+ * @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 Max New Elements}'.
+ *
+ *
+ * @return the meta object for the attribute 'Max New Elements'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements()
+ * @see #getPartialInterpretation()
+ * @generated
+ */
+ EAttribute getPartialInterpretation_MaxNewElements();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation Partial Constant Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Constant Interpretation'.
+ * @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 Interpretation Of}'.
+ *
+ *
+ * @return the meta object for the reference 'Interpretation Of'.
+ * @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 Partial Relation Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Relation Interpretation'.
+ * @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 Interpretation Of}'.
+ *
+ *
+ * @return the meta object for the reference 'Interpretation Of'.
+ * @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 Relationlinks}'.
+ *
+ *
+ * @return the meta object for the containment reference list 'Relationlinks'.
+ * @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 Param1}'.
+ *
+ *
+ * @return the meta object for the reference 'Param1'.
+ * @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 Param2}'.
+ *
+ *
+ * @return the meta object for the reference 'Param2'.
+ * @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 Partial Function Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Function Interpretation'.
+ * @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 Interpretation Of}'.
+ *
+ *
+ * @return the meta object for the reference 'Interpretation Of'.
+ * @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 Partial Type Interpratation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Type Interpratation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation
+ * @generated
+ */
+ EClass getPartialTypeInterpratation();
+
+ /**
+ * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements Elements}'.
+ *
+ *
+ * @return the meta object for the reference list 'Elements'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation#getElements()
* @see #getPartialTypeInterpratation()
* @generated
*/
- EReference getPartialTypeInterpratation_SupertypeInterpretation();
+ EReference getPartialTypeInterpratation_Elements();
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink Relation Link}'.
@@ -1450,6 +1516,17 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EAttribute getNaryRelationLinkElement_Index();
+ /**
+ * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam Param}'.
+ *
+ *
+ * @return the meta object for the reference 'Param'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement#getParam()
+ * @see #getNaryRelationLinkElement()
+ * @generated
+ */
+ EReference getNaryRelationLinkElement_Param();
+
/**
* Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement Primitive Element}'.
*
@@ -1555,6 +1632,131 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EAttribute getStringElement_Value();
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope Scope}'.
+ *
+ *
+ * @return the meta object for class 'Scope'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope
+ * @generated
+ */
+ EClass getScope();
+
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}'.
+ *
+ *
+ * @return the meta object for the attribute 'Min New Elements'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements()
+ * @see #getScope()
+ * @generated
+ */
+ EAttribute getScope_MinNewElements();
+
+ /**
+ * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}'.
+ *
+ *
+ * @return the meta object for the attribute 'Max New Elements'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements()
+ * @see #getScope()
+ * @generated
+ */
+ EAttribute getScope_MaxNewElements();
+
+ /**
+ * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}'.
+ *
+ *
+ * @return the meta object for the reference 'Target Type Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation()
+ * @see #getScope()
+ * @generated
+ */
+ EReference getScope_TargetTypeInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation Partial Primitive Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Primitive Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation
+ * @generated
+ */
+ EClass getPartialPrimitiveInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation Partial Boolean Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Boolean Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation
+ * @generated
+ */
+ EClass getPartialBooleanInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation Partial Integer Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Integer Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation
+ * @generated
+ */
+ EClass getPartialIntegerInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation Partial Real Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Real Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation
+ * @generated
+ */
+ EClass getPartialRealInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation Partial String Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial String Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation
+ * @generated
+ */
+ EClass getPartialStringInterpretation();
+
+ /**
+ * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation Partial Complex Type Interpretation}'.
+ *
+ *
+ * @return the meta object for class 'Partial Complex Type Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation
+ * @generated
+ */
+ EClass getPartialComplexTypeInterpretation();
+
+ /**
+ * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation Supertype Interpretation}'.
+ *
+ *
+ * @return the meta object for the reference list 'Supertype Interpretation'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getSupertypeInterpretation()
+ * @see #getPartialComplexTypeInterpretation()
+ * @generated
+ */
+ EReference getPartialComplexTypeInterpretation_SupertypeInterpretation();
+
+ /**
+ * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf Interpretation Of}'.
+ *
+ *
+ * @return the meta object for the reference 'Interpretation Of'.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation#getInterpretationOf()
+ * @see #getPartialComplexTypeInterpretation()
+ * @generated
+ */
+ EReference getPartialComplexTypeInterpretation_InterpretationOf();
+
/**
* Returns the factory that creates the instances of the model.
*
@@ -1637,28 +1839,12 @@ public interface PartialinterpretationPackage extends EPackage {
EReference PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION = eINSTANCE.getPartialInterpretation_Partialtypeinterpratation();
/**
- * The meta object literal for the 'Min New Elements' attribute feature.
+ * The meta object literal for the 'Open World Elements' containment reference list feature.
*
*
* @generated
*/
- EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements();
-
- /**
- * The meta object literal for the 'Max New Elements' attribute feature.
- *
- *
- * @generated
- */
- EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements();
-
- /**
- * The meta object literal for the 'Open World Element Prototypes' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES = eINSTANCE.getPartialInterpretation_OpenWorldElementPrototypes();
+ EReference PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS = eINSTANCE.getPartialInterpretation_OpenWorldElements();
/**
* The meta object literal for the 'Problem Conainer' containment reference feature.
@@ -1669,92 +1855,28 @@ public interface PartialinterpretationPackage extends EPackage {
EReference PARTIAL_INTERPRETATION__PROBLEM_CONAINER = eINSTANCE.getPartialInterpretation_ProblemConainer();
/**
- * The meta object literal for the 'Stringelement' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__STRINGELEMENT = eINSTANCE.getPartialInterpretation_Stringelement();
-
- /**
- * The meta object literal for the 'Stringelements' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__STRINGELEMENTS = eINSTANCE.getPartialInterpretation_Stringelements();
-
- /**
- * The meta object literal for the 'Realelements' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__REALELEMENTS = eINSTANCE.getPartialInterpretation_Realelements();
-
- /**
- * The meta object literal for the 'Integerelements' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__INTEGERELEMENTS = eINSTANCE.getPartialInterpretation_Integerelements();
-
- /**
- * The meta object literal for the 'Booleanelements' containment reference list feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_INTERPRETATION__BOOLEANELEMENTS = eINSTANCE.getPartialInterpretation_Booleanelements();
-
- /**
- * The meta object literal for the 'Max New Integers' attribute feature.
- *
- *
- * @generated
- */
- EAttribute PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS = eINSTANCE.getPartialInterpretation_MaxNewIntegers();
-
- /**
- * The meta object literal for the 'Max New Reals' attribute feature.
- *
- *
- * @generated
- */
- EAttribute PARTIAL_INTERPRETATION__MAX_NEW_REALS = eINSTANCE.getPartialInterpretation_MaxNewReals();
-
- /**
- * The meta object literal for the 'Max New Strings' attribute feature.
- *
- *
- * @generated
- */
- EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings();
-
- /**
- * The meta object literal for the 'New Strings' containment reference list feature.
+ * The meta object literal for the 'Scopes' containment reference list feature.
*
*
* @generated
*/
- EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings();
+ EReference PARTIAL_INTERPRETATION__SCOPES = eINSTANCE.getPartialInterpretation_Scopes();
/**
- * The meta object literal for the 'New Reals' containment reference list feature.
+ * The meta object literal for the 'Min New Elements' attribute feature.
*
*
* @generated
*/
- EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals();
+ EAttribute PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MinNewElements();
/**
- * The meta object literal for the 'New Integers' containment reference list feature.
+ * The meta object literal for the 'Max New Elements' attribute feature.
*
*
* @generated
*/
- EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers();
+ EAttribute PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS = eINSTANCE.getPartialInterpretation_MaxNewElements();
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl Partial Constant Interpretation}' class.
@@ -1844,14 +1966,6 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EClass PARTIAL_TYPE_INTERPRATATION = eINSTANCE.getPartialTypeInterpratation();
- /**
- * The meta object literal for the 'Interpretation Of' reference feature.
- *
- *
- * @generated
- */
- EReference PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF = eINSTANCE.getPartialTypeInterpratation_InterpretationOf();
-
/**
* The meta object literal for the 'Elements' reference list feature.
*
@@ -1860,14 +1974,6 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EReference PARTIAL_TYPE_INTERPRATATION__ELEMENTS = eINSTANCE.getPartialTypeInterpratation_Elements();
- /**
- * The meta object literal for the 'Supertype Interpretation' reference list feature.
- *
- *
- * @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 Relation Link}' class.
*
@@ -1958,6 +2064,14 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EAttribute NARY_RELATION_LINK_ELEMENT__INDEX = eINSTANCE.getNaryRelationLinkElement_Index();
+ /**
+ * The meta object literal for the 'Param' reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference NARY_RELATION_LINK_ELEMENT__PARAM = eINSTANCE.getNaryRelationLinkElement_Param();
+
/**
* The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PrimitiveElementImpl Primitive Element}' class.
*
@@ -2048,6 +2162,116 @@ public interface PartialinterpretationPackage extends EPackage {
*/
EAttribute STRING_ELEMENT__VALUE = eINSTANCE.getStringElement_Value();
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl Scope}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getScope()
+ * @generated
+ */
+ EClass SCOPE = eINSTANCE.getScope();
+
+ /**
+ * The meta object literal for the 'Min New Elements' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute SCOPE__MIN_NEW_ELEMENTS = eINSTANCE.getScope_MinNewElements();
+
+ /**
+ * The meta object literal for the 'Max New Elements' attribute feature.
+ *
+ *
+ * @generated
+ */
+ EAttribute SCOPE__MAX_NEW_ELEMENTS = eINSTANCE.getScope_MaxNewElements();
+
+ /**
+ * The meta object literal for the 'Target Type Interpretation' reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference SCOPE__TARGET_TYPE_INTERPRETATION = eINSTANCE.getScope_TargetTypeInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl Partial Primitive Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialPrimitiveInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialPrimitiveInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_PRIMITIVE_INTERPRETATION = eINSTANCE.getPartialPrimitiveInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl Partial Boolean Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialBooleanInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialBooleanInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_BOOLEAN_INTERPRETATION = eINSTANCE.getPartialBooleanInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl Partial Integer Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialIntegerInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialIntegerInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_INTEGER_INTERPRETATION = eINSTANCE.getPartialIntegerInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl Partial Real Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialRealInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialRealInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_REAL_INTERPRETATION = eINSTANCE.getPartialRealInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl Partial String Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialStringInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialStringInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_STRING_INTERPRETATION = eINSTANCE.getPartialStringInterpretation();
+
+ /**
+ * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl Partial Complex Type Interpretation}' class.
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialinterpretationPackageImpl#getPartialComplexTypeInterpretation()
+ * @generated
+ */
+ EClass PARTIAL_COMPLEX_TYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation();
+
+ /**
+ * The meta object literal for the 'Supertype Interpretation' reference list feature.
+ *
+ *
+ * @generated
+ */
+ EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION = eINSTANCE.getPartialComplexTypeInterpretation_SupertypeInterpretation();
+
+ /**
+ * The meta object literal for the 'Interpretation Of' reference feature.
+ *
+ *
+ * @generated
+ */
+ EReference PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF = eINSTANCE.getPartialComplexTypeInterpretation_InterpretationOf();
+
}
} //PartialinterpretationPackage
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java
new file mode 100644
index 00000000..ba9435c2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/Scope.java
@@ -0,0 +1,106 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ *
+ * A representation of the model object 'Scope'.
+ *
+ *
+ *
+ * The following features are supported:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope()
+ * @model
+ * @generated
+ */
+public interface Scope extends EObject {
+ /**
+ * Returns the value of the 'Min New Elements' attribute.
+ * The default value is "0"
.
+ *
+ *
+ * If the meaning of the 'Min New Elements' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Min New Elements' attribute.
+ * @see #setMinNewElements(int)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MinNewElements()
+ * @model default="0" required="true"
+ * @generated
+ */
+ int getMinNewElements();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMinNewElements Min New Elements}' attribute.
+ *
+ *
+ * @param value the new value of the 'Min New Elements' attribute.
+ * @see #getMinNewElements()
+ * @generated
+ */
+ void setMinNewElements(int value);
+
+ /**
+ * Returns the value of the 'Max New Elements' attribute.
+ * The default value is "-1"
.
+ *
+ *
+ * If the meaning of the 'Max New Elements' attribute isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Max New Elements' attribute.
+ * @see #setMaxNewElements(int)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_MaxNewElements()
+ * @model default="-1" required="true"
+ * @generated
+ */
+ int getMaxNewElements();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getMaxNewElements Max New Elements}' attribute.
+ *
+ *
+ * @param value the new value of the 'Max New Elements' attribute.
+ * @see #getMaxNewElements()
+ * @generated
+ */
+ void setMaxNewElements(int value);
+
+ /**
+ * Returns the value of the 'Target Type Interpretation' reference.
+ *
+ *
+ * If the meaning of the 'Target Type Interpretation' reference isn't clear,
+ * there really should be more of a description here...
+ *
+ *
+ * @return the value of the 'Target Type Interpretation' reference.
+ * @see #setTargetTypeInterpretation(PartialTypeInterpratation)
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getScope_TargetTypeInterpretation()
+ * @model required="true"
+ * @generated
+ */
+ PartialTypeInterpratation getTargetTypeInterpretation();
+
+ /**
+ * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope#getTargetTypeInterpretation Target Type Interpretation}' reference.
+ *
+ *
+ * @param value the new value of the 'Target Type Interpretation' reference.
+ * @see #getTargetTypeInterpretation()
+ * @generated
+ */
+ void setTargetTypeInterpretation(PartialTypeInterpratation value);
+
+} // Scope
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
index 40e6549d..749a03c5 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/NaryRelationLinkElementImpl.java
@@ -2,6 +2,7 @@
*/
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
@@ -9,6 +10,7 @@ import org.eclipse.emf.common.notify.Notification;
import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
import org.eclipse.emf.ecore.impl.ENotificationImpl;
import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
@@ -21,6 +23,7 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
*
*
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getIndex Index}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.NaryRelationLinkElementImpl#getParam Param}
*
*
* @generated
@@ -46,6 +49,16 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
*/
protected int index = INDEX_EDEFAULT;
+ /**
+ * The cached value of the '{@link #getParam() Param}' reference.
+ *
+ *
+ * @see #getParam()
+ * @generated
+ * @ordered
+ */
+ protected DefinedElement param;
+
/**
*
*
@@ -86,6 +99,44 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX, oldIndex, index));
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public DefinedElement getParam() {
+ if (param != null && param.eIsProxy()) {
+ InternalEObject oldParam = (InternalEObject)param;
+ param = (DefinedElement)eResolveProxy(oldParam);
+ if (param != oldParam) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));
+ }
+ }
+ return param;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public DefinedElement basicGetParam() {
+ return param;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setParam(DefinedElement newParam) {
+ DefinedElement oldParam = param;
+ param = newParam;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM, oldParam, param));
+ }
+
/**
*
*
@@ -96,6 +147,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
switch (featureID) {
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
return getIndex();
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ if (resolve) return getParam();
+ return basicGetParam();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -111,6 +165,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
setIndex((Integer)newValue);
return;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ setParam((DefinedElement)newValue);
+ return;
}
super.eSet(featureID, newValue);
}
@@ -126,6 +183,9 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
setIndex(INDEX_EDEFAULT);
return;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ setParam((DefinedElement)null);
+ return;
}
super.eUnset(featureID);
}
@@ -140,6 +200,8 @@ public class NaryRelationLinkElementImpl extends MinimalEObjectImpl.Container im
switch (featureID) {
case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__INDEX:
return index != INDEX_EDEFAULT;
+ case PartialinterpretationPackage.NARY_RELATION_LINK_ELEMENT__PARAM:
+ return param != null;
}
return super.eIsSet(featureID);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
new file mode 100644
index 00000000..6c549300
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialBooleanInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Boolean Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialBooleanInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialBooleanInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialBooleanInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_BOOLEAN_INTERPRETATION;
+ }
+
+} //PartialBooleanInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
new file mode 100644
index 00000000..07ee282d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialComplexTypeInterpretationImpl.java
@@ -0,0 +1,198 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+import org.eclipse.emf.ecore.util.EObjectResolvingEList;
+
+/**
+ *
+ * An implementation of the model object 'Partial Complex Type Interpretation'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getSupertypeInterpretation Supertype Interpretation}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialComplexTypeInterpretationImpl#getInterpretationOf Interpretation Of}
+ *
+ *
+ * @generated
+ */
+public class PartialComplexTypeInterpretationImpl extends PartialTypeInterpratationImpl implements PartialComplexTypeInterpretation {
+ /**
+ * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list.
+ *
+ *
+ * @see #getSupertypeInterpretation()
+ * @generated
+ * @ordered
+ */
+ protected EList supertypeInterpretation;
+
+ /**
+ * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference.
+ *
+ *
+ * @see #getInterpretationOf()
+ * @generated
+ * @ordered
+ */
+ protected TypeDeclaration interpretationOf;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialComplexTypeInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_COMPLEX_TYPE_INTERPRETATION;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EList getSupertypeInterpretation() {
+ if (supertypeInterpretation == null) {
+ supertypeInterpretation = new EObjectResolvingEList(PartialComplexTypeInterpretation.class, this, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);
+ }
+ return supertypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public TypeDeclaration getInterpretationOf() {
+ if (interpretationOf != null && interpretationOf.eIsProxy()) {
+ InternalEObject oldInterpretationOf = (InternalEObject)interpretationOf;
+ interpretationOf = (TypeDeclaration)eResolveProxy(oldInterpretationOf);
+ if (interpretationOf != oldInterpretationOf) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+ }
+ }
+ return interpretationOf;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public TypeDeclaration basicGetInterpretationOf() {
+ return interpretationOf;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setInterpretationOf(TypeDeclaration newInterpretationOf) {
+ TypeDeclaration oldInterpretationOf = interpretationOf;
+ interpretationOf = newInterpretationOf;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF, oldInterpretationOf, interpretationOf));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ return getSupertypeInterpretation();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ if (resolve) return getInterpretationOf();
+ return basicGetInterpretationOf();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @SuppressWarnings("unchecked")
+ @Override
+ public void eSet(int featureID, Object newValue) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ getSupertypeInterpretation().clear();
+ getSupertypeInterpretation().addAll((Collection extends PartialComplexTypeInterpretation>)newValue);
+ return;
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ setInterpretationOf((TypeDeclaration)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ getSupertypeInterpretation().clear();
+ return;
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ setInterpretationOf((TypeDeclaration)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION:
+ return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF:
+ return interpretationOf != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+} //PartialComplexTypeInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
new file mode 100644
index 00000000..d3e034c3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialIntegerInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Integer Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialIntegerInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialIntegerInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialIntegerInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_INTEGER_INTERPRETATION;
+ }
+
+} //PartialIntegerInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
index dd744606..bce3e2e0 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java
@@ -5,18 +5,13 @@ package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.pa
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
-
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement;
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
-
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
-import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
import java.util.Collection;
import org.eclipse.emf.common.notify.Notification;
@@ -47,21 +42,11 @@ import org.eclipse.emf.ecore.util.InternalEList;
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialfunctioninterpretation Partialfunctioninterpretation}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewElements New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getPartialtypeinterpratation Partialtypeinterpratation}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElements Open World Elements}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
+ * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getScopes Scopes}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMinNewElements Min New Elements}
* {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewElements Max New Elements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getOpenWorldElementPrototypes Open World Element Prototypes}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getProblemConainer Problem Conainer}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelement Stringelement}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getStringelements Stringelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getRealelements Realelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getIntegerelements Integerelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getBooleanelements Booleanelements}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers Max New Integers}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals Max New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings Max New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings New Strings}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals New Reals}
- * {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers New Integers}
*
*
* @generated
@@ -128,54 +113,14 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
protected EList partialtypeinterpratation;
/**
- * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
- *
- *
- * @see #getMinNewElements()
- * @generated
- * @ordered
- */
- protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
- *
- *
- * @see #getMinNewElements()
- * @generated
- * @ordered
- */
- protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
- *
- *
- * @see #getMaxNewElements()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_ELEMENTS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
- *
- *
- * @see #getMaxNewElements()
- * @generated
- * @ordered
- */
- protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
-
- /**
- * The cached value of the '{@link #getOpenWorldElementPrototypes() Open World Element Prototypes}' containment reference list.
+ * The cached value of the '{@link #getOpenWorldElements() Open World Elements}' containment reference list.
*
*
- * @see #getOpenWorldElementPrototypes()
+ * @see #getOpenWorldElements()
* @generated
* @ordered
*/
- protected EList openWorldElementPrototypes;
+ protected EList openWorldElements;
/**
* The cached value of the '{@link #getProblemConainer() Problem Conainer}' containment reference.
@@ -188,144 +133,54 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
protected LogicProblem problemConainer;
/**
- * The cached value of the '{@link #getStringelement() Stringelement}' containment reference list.
- *
- *
- * @see #getStringelement()
- * @generated
- * @ordered
- */
- protected EList stringelement;
-
- /**
- * The cached value of the '{@link #getStringelements() Stringelements}' containment reference list.
- *
- *
- * @see #getStringelements()
- * @generated
- * @ordered
- */
- protected EList stringelements;
-
- /**
- * The cached value of the '{@link #getRealelements() Realelements}' containment reference list.
- *
- *
- * @see #getRealelements()
- * @generated
- * @ordered
- */
- protected EList realelements;
-
- /**
- * The cached value of the '{@link #getIntegerelements() Integerelements}' containment reference list.
+ * The cached value of the '{@link #getScopes() Scopes}' containment reference list.
*
*
- * @see #getIntegerelements()
+ * @see #getScopes()
* @generated
* @ordered
*/
- protected EList integerelements;
+ protected EList scopes;
/**
- * The cached value of the '{@link #getBooleanelements() Booleanelements}' containment reference list.
- *
- *
- * @see #getBooleanelements()
- * @generated
- * @ordered
- */
- protected EList booleanelements;
-
- /**
- * The default value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute.
- *
- *
- * @see #getMaxNewIntegers()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_INTEGERS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewIntegers() Max New Integers}' attribute.
- *
- *
- * @see #getMaxNewIntegers()
- * @generated
- * @ordered
- */
- protected int maxNewIntegers = MAX_NEW_INTEGERS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewReals() Max New Reals}' attribute.
- *
- *
- * @see #getMaxNewReals()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_REALS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewReals() Max New Reals}' attribute.
- *
- *
- * @see #getMaxNewReals()
- * @generated
- * @ordered
- */
- protected int maxNewReals = MAX_NEW_REALS_EDEFAULT;
-
- /**
- * The default value of the '{@link #getMaxNewStrings() Max New Strings}' attribute.
- *
- *
- * @see #getMaxNewStrings()
- * @generated
- * @ordered
- */
- protected static final int MAX_NEW_STRINGS_EDEFAULT = 0;
-
- /**
- * The cached value of the '{@link #getMaxNewStrings() Max New Strings}' attribute.
+ * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
*
*
- * @see #getMaxNewStrings()
+ * @see #getMinNewElements()
* @generated
* @ordered
*/
- protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT;
+ protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
/**
- * The cached value of the '{@link #getNewStrings() New Strings}' containment reference list.
+ * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
*
*
- * @see #getNewStrings()
+ * @see #getMinNewElements()
* @generated
* @ordered
*/
- protected EList newStrings;
+ protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
/**
- * The cached value of the '{@link #getNewReals() New Reals}' containment reference list.
+ * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
*
*
- * @see #getNewReals()
+ * @see #getMaxNewElements()
* @generated
* @ordered
*/
- protected EList newReals;
+ protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;
/**
- * The cached value of the '{@link #getNewIntegers() New Integers}' containment reference list.
+ * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
*
*
- * @see #getNewIntegers()
+ * @see #getMaxNewElements()
* @generated
* @ordered
*/
- protected EList newIntegers;
+ protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
/**
*
@@ -449,53 +304,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMinNewElements() {
- return minNewElements;
- }
-
- /**
- *
- *
- * @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));
- }
-
- /**
- *
- *
- * @generated
- */
- public int getMaxNewElements() {
- return maxNewElements;
- }
-
- /**
- *
- *
- * @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));
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getOpenWorldElementPrototypes() {
- if (openWorldElementPrototypes == null) {
- openWorldElementPrototypes = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
+ public EList getOpenWorldElements() {
+ if (openWorldElements == null) {
+ openWorldElements = new EObjectContainmentEList(DefinedElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);
}
- return openWorldElementPrototypes;
+ return openWorldElements;
}
/**
@@ -546,80 +359,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public EList getStringelement() {
- if (stringelement == null) {
- stringelement = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT);
- }
- return stringelement;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getStringelements() {
- if (stringelements == null) {
- stringelements = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS);
- }
- return stringelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getRealelements() {
- if (realelements == null) {
- realelements = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS);
- }
- return realelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getIntegerelements() {
- if (integerelements == null) {
- integerelements = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS);
- }
- return integerelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getBooleanelements() {
- if (booleanelements == null) {
- booleanelements = new EObjectContainmentEList(BooleanElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
+ public EList getScopes() {
+ if (scopes == null) {
+ scopes = new EObjectContainmentEList(Scope.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES);
}
- return booleanelements;
- }
-
- /**
- *
- *
- * @generated
- */
- public int getMaxNewIntegers() {
- return maxNewIntegers;
- }
-
- /**
- *
- *
- * @generated
- */
- public void setMaxNewIntegers(int newMaxNewIntegers) {
- int oldMaxNewIntegers = maxNewIntegers;
- maxNewIntegers = newMaxNewIntegers;
- if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS, oldMaxNewIntegers, maxNewIntegers));
+ return scopes;
}
/**
@@ -627,8 +371,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMaxNewReals() {
- return maxNewReals;
+ public int getMinNewElements() {
+ return minNewElements;
}
/**
@@ -636,11 +380,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public void setMaxNewReals(int newMaxNewReals) {
- int oldMaxNewReals = maxNewReals;
- maxNewReals = newMaxNewReals;
+ public void setMinNewElements(int newMinNewElements) {
+ int oldMinNewElements = minNewElements;
+ minNewElements = newMinNewElements;
if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS, oldMaxNewReals, maxNewReals));
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
}
/**
@@ -648,8 +392,8 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public int getMaxNewStrings() {
- return maxNewStrings;
+ public int getMaxNewElements() {
+ return maxNewElements;
}
/**
@@ -657,47 +401,11 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
*
* @generated
*/
- public void setMaxNewStrings(int newMaxNewStrings) {
- int oldMaxNewStrings = maxNewStrings;
- maxNewStrings = newMaxNewStrings;
+ public void setMaxNewElements(int newMaxNewElements) {
+ int oldMaxNewElements = maxNewElements;
+ maxNewElements = newMaxNewElements;
if (eNotificationRequired())
- eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS, oldMaxNewStrings, maxNewStrings));
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewStrings() {
- if (newStrings == null) {
- newStrings = new EObjectContainmentEList(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS);
- }
- return newStrings;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewReals() {
- if (newReals == null) {
- newReals = new EObjectContainmentEList(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS);
- }
- return newReals;
- }
-
- /**
- *
- *
- * @generated
- */
- public EList getNewIntegers() {
- if (newIntegers == null) {
- newIntegers = new EObjectContainmentEList(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS);
- }
- return newIntegers;
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
}
/**
@@ -718,26 +426,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return ((InternalEList>)getNewElements()).basicRemove(otherEnd, msgs);
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return ((InternalEList>)getPartialtypeinterpratation()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return ((InternalEList>)getOpenWorldElementPrototypes()).basicRemove(otherEnd, msgs);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return ((InternalEList>)getOpenWorldElements()).basicRemove(otherEnd, msgs);
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
return basicSetProblemConainer(null, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return ((InternalEList>)getStringelement()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return ((InternalEList>)getStringelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return ((InternalEList>)getRealelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return ((InternalEList>)getIntegerelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return ((InternalEList>)getBooleanelements()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return ((InternalEList>)getNewStrings()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return ((InternalEList>)getNewReals()).basicRemove(otherEnd, msgs);
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return ((InternalEList>)getNewIntegers()).basicRemove(otherEnd, msgs);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return ((InternalEList>)getScopes()).basicRemove(otherEnd, msgs);
}
return super.eInverseRemove(otherEnd, featureID, msgs);
}
@@ -763,36 +457,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return getNewElements();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return getPartialtypeinterpratation();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return getOpenWorldElements();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
+ return getProblemConainer();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return getScopes();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
return getMinNewElements();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
return getMaxNewElements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return getOpenWorldElementPrototypes();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
- return getProblemConainer();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return getStringelement();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return getStringelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return getRealelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return getIntegerelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return getBooleanelements();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- return getMaxNewIntegers();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- return getMaxNewReals();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- return getMaxNewStrings();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return getNewStrings();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return getNewReals();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return getNewIntegers();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -829,59 +503,22 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
getPartialtypeinterpratation().clear();
getPartialtypeinterpratation().addAll((Collection extends PartialTypeInterpratation>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
- setMinNewElements((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
- setMaxNewElements((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- getOpenWorldElementPrototypes().clear();
- getOpenWorldElementPrototypes().addAll((Collection extends DefinedElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ getOpenWorldElements().clear();
+ getOpenWorldElements().addAll((Collection extends DefinedElement>)newValue);
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
setProblemConainer((LogicProblem)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- getStringelement().clear();
- getStringelement().addAll((Collection extends StringElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- getStringelements().clear();
- getStringelements().addAll((Collection extends StringElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- getRealelements().clear();
- getRealelements().addAll((Collection extends RealElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- getIntegerelements().clear();
- getIntegerelements().addAll((Collection extends IntegerElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- getBooleanelements().clear();
- getBooleanelements().addAll((Collection extends BooleanElement>)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- setMaxNewIntegers((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- setMaxNewReals((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- setMaxNewStrings((Integer)newValue);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- getNewStrings().clear();
- getNewStrings().addAll((Collection extends StringElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ getScopes().clear();
+ getScopes().addAll((Collection extends Scope>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- getNewReals().clear();
- getNewReals().addAll((Collection extends RealElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
+ setMinNewElements((Integer)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- getNewIntegers().clear();
- getNewIntegers().addAll((Collection extends IntegerElement>)newValue);
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
+ setMaxNewElements((Integer)newValue);
return;
}
super.eSet(featureID, newValue);
@@ -913,50 +550,20 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
getPartialtypeinterpratation().clear();
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
- setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
- setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- getOpenWorldElementPrototypes().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ getOpenWorldElements().clear();
return;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
setProblemConainer((LogicProblem)null);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- getStringelement().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- getStringelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- getRealelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- getIntegerelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- getBooleanelements().clear();
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- setMaxNewIntegers(MAX_NEW_INTEGERS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- setMaxNewReals(MAX_NEW_REALS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT);
- return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- getNewStrings().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ getScopes().clear();
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- getNewReals().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
+ setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
return;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- getNewIntegers().clear();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
+ setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
return;
}
super.eUnset(featureID);
@@ -982,36 +589,16 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
return newElements != null && !newElements.isEmpty();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION:
return partialtypeinterpratation != null && !partialtypeinterpratation.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS:
+ return openWorldElements != null && !openWorldElements.isEmpty();
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
+ return problemConainer != null;
+ case PartialinterpretationPackage.PARTIAL_INTERPRETATION__SCOPES:
+ return scopes != null && !scopes.isEmpty();
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS:
return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS:
return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES:
- return openWorldElementPrototypes != null && !openWorldElementPrototypes.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__PROBLEM_CONAINER:
- return problemConainer != null;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENT:
- return stringelement != null && !stringelement.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__STRINGELEMENTS:
- return stringelements != null && !stringelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__REALELEMENTS:
- return realelements != null && !realelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__INTEGERELEMENTS:
- return integerelements != null && !integerelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS:
- return booleanelements != null && !booleanelements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS:
- return maxNewIntegers != MAX_NEW_INTEGERS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_REALS:
- return maxNewReals != MAX_NEW_REALS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS:
- return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT;
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS:
- return newStrings != null && !newStrings.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS:
- return newReals != null && !newReals.isEmpty();
- case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS:
- return newIntegers != null && !newIntegers.isEmpty();
}
return super.eIsSet(featureID);
}
@@ -1030,12 +617,6 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl
result.append(minNewElements);
result.append(", maxNewElements: ");
result.append(maxNewElements);
- result.append(", maxNewIntegers: ");
- result.append(maxNewIntegers);
- result.append(", maxNewReals: ");
- result.append(maxNewReals);
- result.append(", maxNewStrings: ");
- result.append(maxNewStrings);
result.append(')');
return result.toString();
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
new file mode 100644
index 00000000..cc426031
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialPrimitiveInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Primitive Interpretation'.
+ *
+ *
+ * @generated
+ */
+public abstract class PartialPrimitiveInterpretationImpl extends PartialTypeInterpratationImpl implements PartialPrimitiveInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialPrimitiveInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_PRIMITIVE_INTERPRETATION;
+ }
+
+} //PartialPrimitiveInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
new file mode 100644
index 00000000..d14bdaa2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialRealInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial Real Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialRealInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialRealInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialRealInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_REAL_INTERPRETATION;
+ }
+
+} //PartialRealInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
new file mode 100644
index 00000000..2a887d43
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialStringInterpretationImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ *
+ * An implementation of the model object 'Partial String Interpretation'.
+ *
+ *
+ * @generated
+ */
+public class PartialStringInterpretationImpl extends PartialPrimitiveInterpretationImpl implements PartialStringInterpretation {
+ /**
+ *
+ *
+ * @generated
+ */
+ protected PartialStringInterpretationImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.PARTIAL_STRING_INTERPRETATION;
+ }
+
+} //PartialStringInterpretationImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
index 1090aaf7..beb45529 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialTypeInterpratationImpl.java
@@ -3,19 +3,12 @@
package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration;
-
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
import java.util.Collection;
-import org.eclipse.emf.common.notify.Notification;
-
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EClass;
-import org.eclipse.emf.ecore.InternalEObject;
-
-import org.eclipse.emf.ecore.impl.ENotificationImpl;
import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
import org.eclipse.emf.ecore.util.EObjectResolvingEList;
@@ -27,24 +20,12 @@ import org.eclipse.emf.ecore.util.EObjectResolvingEList;
* The following features are implemented:
*
*
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getInterpretationOf Interpretation Of}
* - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getElements Elements}
- * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialTypeInterpratationImpl#getSupertypeInterpretation Supertype Interpretation}
*
*
* @generated
*/
-public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {
- /**
- * The cached value of the '{@link #getInterpretationOf() Interpretation Of}' reference.
- *
- *
- * @see #getInterpretationOf()
- * @generated
- * @ordered
- */
- protected TypeDeclaration interpretationOf;
-
+public abstract class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container implements PartialTypeInterpratation {
/**
* The cached value of the '{@link #getElements() Elements}' reference list.
*
@@ -55,16 +36,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
*/
protected EList elements;
- /**
- * The cached value of the '{@link #getSupertypeInterpretation() Supertype Interpretation}' reference list.
- *
- *
- * @see #getSupertypeInterpretation()
- * @generated
- * @ordered
- */
- protected EList supertypeInterpretation;
-
/**
*
*
@@ -84,44 +55,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
return PartialinterpretationPackage.Literals.PARTIAL_TYPE_INTERPRATATION;
}
- /**
- *
- *
- * @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;
- }
-
- /**
- *
- *
- * @generated
- */
- public TypeDeclaration basicGetInterpretationOf() {
- return interpretationOf;
- }
-
- /**
- *
- *
- * @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));
- }
-
/**
*
*
@@ -134,18 +67,6 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
return elements;
}
- /**
- *
- *
- * @generated
- */
- public EList getSupertypeInterpretation() {
- if (supertypeInterpretation == null) {
- supertypeInterpretation = new EObjectResolvingEList(PartialTypeInterpratation.class, this, PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);
- }
- return supertypeInterpretation;
- }
-
/**
*
*
@@ -154,13 +75,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public Object eGet(int featureID, boolean resolve, boolean coreType) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- if (resolve) return getInterpretationOf();
- return basicGetInterpretationOf();
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
return getElements();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- return getSupertypeInterpretation();
}
return super.eGet(featureID, resolve, coreType);
}
@@ -174,17 +90,10 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public void eSet(int featureID, Object newValue) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- setInterpretationOf((TypeDeclaration)newValue);
- return;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
getElements().clear();
getElements().addAll((Collection extends DefinedElement>)newValue);
return;
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- getSupertypeInterpretation().clear();
- getSupertypeInterpretation().addAll((Collection extends PartialTypeInterpratation>)newValue);
- return;
}
super.eSet(featureID, newValue);
}
@@ -197,15 +106,9 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public void eUnset(int featureID) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- setInterpretationOf((TypeDeclaration)null);
- return;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
getElements().clear();
return;
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- getSupertypeInterpretation().clear();
- return;
}
super.eUnset(featureID);
}
@@ -218,12 +121,8 @@ public class PartialTypeInterpratationImpl extends MinimalEObjectImpl.Container
@Override
public boolean eIsSet(int featureID) {
switch (featureID) {
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF:
- return interpretationOf != null;
case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__ELEMENTS:
return elements != null && !elements.isEmpty();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION:
- return supertypeInterpretation != null && !supertypeInterpretation.isEmpty();
}
return super.eIsSet(featureID);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
index ebd70a97..af1db8a1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationFactoryImpl.java
@@ -60,7 +60,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
case PartialinterpretationPackage.PARTIAL_CONSTANT_INTERPRETATION: return createPartialConstantInterpretation();
case PartialinterpretationPackage.PARTIAL_RELATION_INTERPRETATION: return createPartialRelationInterpretation();
case PartialinterpretationPackage.PARTIAL_FUNCTION_INTERPRETATION: return createPartialFunctionInterpretation();
- case PartialinterpretationPackage.PARTIAL_TYPE_INTERPRATATION: return createPartialTypeInterpratation();
case PartialinterpretationPackage.UNARY_ELEMENT_RELATION_LINK: return createUnaryElementRelationLink();
case PartialinterpretationPackage.BINARY_ELEMENT_RELATION_LINK: return createBinaryElementRelationLink();
case PartialinterpretationPackage.NARY_RELATION_LINK: return createNaryRelationLink();
@@ -69,6 +68,12 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
case PartialinterpretationPackage.INTEGER_ELEMENT: return createIntegerElement();
case PartialinterpretationPackage.REAL_ELEMENT: return createRealElement();
case PartialinterpretationPackage.STRING_ELEMENT: return createStringElement();
+ case PartialinterpretationPackage.SCOPE: return createScope();
+ case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: return createPartialBooleanInterpretation();
+ case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: return createPartialIntegerInterpretation();
+ case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: return createPartialRealInterpretation();
+ case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: return createPartialStringInterpretation();
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: return createPartialComplexTypeInterpretation();
default:
throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
}
@@ -114,16 +119,6 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
return partialFunctionInterpretation;
}
- /**
- *
- *
- * @generated
- */
- public PartialTypeInterpratation createPartialTypeInterpratation() {
- PartialTypeInterpratationImpl partialTypeInterpratation = new PartialTypeInterpratationImpl();
- return partialTypeInterpratation;
- }
-
/**
*
*
@@ -204,6 +199,66 @@ public class PartialinterpretationFactoryImpl extends EFactoryImpl implements Pa
return stringElement;
}
+ /**
+ *
+ *
+ * @generated
+ */
+ public Scope createScope() {
+ ScopeImpl scope = new ScopeImpl();
+ return scope;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialBooleanInterpretation createPartialBooleanInterpretation() {
+ PartialBooleanInterpretationImpl partialBooleanInterpretation = new PartialBooleanInterpretationImpl();
+ return partialBooleanInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialIntegerInterpretation createPartialIntegerInterpretation() {
+ PartialIntegerInterpretationImpl partialIntegerInterpretation = new PartialIntegerInterpretationImpl();
+ return partialIntegerInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialRealInterpretation createPartialRealInterpretation() {
+ PartialRealInterpretationImpl partialRealInterpretation = new PartialRealInterpretationImpl();
+ return partialRealInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialStringInterpretation createPartialStringInterpretation() {
+ PartialStringInterpretationImpl partialStringInterpretation = new PartialStringInterpretationImpl();
+ return partialStringInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialComplexTypeInterpretation createPartialComplexTypeInterpretation() {
+ PartialComplexTypeInterpretationImpl partialComplexTypeInterpretation = new PartialComplexTypeInterpretationImpl();
+ return partialComplexTypeInterpretation;
+ }
+
/**
*
*
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
index 5fae0d4e..c0515c43 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java
@@ -11,16 +11,23 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.par
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLink;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.NaryRelationLinkElement;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationFactory;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PrimitiveElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement;
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.UnaryElementRelationLink;
@@ -143,6 +150,55 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*/
private EClass stringElementEClass = null;
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass scopeEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialPrimitiveInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialBooleanInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialIntegerInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialRealInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialStringInterpretationEClass = null;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ private EClass partialComplexTypeInterpretationEClass = null;
+
/**
* Creates an instance of the model Package, registered with
* {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
@@ -276,8 +332,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MinNewElements() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(6);
+ public EReference getPartialInterpretation_OpenWorldElements() {
+ return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(6);
}
/**
@@ -285,8 +341,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewElements() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(7);
+ public EReference getPartialInterpretation_ProblemConainer() {
+ return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(7);
}
/**
@@ -294,7 +350,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_OpenWorldElementPrototypes() {
+ public EReference getPartialInterpretation_Scopes() {
return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(8);
}
@@ -303,8 +359,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_ProblemConainer() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(9);
+ public EAttribute getPartialInterpretation_MinNewElements() {
+ return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(9);
}
/**
@@ -312,8 +368,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Stringelement() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(10);
+ public EAttribute getPartialInterpretation_MaxNewElements() {
+ return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(10);
}
/**
@@ -321,8 +377,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Stringelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(11);
+ public EClass getPartialConstantInterpretation() {
+ return partialConstantInterpretationEClass;
}
/**
@@ -330,8 +386,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Realelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(12);
+ public EReference getPartialConstantInterpretation_InterpretationOf() {
+ return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -339,8 +395,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Integerelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(13);
+ public EClass getPartialRelationInterpretation() {
+ return partialRelationInterpretationEClass;
}
/**
@@ -348,8 +404,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_Booleanelements() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(14);
+ public EReference getPartialRelationInterpretation_InterpretationOf() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -357,8 +413,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewIntegers() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(15);
+ public EReference getPartialRelationInterpretation_Relationlinks() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);
}
/**
@@ -366,8 +422,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewReals() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(16);
+ public EReference getPartialRelationInterpretation_Param1() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);
}
/**
@@ -375,8 +431,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPartialInterpretation_MaxNewStrings() {
- return (EAttribute)partialInterpretationEClass.getEStructuralFeatures().get(17);
+ public EReference getPartialRelationInterpretation_Param2() {
+ return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);
}
/**
@@ -384,8 +440,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewStrings() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18);
+ public EClass getPartialFunctionInterpretation() {
+ return partialFunctionInterpretationEClass;
}
/**
@@ -393,8 +449,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewReals() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19);
+ public EReference getPartialFunctionInterpretation_InterpretationOf() {
+ return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -402,8 +458,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialInterpretation_NewIntegers() {
- return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20);
+ public EClass getPartialTypeInterpratation() {
+ return partialTypeInterpratationEClass;
}
/**
@@ -411,8 +467,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialConstantInterpretation() {
- return partialConstantInterpretationEClass;
+ public EReference getPartialTypeInterpratation_Elements() {
+ return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);
}
/**
@@ -420,8 +476,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialConstantInterpretation_InterpretationOf() {
- return (EReference)partialConstantInterpretationEClass.getEStructuralFeatures().get(0);
+ public EClass getRelationLink() {
+ return relationLinkEClass;
}
/**
@@ -429,8 +485,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialRelationInterpretation() {
- return partialRelationInterpretationEClass;
+ public EClass getUnaryElementRelationLink() {
+ return unaryElementRelationLinkEClass;
}
/**
@@ -438,8 +494,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_InterpretationOf() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(0);
+ public EReference getUnaryElementRelationLink_Param1() {
+ return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -447,8 +503,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Relationlinks() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(1);
+ public EClass getBinaryElementRelationLink() {
+ return binaryElementRelationLinkEClass;
}
/**
@@ -456,8 +512,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Param1() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(2);
+ public EReference getBinaryElementRelationLink_Param1() {
+ return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -465,8 +521,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialRelationInterpretation_Param2() {
- return (EReference)partialRelationInterpretationEClass.getEStructuralFeatures().get(3);
+ public EReference getBinaryElementRelationLink_Param2() {
+ return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);
}
/**
@@ -474,8 +530,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialFunctionInterpretation() {
- return partialFunctionInterpretationEClass;
+ public EClass getNaryRelationLink() {
+ return naryRelationLinkEClass;
}
/**
@@ -483,8 +539,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialFunctionInterpretation_InterpretationOf() {
- return (EReference)partialFunctionInterpretationEClass.getEStructuralFeatures().get(0);
+ public EReference getNaryRelationLink_Elements() {
+ return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);
}
/**
@@ -492,8 +548,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPartialTypeInterpratation() {
- return partialTypeInterpratationEClass;
+ public EClass getNaryRelationLinkElement() {
+ return naryRelationLinkElementEClass;
}
/**
@@ -501,8 +557,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_InterpretationOf() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(0);
+ public EAttribute getNaryRelationLinkElement_Index() {
+ return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -510,8 +566,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_Elements() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(1);
+ public EReference getNaryRelationLinkElement_Param() {
+ return (EReference)naryRelationLinkElementEClass.getEStructuralFeatures().get(1);
}
/**
@@ -519,8 +575,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getPartialTypeInterpratation_SupertypeInterpretation() {
- return (EReference)partialTypeInterpratationEClass.getEStructuralFeatures().get(2);
+ public EClass getPrimitiveElement() {
+ return primitiveElementEClass;
}
/**
@@ -528,8 +584,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getRelationLink() {
- return relationLinkEClass;
+ public EAttribute getPrimitiveElement_ValueSet() {
+ return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -537,8 +593,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getUnaryElementRelationLink() {
- return unaryElementRelationLinkEClass;
+ public EClass getBooleanElement() {
+ return booleanElementEClass;
}
/**
@@ -546,8 +602,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getUnaryElementRelationLink_Param1() {
- return (EReference)unaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EAttribute getBooleanElement_Value() {
+ return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -555,8 +611,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getBinaryElementRelationLink() {
- return binaryElementRelationLinkEClass;
+ public EClass getIntegerElement() {
+ return integerElementEClass;
}
/**
@@ -564,8 +620,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getBinaryElementRelationLink_Param1() {
- return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EAttribute getIntegerElement_Value() {
+ return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -573,8 +629,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getBinaryElementRelationLink_Param2() {
- return (EReference)binaryElementRelationLinkEClass.getEStructuralFeatures().get(1);
+ public EClass getRealElement() {
+ return realElementEClass;
}
/**
@@ -582,8 +638,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getNaryRelationLink() {
- return naryRelationLinkEClass;
+ public EAttribute getRealElement_Value() {
+ return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -591,8 +647,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EReference getNaryRelationLink_Elements() {
- return (EReference)naryRelationLinkEClass.getEStructuralFeatures().get(0);
+ public EClass getStringElement() {
+ return stringElementEClass;
}
/**
@@ -600,8 +656,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getNaryRelationLinkElement() {
- return naryRelationLinkElementEClass;
+ public EAttribute getStringElement_Value() {
+ return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);
}
/**
@@ -609,8 +665,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getNaryRelationLinkElement_Index() {
- return (EAttribute)naryRelationLinkElementEClass.getEStructuralFeatures().get(0);
+ public EClass getScope() {
+ return scopeEClass;
}
/**
@@ -618,8 +674,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getPrimitiveElement() {
- return primitiveElementEClass;
+ public EAttribute getScope_MinNewElements() {
+ return (EAttribute)scopeEClass.getEStructuralFeatures().get(0);
}
/**
@@ -627,8 +683,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getPrimitiveElement_ValueSet() {
- return (EAttribute)primitiveElementEClass.getEStructuralFeatures().get(0);
+ public EAttribute getScope_MaxNewElements() {
+ return (EAttribute)scopeEClass.getEStructuralFeatures().get(1);
}
/**
@@ -636,8 +692,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getBooleanElement() {
- return booleanElementEClass;
+ public EReference getScope_TargetTypeInterpretation() {
+ return (EReference)scopeEClass.getEStructuralFeatures().get(2);
}
/**
@@ -645,8 +701,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getBooleanElement_Value() {
- return (EAttribute)booleanElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialPrimitiveInterpretation() {
+ return partialPrimitiveInterpretationEClass;
}
/**
@@ -654,8 +710,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getIntegerElement() {
- return integerElementEClass;
+ public EClass getPartialBooleanInterpretation() {
+ return partialBooleanInterpretationEClass;
}
/**
@@ -663,8 +719,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getIntegerElement_Value() {
- return (EAttribute)integerElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialIntegerInterpretation() {
+ return partialIntegerInterpretationEClass;
}
/**
@@ -672,8 +728,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getRealElement() {
- return realElementEClass;
+ public EClass getPartialRealInterpretation() {
+ return partialRealInterpretationEClass;
}
/**
@@ -681,8 +737,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getRealElement_Value() {
- return (EAttribute)realElementEClass.getEStructuralFeatures().get(0);
+ public EClass getPartialStringInterpretation() {
+ return partialStringInterpretationEClass;
}
/**
@@ -690,8 +746,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EClass getStringElement() {
- return stringElementEClass;
+ public EClass getPartialComplexTypeInterpretation() {
+ return partialComplexTypeInterpretationEClass;
}
/**
@@ -699,8 +755,17 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
*
* @generated
*/
- public EAttribute getStringElement_Value() {
- return (EAttribute)stringElementEClass.getEStructuralFeatures().get(0);
+ public EReference getPartialComplexTypeInterpretation_SupertypeInterpretation() {
+ return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(0);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public EReference getPartialComplexTypeInterpretation_InterpretationOf() {
+ return (EReference)partialComplexTypeInterpretationEClass.getEStructuralFeatures().get(1);
}
/**
@@ -738,21 +803,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALFUNCTIONINTERPRETATION);
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_ELEMENTS);
createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PARTIALTYPEINTERPRATATION);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENTS);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);
+ createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__SCOPES);
createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MIN_NEW_ELEMENTS);
createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_ELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__OPEN_WORLD_ELEMENT_PROTOTYPES);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__PROBLEM_CONAINER);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENT);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__STRINGELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__REALELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__INTEGERELEMENTS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__BOOLEANELEMENTS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS);
- createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS);
- createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS);
partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION);
createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF);
@@ -767,9 +822,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
createEReference(partialFunctionInterpretationEClass, PARTIAL_FUNCTION_INTERPRETATION__INTERPRETATION_OF);
partialTypeInterpratationEClass = createEClass(PARTIAL_TYPE_INTERPRATATION);
- createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__INTERPRETATION_OF);
createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__ELEMENTS);
- createEReference(partialTypeInterpratationEClass, PARTIAL_TYPE_INTERPRATATION__SUPERTYPE_INTERPRETATION);
relationLinkEClass = createEClass(RELATION_LINK);
@@ -785,6 +838,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
naryRelationLinkElementEClass = createEClass(NARY_RELATION_LINK_ELEMENT);
createEAttribute(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__INDEX);
+ createEReference(naryRelationLinkElementEClass, NARY_RELATION_LINK_ELEMENT__PARAM);
primitiveElementEClass = createEClass(PRIMITIVE_ELEMENT);
createEAttribute(primitiveElementEClass, PRIMITIVE_ELEMENT__VALUE_SET);
@@ -800,6 +854,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
stringElementEClass = createEClass(STRING_ELEMENT);
createEAttribute(stringElementEClass, STRING_ELEMENT__VALUE);
+
+ scopeEClass = createEClass(SCOPE);
+ createEAttribute(scopeEClass, SCOPE__MIN_NEW_ELEMENTS);
+ createEAttribute(scopeEClass, SCOPE__MAX_NEW_ELEMENTS);
+ createEReference(scopeEClass, SCOPE__TARGET_TYPE_INTERPRETATION);
+
+ partialPrimitiveInterpretationEClass = createEClass(PARTIAL_PRIMITIVE_INTERPRETATION);
+
+ partialBooleanInterpretationEClass = createEClass(PARTIAL_BOOLEAN_INTERPRETATION);
+
+ partialIntegerInterpretationEClass = createEClass(PARTIAL_INTEGER_INTERPRETATION);
+
+ partialRealInterpretationEClass = createEClass(PARTIAL_REAL_INTERPRETATION);
+
+ partialStringInterpretationEClass = createEClass(PARTIAL_STRING_INTERPRETATION);
+
+ partialComplexTypeInterpretationEClass = createEClass(PARTIAL_COMPLEX_TYPE_INTERPRETATION);
+ createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__SUPERTYPE_INTERPRETATION);
+ createEReference(partialComplexTypeInterpretationEClass, PARTIAL_COMPLEX_TYPE_INTERPRETATION__INTERPRETATION_OF);
}
/**
@@ -842,6 +915,12 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
integerElementEClass.getESuperTypes().add(this.getPrimitiveElement());
realElementEClass.getESuperTypes().add(this.getPrimitiveElement());
stringElementEClass.getESuperTypes().add(this.getPrimitiveElement());
+ partialPrimitiveInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());
+ partialBooleanInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialIntegerInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialRealInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialStringInterpretationEClass.getESuperTypes().add(this.getPartialPrimitiveInterpretation());
+ partialComplexTypeInterpretationEClass.getESuperTypes().add(this.getPartialTypeInterpratation());
// Initialize classes, features, and operations; add parameters
initEClass(partialInterpretationEClass, PartialInterpretation.class, "PartialInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -851,21 +930,11 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEReference(getPartialInterpretation_Partialfunctioninterpretation(), this.getPartialFunctionInterpretation(), null, "partialfunctioninterpretation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_NewElements(), theLogiclanguagePackage.getDefinedElement(), null, "newElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_Partialtypeinterpratation(), this.getPartialTypeInterpratation(), null, "partialtypeinterpratation", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_OpenWorldElementPrototypes(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElementPrototypes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialInterpretation_OpenWorldElements(), theLogiclanguagePackage.getDefinedElement(), null, "openWorldElements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEReference(getPartialInterpretation_ProblemConainer(), theLogicproblemPackage.getLogicProblem(), null, "problemConainer", null, 0, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Stringelement(), this.getStringElement(), null, "stringelement", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Stringelements(), this.getStringElement(), null, "stringelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Realelements(), this.getRealElement(), null, "realelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Integerelements(), this.getIntegerElement(), null, "integerelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_Booleanelements(), this.getBooleanElement(), null, "booleanelements", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialInterpretation_Scopes(), this.getScope(), null, "scopes", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getPartialInterpretation_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getPartialInterpretation_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -879,10 +948,8 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(partialFunctionInterpretationEClass, PartialFunctionInterpretation.class, "PartialFunctionInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialFunctionInterpretation_InterpretationOf(), theLogiclanguagePackage.getFunctionDeclaration(), null, "interpretationOf", null, 1, 1, PartialFunctionInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
- initEReference(getPartialTypeInterpratation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEClass(partialTypeInterpratationEClass, PartialTypeInterpratation.class, "PartialTypeInterpratation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEReference(getPartialTypeInterpratation_Elements(), theLogiclanguagePackage.getDefinedElement(), null, "elements", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
- initEReference(getPartialTypeInterpratation_SupertypeInterpretation(), this.getPartialTypeInterpratation(), null, "supertypeInterpretation", null, 0, -1, PartialTypeInterpratation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(relationLinkEClass, RelationLink.class, "RelationLink", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -898,6 +965,7 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(naryRelationLinkElementEClass, NaryRelationLinkElement.class, "NaryRelationLinkElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getNaryRelationLinkElement_Index(), ecorePackage.getEInt(), "index", null, 0, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getNaryRelationLinkElement_Param(), theLogiclanguagePackage.getDefinedElement(), null, "param", null, 1, 1, NaryRelationLinkElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
initEClass(primitiveElementEClass, PrimitiveElement.class, "PrimitiveElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getPrimitiveElement_ValueSet(), ecorePackage.getEBoolean(), "valueSet", null, 1, 1, PrimitiveElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
@@ -914,6 +982,25 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa
initEClass(stringElementEClass, StringElement.class, "StringElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
initEAttribute(getStringElement_Value(), ecorePackage.getEString(), "value", null, 1, 1, StringElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEClass(scopeEClass, Scope.class, "Scope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEAttribute(getScope_MinNewElements(), ecorePackage.getEInt(), "minNewElements", "0", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEAttribute(getScope_MaxNewElements(), ecorePackage.getEInt(), "maxNewElements", "-1", 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getScope_TargetTypeInterpretation(), this.getPartialTypeInterpratation(), null, "targetTypeInterpretation", null, 1, 1, Scope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+ initEClass(partialPrimitiveInterpretationEClass, PartialPrimitiveInterpretation.class, "PartialPrimitiveInterpretation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialBooleanInterpretationEClass, PartialBooleanInterpretation.class, "PartialBooleanInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialIntegerInterpretationEClass, PartialIntegerInterpretation.class, "PartialIntegerInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialRealInterpretationEClass, PartialRealInterpretation.class, "PartialRealInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialStringInterpretationEClass, PartialStringInterpretation.class, "PartialStringInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+ initEClass(partialComplexTypeInterpretationEClass, PartialComplexTypeInterpretation.class, "PartialComplexTypeInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+ initEReference(getPartialComplexTypeInterpretation_SupertypeInterpretation(), this.getPartialComplexTypeInterpretation(), null, "supertypeInterpretation", null, 0, -1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+ initEReference(getPartialComplexTypeInterpretation_InterpretationOf(), theLogiclanguagePackage.getTypeDeclaration(), null, "interpretationOf", null, 1, 1, PartialComplexTypeInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
// Create resource
createResource(eNS_URI);
}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
new file mode 100644
index 00000000..4699aef6
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/ScopeImpl.java
@@ -0,0 +1,279 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl;
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+/**
+ *
+ * An implementation of the model object 'Scope'.
+ *
+ *
+ * The following features are implemented:
+ *
+ *
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMinNewElements Min New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getMaxNewElements Max New Elements}
+ * - {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.ScopeImpl#getTargetTypeInterpretation Target Type Interpretation}
+ *
+ *
+ * @generated
+ */
+public class ScopeImpl extends MinimalEObjectImpl.Container implements Scope {
+ /**
+ * The default value of the '{@link #getMinNewElements() Min New Elements}' attribute.
+ *
+ *
+ * @see #getMinNewElements()
+ * @generated
+ * @ordered
+ */
+ protected static final int MIN_NEW_ELEMENTS_EDEFAULT = 0;
+
+ /**
+ * The cached value of the '{@link #getMinNewElements() Min New Elements}' attribute.
+ *
+ *
+ * @see #getMinNewElements()
+ * @generated
+ * @ordered
+ */
+ protected int minNewElements = MIN_NEW_ELEMENTS_EDEFAULT;
+
+ /**
+ * The default value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
+ *
+ *
+ * @see #getMaxNewElements()
+ * @generated
+ * @ordered
+ */
+ protected static final int MAX_NEW_ELEMENTS_EDEFAULT = -1;
+
+ /**
+ * The cached value of the '{@link #getMaxNewElements() Max New Elements}' attribute.
+ *
+ *
+ * @see #getMaxNewElements()
+ * @generated
+ * @ordered
+ */
+ protected int maxNewElements = MAX_NEW_ELEMENTS_EDEFAULT;
+
+ /**
+ * The cached value of the '{@link #getTargetTypeInterpretation() Target Type Interpretation}' reference.
+ *
+ *
+ * @see #getTargetTypeInterpretation()
+ * @generated
+ * @ordered
+ */
+ protected PartialTypeInterpratation targetTypeInterpretation;
+
+ /**
+ *
+ *
+ * @generated
+ */
+ protected ScopeImpl() {
+ super();
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ protected EClass eStaticClass() {
+ return PartialinterpretationPackage.Literals.SCOPE;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMinNewElements() {
+ return minNewElements;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMinNewElements(int newMinNewElements) {
+ int oldMinNewElements = minNewElements;
+ minNewElements = newMinNewElements;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS, oldMinNewElements, minNewElements));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public int getMaxNewElements() {
+ return maxNewElements;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setMaxNewElements(int newMaxNewElements) {
+ int oldMaxNewElements = maxNewElements;
+ maxNewElements = newMaxNewElements;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS, oldMaxNewElements, maxNewElements));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialTypeInterpratation getTargetTypeInterpretation() {
+ if (targetTypeInterpretation != null && targetTypeInterpretation.eIsProxy()) {
+ InternalEObject oldTargetTypeInterpretation = (InternalEObject)targetTypeInterpretation;
+ targetTypeInterpretation = (PartialTypeInterpratation)eResolveProxy(oldTargetTypeInterpretation);
+ if (targetTypeInterpretation != oldTargetTypeInterpretation) {
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.RESOLVE, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));
+ }
+ }
+ return targetTypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public PartialTypeInterpratation basicGetTargetTypeInterpretation() {
+ return targetTypeInterpretation;
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ public void setTargetTypeInterpretation(PartialTypeInterpratation newTargetTypeInterpretation) {
+ PartialTypeInterpratation oldTargetTypeInterpretation = targetTypeInterpretation;
+ targetTypeInterpretation = newTargetTypeInterpretation;
+ if (eNotificationRequired())
+ eNotify(new ENotificationImpl(this, Notification.SET, PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION, oldTargetTypeInterpretation, targetTypeInterpretation));
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public Object eGet(int featureID, boolean resolve, boolean coreType) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ return getMinNewElements();
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ return getMaxNewElements();
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ if (resolve) return getTargetTypeInterpretation();
+ return basicGetTargetTypeInterpretation();
+ }
+ return super.eGet(featureID, resolve, coreType);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eSet(int featureID, Object newValue) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ setMinNewElements((Integer)newValue);
+ return;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ setMaxNewElements((Integer)newValue);
+ return;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ setTargetTypeInterpretation((PartialTypeInterpratation)newValue);
+ return;
+ }
+ super.eSet(featureID, newValue);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public void eUnset(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ setMinNewElements(MIN_NEW_ELEMENTS_EDEFAULT);
+ return;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ setMaxNewElements(MAX_NEW_ELEMENTS_EDEFAULT);
+ return;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ setTargetTypeInterpretation((PartialTypeInterpratation)null);
+ return;
+ }
+ super.eUnset(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public boolean eIsSet(int featureID) {
+ switch (featureID) {
+ case PartialinterpretationPackage.SCOPE__MIN_NEW_ELEMENTS:
+ return minNewElements != MIN_NEW_ELEMENTS_EDEFAULT;
+ case PartialinterpretationPackage.SCOPE__MAX_NEW_ELEMENTS:
+ return maxNewElements != MAX_NEW_ELEMENTS_EDEFAULT;
+ case PartialinterpretationPackage.SCOPE__TARGET_TYPE_INTERPRETATION:
+ return targetTypeInterpretation != null;
+ }
+ return super.eIsSet(featureID);
+ }
+
+ /**
+ *
+ *
+ * @generated
+ */
+ @Override
+ public String toString() {
+ if (eIsProxy()) return super.toString();
+
+ StringBuffer result = new StringBuffer(super.toString());
+ result.append(" (minNewElements: ");
+ result.append(minNewElements);
+ result.append(", maxNewElements: ");
+ result.append(maxNewElements);
+ result.append(')');
+ return result.toString();
+ }
+
+} //ScopeImpl
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
index 27b88b7a..072472d2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationAdapterFactory.java
@@ -131,6 +131,34 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
return createStringElementAdapter();
}
@Override
+ public Adapter caseScope(Scope object) {
+ return createScopeAdapter();
+ }
+ @Override
+ public Adapter casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
+ return createPartialPrimitiveInterpretationAdapter();
+ }
+ @Override
+ public Adapter casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
+ return createPartialBooleanInterpretationAdapter();
+ }
+ @Override
+ public Adapter casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
+ return createPartialIntegerInterpretationAdapter();
+ }
+ @Override
+ public Adapter casePartialRealInterpretation(PartialRealInterpretation object) {
+ return createPartialRealInterpretationAdapter();
+ }
+ @Override
+ public Adapter casePartialStringInterpretation(PartialStringInterpretation object) {
+ return createPartialStringInterpretationAdapter();
+ }
+ @Override
+ public Adapter casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
+ return createPartialComplexTypeInterpretationAdapter();
+ }
+ @Override
public Adapter caseTermDescription(TermDescription object) {
return createTermDescriptionAdapter();
}
@@ -372,6 +400,104 @@ public class PartialinterpretationAdapterFactory extends AdapterFactoryImpl {
return null;
}
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope Scope}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope
+ * @generated
+ */
+ public Adapter createScopeAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation Partial Primitive Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialPrimitiveInterpretation
+ * @generated
+ */
+ public Adapter createPartialPrimitiveInterpretationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation Partial Boolean Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialBooleanInterpretation
+ * @generated
+ */
+ public Adapter createPartialBooleanInterpretationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation Partial Integer Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialIntegerInterpretation
+ * @generated
+ */
+ public Adapter createPartialIntegerInterpretationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation Partial Real Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRealInterpretation
+ * @generated
+ */
+ public Adapter createPartialRealInterpretationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation Partial String Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialStringInterpretation
+ * @generated
+ */
+ public Adapter createPartialStringInterpretationAdapter() {
+ return null;
+ }
+
+ /**
+ * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation Partial Complex Type Interpretation}'.
+ *
+ * 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.
+ *
+ * @return the new adapter.
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialComplexTypeInterpretation
+ * @generated
+ */
+ public Adapter createPartialComplexTypeInterpretationAdapter() {
+ return null;
+ }
+
/**
* Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription Term Description}'.
*
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
index 364df3c8..f3269cbf 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/util/PartialinterpretationSwitch.java
@@ -181,6 +181,58 @@ public class PartialinterpretationSwitch extends Switch {
if (result == null) result = defaultCase(theEObject);
return result;
}
+ case PartialinterpretationPackage.SCOPE: {
+ Scope scope = (Scope)theEObject;
+ T result = caseScope(scope);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_PRIMITIVE_INTERPRETATION: {
+ PartialPrimitiveInterpretation partialPrimitiveInterpretation = (PartialPrimitiveInterpretation)theEObject;
+ T result = casePartialPrimitiveInterpretation(partialPrimitiveInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialPrimitiveInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_BOOLEAN_INTERPRETATION: {
+ PartialBooleanInterpretation partialBooleanInterpretation = (PartialBooleanInterpretation)theEObject;
+ T result = casePartialBooleanInterpretation(partialBooleanInterpretation);
+ if (result == null) result = casePartialPrimitiveInterpretation(partialBooleanInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialBooleanInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_INTEGER_INTERPRETATION: {
+ PartialIntegerInterpretation partialIntegerInterpretation = (PartialIntegerInterpretation)theEObject;
+ T result = casePartialIntegerInterpretation(partialIntegerInterpretation);
+ if (result == null) result = casePartialPrimitiveInterpretation(partialIntegerInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialIntegerInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_REAL_INTERPRETATION: {
+ PartialRealInterpretation partialRealInterpretation = (PartialRealInterpretation)theEObject;
+ T result = casePartialRealInterpretation(partialRealInterpretation);
+ if (result == null) result = casePartialPrimitiveInterpretation(partialRealInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialRealInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_STRING_INTERPRETATION: {
+ PartialStringInterpretation partialStringInterpretation = (PartialStringInterpretation)theEObject;
+ T result = casePartialStringInterpretation(partialStringInterpretation);
+ if (result == null) result = casePartialPrimitiveInterpretation(partialStringInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialStringInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
+ case PartialinterpretationPackage.PARTIAL_COMPLEX_TYPE_INTERPRETATION: {
+ PartialComplexTypeInterpretation partialComplexTypeInterpretation = (PartialComplexTypeInterpretation)theEObject;
+ T result = casePartialComplexTypeInterpretation(partialComplexTypeInterpretation);
+ if (result == null) result = casePartialTypeInterpratation(partialComplexTypeInterpretation);
+ if (result == null) result = defaultCase(theEObject);
+ return result;
+ }
default: return defaultCase(theEObject);
}
}
@@ -410,6 +462,111 @@ public class PartialinterpretationSwitch extends Switch {
return null;
}
+ /**
+ * Returns the result of interpreting the object as an instance of 'Scope'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Scope'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T caseScope(Scope object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial Primitive Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial Primitive Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialPrimitiveInterpretation(PartialPrimitiveInterpretation object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial Boolean Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial Boolean Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialBooleanInterpretation(PartialBooleanInterpretation object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial Integer Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial Integer Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialIntegerInterpretation(PartialIntegerInterpretation object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial Real Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial Real Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialRealInterpretation(PartialRealInterpretation object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial String Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial String Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialStringInterpretation(PartialStringInterpretation object) {
+ return null;
+ }
+
+ /**
+ * Returns the result of interpreting the object as an instance of 'Partial Complex Type Interpretation'.
+ *
+ * This implementation returns null;
+ * returning a non-null result will terminate the switch.
+ *
+ * @param object the target of the switch.
+ * @return the result of interpreting the object as an instance of 'Partial Complex Type Interpretation'.
+ * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+ * @generated
+ */
+ public T casePartialComplexTypeInterpretation(PartialComplexTypeInterpretation object) {
+ return null;
+ }
+
/**
* Returns the result of interpreting the object as an instance of 'Term Description'.
*
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird
index c4c5c03a..35b87922 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird
@@ -1,21 +1,21 @@
-
+
PartialInterpretation.ecore
platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore
platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore
http://www.eclipse.org/emf/2002/Ecore
-
+
-
+
-
+
@@ -30,7 +30,7 @@
-
+
@@ -71,31 +71,23 @@
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
+
@@ -116,7 +108,7 @@
-
+
@@ -133,7 +125,7 @@
-
+
@@ -146,7 +138,7 @@
-
+
@@ -167,7 +159,7 @@
-
+
@@ -184,7 +176,7 @@
-
+
@@ -201,7 +193,7 @@
-
+
@@ -210,7 +202,7 @@
-
+
@@ -219,7 +211,7 @@
-
+
@@ -228,7 +220,7 @@
-
+
@@ -237,7 +229,7 @@
-
+
@@ -246,20 +238,20 @@
-
+
-
+
-
+
-
+
@@ -267,7 +259,7 @@
-
+
@@ -276,7 +268,7 @@
-
+
@@ -285,167 +277,117 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -479,23 +421,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -511,7 +453,7 @@
-
+
@@ -531,423 +473,223 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
-
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
-
+
KEEP_LOCATION
@@ -957,45 +699,29 @@
-
+
-
+
bold
-
+
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
+
bold
-
-
-
-
- bold
+
+
+
+
+
-
+
@@ -1085,7 +811,7 @@
-
+
@@ -1094,17 +820,18 @@
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
+ borderSize
-
- bold
+
+
@@ -1313,7 +1040,7 @@
-
+
@@ -1344,7 +1071,7 @@
-
+
@@ -1375,7 +1102,7 @@
-
+
@@ -1397,16 +1124,17 @@
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
-
+ italic
+
-
+
@@ -1440,25 +1168,28 @@
-
+
+
-
+
+
-
+
+
@@ -1551,12 +1282,16 @@
-
+
+ strokeColor
+ size
labelSize
+ labelColor
-
+
labelSize
+ labelColor
@@ -1573,8 +1308,8 @@
-
-
+
+
bold
@@ -1599,17 +1334,20 @@
-
+
+ size
-
-
-
+
+
+
+
+ strokeColor
@@ -1628,9 +1366,10 @@
-
-
-
+
+
+
+
@@ -1642,254 +1381,6 @@
-
-
-
-
- italic
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
- italic
-
-
-
-
-
-
-
-
- KEEP_LOCATION
- KEEP_SIZE
- KEEP_RATIO
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
- italic
-
-
-
-
-
-
-
-
-
-
-
- italic
-
-
-
-
-
-
-
-
-
-
-
- italic
-
-
-
-
-
-
-
-
-
-
-
- italic
-
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
@@ -1898,2040 +1389,2434 @@
-
-
-
-
+
+
+
+
-
+
bold
-
+
-
-
- bold
-
-
-
-
+
-
+
-
+
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
+
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
+
-
-
-
-
-
-
-
-
-
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
-
+
-
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
+
+
labelSize
bold
-
+
labelSize
-
+
-
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
-
+
-
- bold
+
+
+
-
-
-
-
+
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
italic
-
-
-
-
-
- bold
+
+
+
+
+
+
-
+
-
-
-
-
-
- bold
+
+
+
+
+
+
-
+
-
-
-
-
-
+
+
+
+
+
labelSize
-
+
labelSize
-
+
-
-
+
+
+
labelSize
-
+
labelSize
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
-
-
-
-
+
+
+
+
-
+
-
+
italic
-
+
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
bold
-
+
-
-
-
-
-
- labelSize
-
-
- labelSize
+
+
+
+
+
+ labelSize
+
+
+ labelSize
-
-
-
-
-
-
-
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
-
-
-
-
-
-
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ borderSize
+ italic
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ borderSize
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ borderSize
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ borderSize
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ borderSize
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ size
+
+ labelSize
+
+
+ labelSize
+
-
-
-
-
-
-
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
labelSize
-
+
labelSize
-
+
+
+
+
+ size
+
+ bold
+
+
+
+
+
+
+
+
+
+ size
+
+ bold
+
+
+
+
+
+
+
+
+
+ size
+
+ bold
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
labelSize
-
+
labelSize
+
+
+
+
+ size
+
+ bold
+
+
+
+
+
-
+
-
-
-
-
+
+
+
+
-
+
bold
-
-
-
-
-
-
-
-
-
-
+
-
+
bold
-
-
- bold
-
-
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
+
+
-
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
-
-
-
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
-
- KEEP_LOCATION
- KEEP_SIZE
- KEEP_RATIO
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+
-
-
-
-
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+ bold
-
+
-
-
-
-
-
+
+
+
+
+ bold
-
+
-
+
-
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
-
-
-
-
-
-
-
-
-
+
-
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
+
+
labelSize
bold
-
+
labelSize
-
+
-
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
+ borderSize
-
+
-
- bold
+
+
-
-
-
-
+
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
backgroundColor
foregroundColor
italic
-
-
-
-
-
+
+
+
+
+
+ bold
-
+
+
+
+
+
+
+
+ bold
+
+
-
-
-
-
-
+
+
+
+
+
labelSize
-
+
labelSize
-
+
-
-
-
+
+
labelSize
-
+
+ labelSize
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ backgroundColor
+ foregroundColor
+ italic
+
+
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+ strokeColor
+ size
+
+ labelSize
+ labelColor
+
+
+ labelSize
+ labelColor
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ italic
+
+
+
+
+
+
+
+
+
+ labelSize
+ bold
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+ size
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+ strokeColor
+
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
+ labelSize
+
+
+
+
+
+
+
+
+
+
+ labelSize
+
+
labelSize
-
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+ italic
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
+
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
+
+
+
+
+
+
+ bold
+
+
+
-
-
-
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
- backgroundColor
- foregroundColor
+
+
+
+
+
+ bold
+
+
+
-
-
-
-
-
-
-
+
+
+
+
-
+
italic
-
+
-
-
-
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
+
+
+
+ italic
+
+
+
+
+
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
+ borderSize
-
-
-
-
-
-
+
+
+
+
bold
-
-
-
-
+
+
+
+
+
+
+
+ bold
+
+
+
-
-
-
-
-
+
+
+
+
+
labelSize
+ bold
-
+
labelSize
-
-
-
-
-
-
+
+
+
+
+
labelSize
-
+
labelSize
-
-
-
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
italic
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
- KEEP_LOCATION
- KEEP_SIZE
- KEEP_RATIO
-
- italic
-
+
+
+
+
+
+
+ italic
+
+
-
+
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
-
-
-
+
+
+
KEEP_LOCATION
KEEP_SIZE
KEEP_RATIO
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
+
+
+
+
-
+
italic
-
+
-
-
-
-
+
+
+
+
-
+
italic
-
+
-
-
-
-
+
+
+
+
-
+
italic
-
+
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
- bold
-
-
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
-
-
-
-
-
-
-
-
-
- labelSize
-
-
- labelSize
-
+
+
+
+
+
+
+ italic
+
+
-
+
-
-
-
-
-
-
+
+
+
+ KEEP_LOCATION
+ KEEP_SIZE
+ KEEP_RATIO
+
+
-
+
-
-
-
-
-
- labelSize
-
-
- labelSize
-
+
+
+
+
+
+
+ italic
+
+
-
+
-
+
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
index 3c235851..afee2d42 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
@@ -16,38 +16,17 @@
containment="true"/>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
-
+
-
@@ -90,6 +65,7 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel
index e244d0cd..2ac0a4f3 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.genmodel
@@ -16,6 +16,9 @@
+
+
+
@@ -23,6 +26,8 @@
+
+
@@ -30,6 +35,7 @@
+
@@ -45,5 +51,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel
index 0fd889d2..6c2f83c1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel
@@ -11,6 +11,7 @@
disposableProviderFactory="true" ecorePackage="PartialModelAnnotations.ecore#/">
+
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png
new file mode 100644
index 00000000..62f6c91f
Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/overview.png differ
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png
new file mode 100644
index 00000000..fa30dcbf
Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/relations.png differ
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png
new file mode 100644
index 00000000..81445ff5
Binary files /dev/null and b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/types.png differ
--
cgit v1.2.3-70-g09d2