1 files changed, 76 insertions, 0 deletions
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
new file mode 100644
index 00000000..fd7ca595
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
@@ -0,0 +1,76 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partialinterpretation" nsURI="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
+    nsPrefix="partialinterpretation">
+  <eClassifiers xsi:type="ecore:EClass" name="PartialInterpretation">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="problem" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="partialconstantinterpretation"
+        upperBound="-1" eType="#//PartialConstantInterpretation" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="partialrelationinterpretation"
+        upperBound="-1" eType="#//PartialRelationInterpretation" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="partialfunctioninterpretation"
+        upperBound="-1" eType="#//PartialFunctionInterpretation" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="newElements" upperBound="-1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
+        containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation"
+        upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"
+        iD="true"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1"
+        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototype"
+        lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
+        containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"
+        containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="pregeneratedRelationLinks"
+        upperBound="-1" eType="#//BinaryElementRelationLink"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="preGeneratedElements" upperBound="-1"
+        eType="#//PartialTypeInterpratation" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//ConstantDeclaration"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="PartialRelationInterpretation">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="relationlinks" upperBound="-1"
+        eType="#//RelationLink" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="param1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="param2" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="PartialFunctionInterpretation">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation"
+        upperBound="-1" eType="#//PartialTypeInterpratation"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/>
+  <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="BinaryElementRelationLink" eSuperTypes="#//RelationLink">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="param2" lowerBound="1"
+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLink" eSuperTypes="#//RelationLink">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
+        eType="#//NaryRelationLinkElement" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
+  </eClassifiers>
+</ecore:EPackage>

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 new file mode 100644 index 00000000..fd7ca595 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore
@@ -0,0 +1,76 @@
	1	<?xml version="1.0" encoding="UTF-8"?>
	2	<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
	3	xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partialinterpretation" nsURI="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
	4	nsPrefix="partialinterpretation">
	5	<eClassifiers xsi:type="ecore:EClass" name="PartialInterpretation">
	6	<eStructuralFeatures xsi:type="ecore:EReference" name="problem" lowerBound="1"
	7	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/>
	8	<eStructuralFeatures xsi:type="ecore:EReference" name="partialconstantinterpretation"
	9	upperBound="-1" eType="#//PartialConstantInterpretation" containment="true"/>
	10	<eStructuralFeatures xsi:type="ecore:EReference" name="partialrelationinterpretation"
	11	upperBound="-1" eType="#//PartialRelationInterpretation" containment="true"/>
	12	<eStructuralFeatures xsi:type="ecore:EReference" name="partialfunctioninterpretation"
	13	upperBound="-1" eType="#//PartialFunctionInterpretation" containment="true"/>
	14	<eStructuralFeatures xsi:type="ecore:EReference" name="newElements" upperBound="-1"
	15	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
	16	containment="true"/>
	17	<eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation"
	18	upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/>
	19	<eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1"
	20	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"
	21	iD="true"/>
	22	<eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1"
	23	eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
	24	<eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototype"
	25	lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"
	26	containment="true"/>
	27	<eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"
	28	containment="true"/>
	29	<eStructuralFeatures xsi:type="ecore:EReference" name="pregeneratedRelationLinks"
	30	upperBound="-1" eType="#//BinaryElementRelationLink"/>
	31	<eStructuralFeatures xsi:type="ecore:EReference" name="preGeneratedElements" upperBound="-1"
	32	eType="#//PartialTypeInterpratation" containment="true"/>
	33	</eClassifiers>
	34	<eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation">
	35	<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
	36	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//ConstantDeclaration"/>
	37	</eClassifiers>
	38	<eClassifiers xsi:type="ecore:EClass" name="PartialRelationInterpretation">
	39	<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
	40	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>
	41	<eStructuralFeatures xsi:type="ecore:EReference" name="relationlinks" upperBound="-1"
	42	eType="#//RelationLink" containment="true"/>
	43	<eStructuralFeatures xsi:type="ecore:EReference" name="param1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
	44	<eStructuralFeatures xsi:type="ecore:EReference" name="param2" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/>
	45	</eClassifiers>
	46	<eClassifiers xsi:type="ecore:EClass" name="PartialFunctionInterpretation">
	47	<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
	48	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/>
	49	</eClassifiers>
	50	<eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation">
	51	<eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1"
	52	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/>
	53	<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
	54	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
	55	<eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation"
	56	upperBound="-1" eType="#//PartialTypeInterpratation"/>
	57	</eClassifiers>
	58	<eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/>
	59	<eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink">
	60	<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
	61	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
	62	</eClassifiers>
	63	<eClassifiers xsi:type="ecore:EClass" name="BinaryElementRelationLink" eSuperTypes="#//RelationLink">
	64	<eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1"
	65	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
	66	<eStructuralFeatures xsi:type="ecore:EReference" name="param2" lowerBound="1"
	67	eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>
	68	</eClassifiers>
	69	<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLink" eSuperTypes="#//RelationLink">
	70	<eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1"
	71	eType="#//NaryRelationLinkElement" containment="true"/>
	72	</eClassifiers>
	73	<eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement">
	74	<eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
	75	</eClassifiers>
	76	</ecore:EPackage>