aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel30
1 files changed, 25 insertions, 5 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
index 80550537..303080e7 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel
@@ -104,9 +104,9 @@
104 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/leftOperand"/> 104 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/leftOperand"/>
105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/rightOperand"/> 105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//MoreOrEqualThan/rightOperand"/>
106 </genClasses> 106 </genClasses>
107 <genClasses image="false" ecoreClass="logiclanguage.ecore#//IntOperation"> 107 <genClasses image="false" ecoreClass="logiclanguage.ecore#//NumericOperation">
108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/leftOperand"/> 108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//NumericOperation/leftOperand"/>
109 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//IntOperation/rightOperand"/> 109 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//NumericOperation/rightOperand"/>
110 </genClasses> 110 </genClasses>
111 <genClasses ecoreClass="logiclanguage.ecore#//Plus"/> 111 <genClasses ecoreClass="logiclanguage.ecore#//Plus"/>
112 <genClasses ecoreClass="logiclanguage.ecore#//Minus"/> 112 <genClasses ecoreClass="logiclanguage.ecore#//Minus"/>
@@ -156,6 +156,26 @@
156 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/value"/> 156 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/value"/>
157 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/range"/> 157 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//InstanceOf/range"/>
158 </genClasses> 158 </genClasses>
159 <genClasses ecoreClass="logiclanguage.ecore#//StringTypeReference"/>
160 <genClasses ecoreClass="logiclanguage.ecore#//StringLiteral">
161 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//StringLiteral/value"/>
162 </genClasses>
163 <genClasses ecoreClass="logiclanguage.ecore#//TransitiveClosure">
164 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/leftOperand"/>
165 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/rightOperand"/>
166 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//TransitiveClosure/relation"/>
167 </genClasses>
168 <genClasses ecoreClass="logiclanguage.ecore#//Pow"/>
169 <genClasses image="false" ecoreClass="logiclanguage.ecore#//AggregateExpression">
170 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logiclanguage.ecore#//AggregateExpression/relation"/>
171 </genClasses>
172 <genClasses ecoreClass="logiclanguage.ecore#//Sum"/>
173 <genClasses ecoreClass="logiclanguage.ecore#//Count"/>
174 <genClasses ecoreClass="logiclanguage.ecore#//Min"/>
175 <genClasses ecoreClass="logiclanguage.ecore#//Max"/>
176 <genClasses image="false" ecoreClass="logiclanguage.ecore#//ProjectedAggregateExpression">
177 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute logiclanguage.ecore#//ProjectedAggregateExpression/projectionIndex"/>
178 </genClasses>
159 </genPackages> 179 </genPackages>
160 <genPackages prefix="Logicproblem" basePackage="hu.bme.mit.inf.dslreasoner.logic.model" 180 <genPackages prefix="Logicproblem" basePackage="hu.bme.mit.inf.dslreasoner.logic.model"
161 disposableProviderFactory="true" ecorePackage="logicproblem.ecore#/"> 181 disposableProviderFactory="true" ecorePackage="logicproblem.ecore#/">
@@ -171,8 +191,8 @@
171 </genClasses> 191 </genClasses>
172 <genClasses ecoreClass="logicproblem.ecore#//ContainmentHierarchy"> 192 <genClasses ecoreClass="logicproblem.ecore#//ContainmentHierarchy">
173 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/> 193 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/typesOrderedInHierarchy"/>
174 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentFunctions"/> 194 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/containmentFunctions"/>
175 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/parentRelations"/> 195 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/containmentRelations"/>
176 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/rootConstant"/> 196 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference logicproblem.ecore#//ContainmentHierarchy/rootConstant"/>
177 </genClasses> 197 </genClasses>
178 <genClasses ecoreClass="logicproblem.ecore#//RelationAnnotation"> 198 <genClasses ecoreClass="logicproblem.ecore#//RelationAnnotation">