1 files changed, 31 insertions, 0 deletions
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 @@
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/newElements"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialtypeinterpratation"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/openWorldElements"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/problemConainer"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/scope"/>
    </genClasses>
    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialConstantInterpretation">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialConstantInterpretation/interpretationOf"/>
@@ -23,6 +26,8 @@
    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialRelationInterpretation">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/interpretationOf"/>
      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/relationlinks"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/param1"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/param2"/>
    </genClasses>
    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialFunctionInterpretation">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialFunctionInterpretation/interpretationOf"/>
@@ -30,6 +35,7 @@
    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialTypeInterpratation">
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/interpretationOf"/>
      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/elements"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/supertypeInterpretation"/>
    </genClasses>
    <genClasses image="false" ecoreClass="PartialInterpretation.ecore#//RelationLink"/>
    <genClasses ecoreClass="PartialInterpretation.ecore#//UnaryElementRelationLink">
@@ -45,5 +51,30 @@
    <genClasses ecoreClass="PartialInterpretation.ecore#//NaryRelationLinkElement">
      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//NaryRelationLinkElement/index"/>
    </genClasses>
+    <genClasses image="false" ecoreClass="PartialInterpretation.ecore#//PrimitiveElement">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//PrimitiveElement/valueSet"/>
+    </genClasses>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//BooleanElement">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//BooleanElement/value"/>
+    </genClasses>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//IntegerElement">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//IntegerElement/value"/>
+    </genClasses>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//RealElement">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//RealElement/value"/>
+    </genClasses>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//StringElement">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//StringElement/value"/>
+    </genClasses>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//Scope">
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//Scope/minNewElements"/>
+      <genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//Scope/maxNewElements"/>
+      <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//Scope/targetTypeInterpretation"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="PartialInterpretation.ecore#//PartialPrimitiveInterpretation"/>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialBooleanInterpretation"/>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialIntegerInterpretation"/>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialRealInterpretation"/>
+    <genClasses ecoreClass="PartialInterpretation.ecore#//PartialStringInterpretation"/>
  </genPackages>
 </genmodel:GenModel>

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 @@
16	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/>	16	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/>
17	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/newElements"/>	17	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/newElements"/>
18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialtypeinterpratation"/>	18	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/partialtypeinterpratation"/>
		19	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/openWorldElements"/>
		20	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/problemConainer"/>
		21	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialInterpretation/scope"/>
19	</genClasses>	22	</genClasses>
20	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialConstantInterpretation">	23	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialConstantInterpretation">
21	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialConstantInterpretation/interpretationOf"/>	24	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialConstantInterpretation/interpretationOf"/>
@@ -23,6 +26,8 @@
23	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialRelationInterpretation">	26	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialRelationInterpretation">
24	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/interpretationOf"/>	27	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/interpretationOf"/>
25	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/relationlinks"/>	28	<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/relationlinks"/>
		29	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/param1"/>
		30	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialRelationInterpretation/param2"/>
26	</genClasses>	31	</genClasses>
27	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialFunctionInterpretation">	32	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialFunctionInterpretation">
28	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialFunctionInterpretation/interpretationOf"/>	33	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialFunctionInterpretation/interpretationOf"/>
@@ -30,6 +35,7 @@
30	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialTypeInterpratation">	35	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialTypeInterpratation">
31	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/interpretationOf"/>	36	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/interpretationOf"/>
32	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/elements"/>	37	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/elements"/>
		38	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//PartialTypeInterpratation/supertypeInterpretation"/>
33	</genClasses>	39	</genClasses>
34	<genClasses image="false" ecoreClass="PartialInterpretation.ecore#//RelationLink"/>	40	<genClasses image="false" ecoreClass="PartialInterpretation.ecore#//RelationLink"/>
35	<genClasses ecoreClass="PartialInterpretation.ecore#//UnaryElementRelationLink">	41	<genClasses ecoreClass="PartialInterpretation.ecore#//UnaryElementRelationLink">
@@ -45,5 +51,30 @@
45	<genClasses ecoreClass="PartialInterpretation.ecore#//NaryRelationLinkElement">	51	<genClasses ecoreClass="PartialInterpretation.ecore#//NaryRelationLinkElement">
46	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//NaryRelationLinkElement/index"/>	52	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//NaryRelationLinkElement/index"/>
47	</genClasses>	53	</genClasses>
		54	<genClasses image="false" ecoreClass="PartialInterpretation.ecore#//PrimitiveElement">
		55	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//PrimitiveElement/valueSet"/>
		56	</genClasses>
		57	<genClasses ecoreClass="PartialInterpretation.ecore#//BooleanElement">
		58	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//BooleanElement/value"/>
		59	</genClasses>
		60	<genClasses ecoreClass="PartialInterpretation.ecore#//IntegerElement">
		61	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//IntegerElement/value"/>
		62	</genClasses>
		63	<genClasses ecoreClass="PartialInterpretation.ecore#//RealElement">
		64	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//RealElement/value"/>
		65	</genClasses>
		66	<genClasses ecoreClass="PartialInterpretation.ecore#//StringElement">
		67	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//StringElement/value"/>
		68	</genClasses>
		69	<genClasses ecoreClass="PartialInterpretation.ecore#//Scope">
		70	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//Scope/minNewElements"/>
		71	<genFeatures createChild="false" ecoreFeature="ecore:EAttribute PartialInterpretation.ecore#//Scope/maxNewElements"/>
		72	<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference PartialInterpretation.ecore#//Scope/targetTypeInterpretation"/>
		73	</genClasses>
		74	<genClasses image="false" ecoreClass="PartialInterpretation.ecore#//PartialPrimitiveInterpretation"/>
		75	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialBooleanInterpretation"/>
		76	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialIntegerInterpretation"/>
		77	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialRealInterpretation"/>
		78	<genClasses ecoreClass="PartialInterpretation.ecore#//PartialStringInterpretation"/>
48	</genPackages>	79	</genPackages>
49	</genmodel:GenModel>	80	</genmodel:GenModel>