1 files changed, 251 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
new file mode 100644
index 00000000..46c85cc8
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -0,0 +1,251 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Partial Interpretation</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation()
+ * @model
+ * @generated
+ */
+public interface PartialInterpretation extends EObject {
+        /**
+         * Returns the value of the '<em><b>Problem</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Problem</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Problem</em>' reference.
+         * @see #setProblem(LogicProblem)
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Problem()
+         * @model required="true"
+         * @generated
+         */
+        LogicProblem getProblem();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Problem</em>' reference.
+         * @see #getProblem()
+         * @generated
+         */
+        void setProblem(LogicProblem value);
+        /**
+         * Returns the value of the '<em><b>Partialconstantinterpretation</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Partialconstantinterpretation</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Partialconstantinterpretation</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialconstantinterpretation()
+         * @model containment="true"
+         * @generated
+         */
+        EList<PartialConstantInterpretation> getPartialconstantinterpretation();
+        /**
+         * Returns the value of the '<em><b>Partialrelationinterpretation</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Partialrelationinterpretation</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Partialrelationinterpretation</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialrelationinterpretation()
+         * @model containment="true"
+         * @generated
+         */
+        EList<PartialRelationInterpretation> getPartialrelationinterpretation();
+        /**
+         * Returns the value of the '<em><b>Partialfunctioninterpretation</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Partialfunctioninterpretation</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Partialfunctioninterpretation</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialfunctioninterpretation()
+         * @model containment="true"
+         * @generated
+         */
+        EList<PartialFunctionInterpretation> getPartialfunctioninterpretation();
+        /**
+         * Returns the value of the '<em><b>New Elements</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>New Elements</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>New Elements</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewElements()
+         * @model containment="true"
+         * @generated
+         */
+        EList<DefinedElement> getNewElements();
+        /**
+         * Returns the value of the '<em><b>Partialtypeinterpratation</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Partialtypeinterpratation</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Partialtypeinterpratation</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialtypeinterpratation()
+         * @model containment="true"
+         * @generated
+         */
+        EList<PartialTypeInterpratation> getPartialtypeinterpratation();
+        /**
+         * Returns the value of the '<em><b>Min New Elements</b></em>' attribute.
+         * The default value is <code>"0"</code>.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Min New Elements</em>' attribute.
+         * @see #setMinNewElements(int)
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements()
+         * @model default="0" id="true" required="true"
+         * @generated
+         */
+        int getMinNewElements();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Min New Elements</em>' attribute.
+         * @see #getMinNewElements()
+         * @generated
+         */
+        void setMinNewElements(int value);
+        /**
+         * Returns the value of the '<em><b>Max New Elements</b></em>' attribute.
+         * The default value is <code>"0"</code>.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Max New Elements</em>' attribute.
+         * @see #setMaxNewElements(int)
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements()
+         * @model default="0" required="true"
+         * @generated
+         */
+        int getMaxNewElements();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Max New Elements</em>' attribute.
+         * @see #getMaxNewElements()
+         * @generated
+         */
+        void setMaxNewElements(int value);
+        /**
+         * Returns the value of the '<em><b>Open World Element Prototype</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Open World Element Prototype</em>' containment reference.
+         * @see #setOpenWorldElementPrototype(DefinedElement)
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype()
+         * @model containment="true" required="true"
+         * @generated
+         */
+        DefinedElement getOpenWorldElementPrototype();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Open World Element Prototype</em>' containment reference.
+         * @see #getOpenWorldElementPrototype()
+         * @generated
+         */
+        void setOpenWorldElementPrototype(DefinedElement value);
+        /**
+         * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Problem Conainer</em>' containment reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Problem Conainer</em>' containment reference.
+         * @see #setProblemConainer(LogicProblem)
+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_ProblemConainer()
+         * @model containment="true"
+         * @generated
+         */
+        LogicProblem getProblemConainer();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Problem Conainer</em>' containment reference.
+         * @see #getProblemConainer()
+         * @generated
+         */
+        void setProblemConainer(LogicProblem value);
+} // PartialInterpretation

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java new file mode 100644 index 00000000..46c85cc8 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java
@@ -0,0 +1,251 @@
	1	/**
	2	*/
	3	package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;
	4
	5	import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement;
	6
	7	import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem;
	8
	9	import org.eclipse.emf.common.util.EList;
	10
	11	import org.eclipse.emf.ecore.EObject;
	12
	13	/**
	14	* <!-- begin-user-doc -->
	15	* A representation of the model object '<em><b>Partial Interpretation</b></em>'.
	16	* <!-- end-user-doc -->
	17	*
	18	* <p>
	19	* The following features are supported:
	20	* </p>
	21	* <ul>
	22	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}</li>
	23	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialconstantinterpretation <em>Partialconstantinterpretation</em>}</li>
	24	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialrelationinterpretation <em>Partialrelationinterpretation</em>}</li>
	25	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li>
	26	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}</li>
	27	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li>
	28	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li>
	29	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li>
	30	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}</li>
	31	* <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li>
	32	* </ul>
	33	*
	34	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation()
	35	* @model
	36	* @generated
	37	*/
	38	public interface PartialInterpretation extends EObject {
	39	/**
	40	* Returns the value of the '<em><b>Problem</b></em>' reference.
	41	* <!-- begin-user-doc -->
	42	* <p>
	43	* If the meaning of the '<em>Problem</em>' reference isn't clear,
	44	* there really should be more of a description here...
	45	* </p>
	46	* <!-- end-user-doc -->
	47	* @return the value of the '<em>Problem</em>' reference.
	48	* @see #setProblem(LogicProblem)
	49	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Problem()
	50	* @model required="true"
	51	* @generated
	52	*/
	53	LogicProblem getProblem();
	54
	55	/**
	56	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblem <em>Problem</em>}' reference.
	57	* <!-- begin-user-doc -->
	58	* <!-- end-user-doc -->
	59	* @param value the new value of the '<em>Problem</em>' reference.
	60	* @see #getProblem()
	61	* @generated
	62	*/
	63	void setProblem(LogicProblem value);
	64
	65	/**
	66	* Returns the value of the '<em><b>Partialconstantinterpretation</b></em>' containment reference list.
	67	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation}.
	68	* <!-- begin-user-doc -->
	69	* <p>
	70	* If the meaning of the '<em>Partialconstantinterpretation</em>' containment reference list isn't clear,
	71	* there really should be more of a description here...
	72	* </p>
	73	* <!-- end-user-doc -->
	74	* @return the value of the '<em>Partialconstantinterpretation</em>' containment reference list.
	75	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialconstantinterpretation()
	76	* @model containment="true"
	77	* @generated
	78	*/
	79	EList<PartialConstantInterpretation> getPartialconstantinterpretation();
	80
	81	/**
	82	* Returns the value of the '<em><b>Partialrelationinterpretation</b></em>' containment reference list.
	83	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation}.
	84	* <!-- begin-user-doc -->
	85	* <p>
	86	* If the meaning of the '<em>Partialrelationinterpretation</em>' containment reference list isn't clear,
	87	* there really should be more of a description here...
	88	* </p>
	89	* <!-- end-user-doc -->
	90	* @return the value of the '<em>Partialrelationinterpretation</em>' containment reference list.
	91	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialrelationinterpretation()
	92	* @model containment="true"
	93	* @generated
	94	*/
	95	EList<PartialRelationInterpretation> getPartialrelationinterpretation();
	96
	97	/**
	98	* Returns the value of the '<em><b>Partialfunctioninterpretation</b></em>' containment reference list.
	99	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialFunctionInterpretation}.
	100	* <!-- begin-user-doc -->
	101	* <p>
	102	* If the meaning of the '<em>Partialfunctioninterpretation</em>' containment reference list isn't clear,
	103	* there really should be more of a description here...
	104	* </p>
	105	* <!-- end-user-doc -->
	106	* @return the value of the '<em>Partialfunctioninterpretation</em>' containment reference list.
	107	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialfunctioninterpretation()
	108	* @model containment="true"
	109	* @generated
	110	*/
	111	EList<PartialFunctionInterpretation> getPartialfunctioninterpretation();
	112
	113	/**
	114	* Returns the value of the '<em><b>New Elements</b></em>' containment reference list.
	115	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}.
	116	* <!-- begin-user-doc -->
	117	* <p>
	118	* If the meaning of the '<em>New Elements</em>' containment reference list isn't clear,
	119	* there really should be more of a description here...
	120	* </p>
	121	* <!-- end-user-doc -->
	122	* @return the value of the '<em>New Elements</em>' containment reference list.
	123	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewElements()
	124	* @model containment="true"
	125	* @generated
	126	*/
	127	EList<DefinedElement> getNewElements();
	128
	129	/**
	130	* Returns the value of the '<em><b>Partialtypeinterpratation</b></em>' containment reference list.
	131	* The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialTypeInterpratation}.
	132	* <!-- begin-user-doc -->
	133	* <p>
	134	* If the meaning of the '<em>Partialtypeinterpratation</em>' containment reference list isn't clear,
	135	* there really should be more of a description here...
	136	* </p>
	137	* <!-- end-user-doc -->
	138	* @return the value of the '<em>Partialtypeinterpratation</em>' containment reference list.
	139	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Partialtypeinterpratation()
	140	* @model containment="true"
	141	* @generated
	142	*/
	143	EList<PartialTypeInterpratation> getPartialtypeinterpratation();
	144
	145	/**
	146	* Returns the value of the '<em><b>Min New Elements</b></em>' attribute.
	147	* The default value is <code>"0"</code>.
	148	* <!-- begin-user-doc -->
	149	* <p>
	150	* If the meaning of the '<em>Min New Elements</em>' attribute isn't clear,
	151	* there really should be more of a description here...
	152	* </p>
	153	* <!-- end-user-doc -->
	154	* @return the value of the '<em>Min New Elements</em>' attribute.
	155	* @see #setMinNewElements(int)
	156	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements()
	157	* @model default="0" id="true" required="true"
	158	* @generated
	159	*/
	160	int getMinNewElements();
	161
	162	/**
	163	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute.
	164	* <!-- begin-user-doc -->
	165	* <!-- end-user-doc -->
	166	* @param value the new value of the '<em>Min New Elements</em>' attribute.
	167	* @see #getMinNewElements()
	168	* @generated
	169	*/
	170	void setMinNewElements(int value);
	171
	172	/**
	173	* Returns the value of the '<em><b>Max New Elements</b></em>' attribute.
	174	* The default value is <code>"0"</code>.
	175	* <!-- begin-user-doc -->
	176	* <p>
	177	* If the meaning of the '<em>Max New Elements</em>' attribute isn't clear,
	178	* there really should be more of a description here...
	179	* </p>
	180	* <!-- end-user-doc -->
	181	* @return the value of the '<em>Max New Elements</em>' attribute.
	182	* @see #setMaxNewElements(int)
	183	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements()
	184	* @model default="0" required="true"
	185	* @generated
	186	*/
	187	int getMaxNewElements();
	188
	189	/**
	190	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute.
	191	* <!-- begin-user-doc -->
	192	* <!-- end-user-doc -->
	193	* @param value the new value of the '<em>Max New Elements</em>' attribute.
	194	* @see #getMaxNewElements()
	195	* @generated
	196	*/
	197	void setMaxNewElements(int value);
	198
	199	/**
	200	* Returns the value of the '<em><b>Open World Element Prototype</b></em>' containment reference.
	201	* <!-- begin-user-doc -->
	202	* <p>
	203	* If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear,
	204	* there really should be more of a description here...
	205	* </p>
	206	* <!-- end-user-doc -->
	207	* @return the value of the '<em>Open World Element Prototype</em>' containment reference.
	208	* @see #setOpenWorldElementPrototype(DefinedElement)
	209	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype()
	210	* @model containment="true" required="true"
	211	* @generated
	212	*/
	213	DefinedElement getOpenWorldElementPrototype();
	214
	215	/**
	216	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference.
	217	* <!-- begin-user-doc -->
	218	* <!-- end-user-doc -->
	219	* @param value the new value of the '<em>Open World Element Prototype</em>' containment reference.
	220	* @see #getOpenWorldElementPrototype()
	221	* @generated
	222	*/
	223	void setOpenWorldElementPrototype(DefinedElement value);
	224
	225	/**
	226	* Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference.
	227	* <!-- begin-user-doc -->
	228	* <p>
	229	* If the meaning of the '<em>Problem Conainer</em>' containment reference isn't clear,
	230	* there really should be more of a description here...
	231	* </p>
	232	* <!-- end-user-doc -->
	233	* @return the value of the '<em>Problem Conainer</em>' containment reference.
	234	* @see #setProblemConainer(LogicProblem)
	235	* @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_ProblemConainer()
	236	* @model containment="true"
	237	* @generated
	238	*/
	239	LogicProblem getProblemConainer();
	240
	241	/**
	242	* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}' containment reference.
	243	* <!-- begin-user-doc -->
	244	* <!-- end-user-doc -->
	245	* @param value the new value of the '<em>Problem Conainer</em>' containment reference.
	246	* @see #getProblemConainer()
	247	* @generated
	248	*/
	249	void setProblemConainer(LogicProblem value);
	250
	251	} // PartialInterpretation