diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-11-19 14:00:12 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-22 16:40:03 +0100 |
commit | 383137c190cab040d2609f8295ef822c3917b88d (patch) | |
tree | d0d88528de2020da51cb6e92459b84cf63609feb /subprojects/language-model/src/main/resources/model/problem.genmodel | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-383137c190cab040d2609f8295ef822c3917b88d.tar.gz refinery-383137c190cab040d2609f8295ef822c3917b88d.tar.zst refinery-383137c190cab040d2609f8295ef822c3917b88d.zip |
feat(language): numeric expressions
Diffstat (limited to 'subprojects/language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | subprojects/language-model/src/main/resources/model/problem.genmodel | 102 |
1 files changed, 73 insertions, 29 deletions
diff --git a/subprojects/language-model/src/main/resources/model/problem.genmodel b/subprojects/language-model/src/main/resources/model/problem.genmodel index 9ff4989b..230f9919 100644 --- a/subprojects/language-model/src/main/resources/model/problem.genmodel +++ b/subprojects/language-model/src/main/resources/model/problem.genmodel | |||
@@ -42,57 +42,65 @@ | |||
42 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/CONTAINED"/> | 42 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/CONTAINED"/> |
43 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/CONTAINMENT"/> | 43 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/CONTAINMENT"/> |
44 | </genEnums> | 44 | </genEnums> |
45 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//UnaryOp"> | ||
46 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//UnaryOp/PLUS"/> | ||
47 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//UnaryOp/MINUS"/> | ||
48 | </genEnums> | ||
49 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//BinaryOp"> | ||
50 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/ADD"/> | ||
51 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/SUB"/> | ||
52 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/MUL"/> | ||
53 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/DIV"/> | ||
54 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//BinaryOp/POW"/> | ||
55 | </genEnums> | ||
56 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//AggregationOp"> | ||
57 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/SUM"/> | ||
58 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/PROD"/> | ||
59 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MIN"/> | ||
60 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//AggregationOp/MAX"/> | ||
61 | </genEnums> | ||
45 | <genClasses ecoreClass="problem.ecore#//Problem"> | 62 | <genClasses ecoreClass="problem.ecore#//Problem"> |
46 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> | 63 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> |
47 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> | 64 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> |
48 | </genClasses> | 65 | </genClasses> |
49 | <genClasses ecoreClass="problem.ecore#//Relation"/> | ||
50 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> | 66 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> |
51 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> | 67 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> |
52 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> | ||
53 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> | 68 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> |
54 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> | 69 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> |
70 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> | ||
55 | </genClasses> | 71 | </genClasses> |
56 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> | 72 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> |
57 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> | ||
58 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> | 73 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> |
59 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> | 74 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> |
60 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/kind"/> | 75 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/kind"/> |
76 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> | ||
61 | </genClasses> | 77 | </genClasses> |
62 | <genClasses ecoreClass="problem.ecore#//NamedElement"> | 78 | <genClasses ecoreClass="problem.ecore#//NamedElement"> |
63 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> | 79 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> |
64 | </genClasses> | 80 | </genClasses> |
65 | <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> | 81 | <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> |
66 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/> | 82 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/> |
83 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//PredicateDefinition/bodies"/> | ||
67 | </genClasses> | 84 | </genClasses> |
68 | <genClasses ecoreClass="problem.ecore#//Parameter"> | 85 | <genClasses ecoreClass="problem.ecore#//Parameter"> |
69 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> | ||
70 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Parameter/modality"/> | 86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Parameter/modality"/> |
87 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> | ||
71 | </genClasses> | 88 | </genClasses> |
72 | <genClasses ecoreClass="problem.ecore#//Variable"/> | 89 | <genClasses ecoreClass="problem.ecore#//Variable"/> |
73 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | ||
74 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> | ||
75 | </genClasses> | ||
76 | <genClasses ecoreClass="problem.ecore#//Literal"> | ||
77 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Literal/modality"/> | ||
78 | </genClasses> | ||
79 | <genClasses ecoreClass="problem.ecore#//Atom"> | 90 | <genClasses ecoreClass="problem.ecore#//Atom"> |
80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> | ||
81 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> | 91 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> |
82 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> | 92 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> |
93 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> | ||
83 | </genClasses> | 94 | </genClasses> |
84 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> | 95 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> |
85 | <genClasses ecoreClass="problem.ecore#//CompoundLiteral"> | ||
86 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CompoundLiteral/atom"/> | ||
87 | </genClasses> | ||
88 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> | 96 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> |
89 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> | 97 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> |
90 | </genClasses> | 98 | </genClasses> |
91 | <genClasses ecoreClass="problem.ecore#//Assertion"> | 99 | <genClasses ecoreClass="problem.ecore#//Assertion"> |
92 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> | ||
93 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> | 100 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> |
94 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> | 101 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> |
95 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> | 102 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> |
103 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> | ||
96 | </genClasses> | 104 | </genClasses> |
97 | <genClasses ecoreClass="problem.ecore#//Node"/> | 105 | <genClasses ecoreClass="problem.ecore#//Node"/> |
98 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> | 106 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> |
@@ -100,9 +108,9 @@ | |||
100 | </genClasses> | 108 | </genClasses> |
101 | <genClasses ecoreClass="problem.ecore#//Statement"/> | 109 | <genClasses ecoreClass="problem.ecore#//Statement"/> |
102 | <genClasses ecoreClass="problem.ecore#//TypeScope"> | 110 | <genClasses ecoreClass="problem.ecore#//TypeScope"> |
103 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> | ||
104 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> | 111 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> |
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> | 112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> |
113 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> | ||
106 | </genClasses> | 114 | </genClasses> |
107 | <genClasses ecoreClass="problem.ecore#//Multiplicity"/> | 115 | <genClasses ecoreClass="problem.ecore#//Multiplicity"/> |
108 | <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> | 116 | <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> |
@@ -113,10 +121,6 @@ | |||
113 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> | 121 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> |
114 | </genClasses> | 122 | </genClasses> |
115 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> | 123 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> |
116 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument"> | ||
117 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/> | ||
118 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/> | ||
119 | </genClasses> | ||
120 | <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> | 124 | <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> |
121 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> | 125 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> |
122 | </genClasses> | 126 | </genClasses> |
@@ -131,10 +135,6 @@ | |||
131 | <genClasses ecoreClass="problem.ecore#//StringConstant"> | 135 | <genClasses ecoreClass="problem.ecore#//StringConstant"> |
132 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> | 136 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> |
133 | </genClasses> | 137 | </genClasses> |
134 | <genClasses ecoreClass="problem.ecore#//ConstantArgument"> | ||
135 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/> | ||
136 | </genClasses> | ||
137 | <genClasses ecoreClass="problem.ecore#//Argument"/> | ||
138 | <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> | 138 | <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> |
139 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> | 139 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> |
140 | </genClasses> | 140 | </genClasses> |
@@ -142,6 +142,7 @@ | |||
142 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> | 142 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> |
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> | 143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> |
144 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/node"/> | 144 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/node"/> |
145 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ConstantAssertionArgument/negative"/> | ||
145 | </genClasses> | 146 | </genClasses> |
146 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> | 147 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> |
147 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> | 148 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> |
@@ -152,11 +153,11 @@ | |||
152 | </genClasses> | 153 | </genClasses> |
153 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> | 154 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> |
154 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> | 155 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> |
155 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/bodies"/> | ||
156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/parameters"/> | 156 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/parameters"/> |
157 | </genClasses> | 157 | </genClasses> |
158 | <genClasses ecoreClass="problem.ecore#//RuleDefinition"> | 158 | <genClasses ecoreClass="problem.ecore#//RuleDefinition"> |
159 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/consequents"/> | 159 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/consequents"/> |
160 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/preconditions"/> | ||
160 | </genClasses> | 161 | </genClasses> |
161 | <genClasses ecoreClass="problem.ecore#//Consequent"> | 162 | <genClasses ecoreClass="problem.ecore#//Consequent"> |
162 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Consequent/actions"/> | 163 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Consequent/actions"/> |
@@ -175,10 +176,53 @@ | |||
175 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NewAction/parent"/> | 176 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NewAction/parent"/> |
176 | </genClasses> | 177 | </genClasses> |
177 | <genClasses ecoreClass="problem.ecore#//NewVariable"/> | 178 | <genClasses ecoreClass="problem.ecore#//NewVariable"/> |
178 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"/> | 179 | <genClasses ecoreClass="problem.ecore#//Expr"/> |
179 | <genClasses ecoreClass="problem.ecore#//CountLiteral"> | 180 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeExpr"> |
180 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//CountLiteral/op"/> | 181 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeExpr/variableOrNode"/> |
181 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//CountLiteral/threshold"/> | 182 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeExpr/singletonVariable"/> |
183 | </genClasses> | ||
184 | <genClasses ecoreClass="problem.ecore#//BinaryExpr"> | ||
185 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//BinaryExpr/left"/> | ||
186 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//BinaryExpr/right"/> | ||
187 | </genClasses> | ||
188 | <genClasses ecoreClass="problem.ecore#//UnaryExpr"> | ||
189 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//UnaryExpr/body"/> | ||
190 | </genClasses> | ||
191 | <genClasses ecoreClass="problem.ecore#//ArithmeticUnaryExpr"> | ||
192 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ArithmeticUnaryExpr/op"/> | ||
193 | </genClasses> | ||
194 | <genClasses ecoreClass="problem.ecore#//AggregationExpr"> | ||
195 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/value"/> | ||
196 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//AggregationExpr/condition"/> | ||
197 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//AggregationExpr/op"/> | ||
198 | </genClasses> | ||
199 | <genClasses ecoreClass="problem.ecore#//ComparisonExpr"> | ||
200 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ComparisonExpr/op"/> | ||
201 | </genClasses> | ||
202 | <genClasses ecoreClass="problem.ecore#//ConstantExpr"> | ||
203 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantExpr/constant"/> | ||
204 | </genClasses> | ||
205 | <genClasses ecoreClass="problem.ecore#//QuantifiedUnaryExpr"/> | ||
206 | <genClasses ecoreClass="problem.ecore#//FunctionDefinition"> | ||
207 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/cases"/> | ||
208 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//FunctionDefinition/functionType"/> | ||
209 | </genClasses> | ||
210 | <genClasses ecoreClass="problem.ecore#//Case"/> | ||
211 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | ||
212 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> | ||
213 | </genClasses> | ||
214 | <genClasses ecoreClass="problem.ecore#//Match"> | ||
215 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Match/condition"/> | ||
216 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Match/value"/> | ||
217 | </genClasses> | ||
218 | <genClasses ecoreClass="problem.ecore#//ArithmeticBinaryExpr"> | ||
219 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ArithmeticBinaryExpr/op"/> | ||
220 | </genClasses> | ||
221 | <genClasses ecoreClass="problem.ecore#//NegationExpr"/> | ||
222 | <genClasses ecoreClass="problem.ecore#//CountExpr"/> | ||
223 | <genClasses ecoreClass="problem.ecore#//Relation"/> | ||
224 | <genClasses ecoreClass="problem.ecore#//ModalExpr"> | ||
225 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ModalExpr/modality"/> | ||
182 | </genClasses> | 226 | </genClasses> |
183 | </genPackages> | 227 | </genPackages> |
184 | </genmodel:GenModel> | 228 | </genmodel:GenModel> |