aboutsummaryrefslogtreecommitdiffstats
path: root/language-model/src/main/resources/model/problem.genmodel
diff options
context:
space:
mode:
Diffstat (limited to 'language-model/src/main/resources/model/problem.genmodel')
-rw-r--r--language-model/src/main/resources/model/problem.genmodel292
1 files changed, 165 insertions, 127 deletions
diff --git a/language-model/src/main/resources/model/problem.genmodel b/language-model/src/main/resources/model/problem.genmodel
index 057b4917..3a244742 100644
--- a/language-model/src/main/resources/model/problem.genmodel
+++ b/language-model/src/main/resources/model/problem.genmodel
@@ -1,127 +1,165 @@
1<?xml version="1.0" encoding="UTF-8"?> 1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 2<genmodel:GenModel 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" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" 3 xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
4 modelDirectory="/language-model/src/main/emf-gen" creationIcons="false" 4 modelDirectory="/language-model/src/main/emf-gen" creationIcons="false"
5 editDirectory="/language-edit/src/main/emf-gen" editorDirectory="/org.eclipse.viatra.solver.language.model.editor/src-gen" 5 editDirectory="/language-edit/src/main/emf-gen" editorDirectory="/org.eclipse.viatra.solver.language.model.editor/src-gen"
6 modelPluginID="language-model" modelName="Problem" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" 6 modelPluginID="language-model" modelName="Problem" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
7 codeFormatting="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0" 7 codeFormatting="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0"
8 copyrightFields="false" operationReflection="true" importOrganizing="true"> 8 copyrightFields="false" operationReflection="true" importOrganizing="true">
9 <foreignModel>problem.ecore</foreignModel> 9 <foreignModel>problem.ecore</foreignModel>
10 <testsDirectory xsi:nil="true"/> 10 <testsDirectory xsi:nil="true"/>
11 <genPackages prefix="Problem" basePackage="tools.refinery.language.model" resource="XMI" 11 <genPackages prefix="Problem" basePackage="tools.refinery.language.model" resource="XMI"
12 disposableProviderFactory="true" fileExtensions="problem_xmi" ecorePackage="problem.ecore#/"> 12 disposableProviderFactory="true" fileExtensions="problem_xmi" ecorePackage="problem.ecore#/">
13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue"> 13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue">
14 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/> 14 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/>
15 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/> 15 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/>
16 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/> 16 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/>
17 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/ERROR"/> 17 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/ERROR"/>
18 </genEnums> 18 </genEnums>
19 <genClasses ecoreClass="problem.ecore#//Problem"> 19 <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PredicateKind">
20 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> 20 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/PARTIAL"/>
21 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> 21 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/DIRECT"/>
22 </genClasses> 22 </genEnums>
23 <genClasses ecoreClass="problem.ecore#//Relation"/> 23 <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//RuleKind">
24 <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> 24 <genEnumLiterals ecoreEnumLiteral="problem.ecore#//RuleKind/DIRECT"/>
25 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> 25 </genEnums>
26 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> 26 <genClasses ecoreClass="problem.ecore#//Problem">
27 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> 27 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/>
28 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> 28 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/>
29 </genClasses> 29 </genClasses>
30 <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> 30 <genClasses ecoreClass="problem.ecore#//Relation"/>
31 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> 31 <genClasses ecoreClass="problem.ecore#//ClassDeclaration">
32 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> 32 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/>
33 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/> 33 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/>
34 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> 34 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/>
35 </genClasses> 35 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/>
36 <genClasses ecoreClass="problem.ecore#//NamedElement"> 36 </genClasses>
37 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> 37 <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration">
38 </genClasses> 38 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/>
39 <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> 39 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/>
40 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/> 40 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/>
41 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//PredicateDefinition/parameters"/> 41 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/>
42 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//PredicateDefinition/bodies"/> 42 </genClasses>
43 </genClasses> 43 <genClasses ecoreClass="problem.ecore#//NamedElement">
44 <genClasses ecoreClass="problem.ecore#//Parameter"> 44 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/>
45 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> 45 </genClasses>
46 </genClasses> 46 <genClasses ecoreClass="problem.ecore#//PredicateDefinition">
47 <genClasses ecoreClass="problem.ecore#//Variable"/> 47 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/>
48 <genClasses ecoreClass="problem.ecore#//Conjunction"> 48 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/>
49 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> 49 </genClasses>
50 </genClasses> 50 <genClasses ecoreClass="problem.ecore#//Parameter">
51 <genClasses ecoreClass="problem.ecore#//Literal"/> 51 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/>
52 <genClasses ecoreClass="problem.ecore#//Atom"> 52 </genClasses>
53 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> 53 <genClasses ecoreClass="problem.ecore#//Variable"/>
54 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> 54 <genClasses ecoreClass="problem.ecore#//Conjunction">
55 <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> 55 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/>
56 </genClasses> 56 </genClasses>
57 <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> 57 <genClasses ecoreClass="problem.ecore#//Literal"/>
58 <genClasses ecoreClass="problem.ecore#//NegativeLiteral"> 58 <genClasses ecoreClass="problem.ecore#//Atom">
59 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NegativeLiteral/atom"/> 59 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/>
60 </genClasses> 60 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/>
61 <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> 61 <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/>
62 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> 62 </genClasses>
63 </genClasses> 63 <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/>
64 <genClasses ecoreClass="problem.ecore#//Assertion"> 64 <genClasses ecoreClass="problem.ecore#//NegativeLiteral"/>
65 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> 65 <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier">
66 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> 66 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/>
67 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> 67 </genClasses>
68 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> 68 <genClasses ecoreClass="problem.ecore#//Assertion">
69 </genClasses> 69 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/>
70 <genClasses ecoreClass="problem.ecore#//Node"/> 70 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/>
71 <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> 71 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/>
72 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/> 72 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/>
73 </genClasses> 73 </genClasses>
74 <genClasses ecoreClass="problem.ecore#//Statement"/> 74 <genClasses ecoreClass="problem.ecore#//Node"/>
75 <genClasses ecoreClass="problem.ecore#//TypeScope"> 75 <genClasses ecoreClass="problem.ecore#//ScopeDeclaration">
76 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> 76 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/>
77 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> 77 </genClasses>
78 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> 78 <genClasses ecoreClass="problem.ecore#//Statement"/>
79 </genClasses> 79 <genClasses ecoreClass="problem.ecore#//TypeScope">
80 <genClasses ecoreClass="problem.ecore#//Multiplicity"/> 80 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/>
81 <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> 81 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/>
82 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/> 82 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/>
83 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/> 83 </genClasses>
84 </genClasses> 84 <genClasses ecoreClass="problem.ecore#//Multiplicity"/>
85 <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> 85 <genClasses ecoreClass="problem.ecore#//RangeMultiplicity">
86 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> 86 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/>
87 </genClasses> 87 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/>
88 <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> 88 </genClasses>
89 <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument"> 89 <genClasses ecoreClass="problem.ecore#//ExactMultiplicity">
90 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/> 90 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/>
91 <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/> 91 </genClasses>
92 </genClasses> 92 <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/>
93 <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> 93 <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument">
94 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> 94 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/>
95 </genClasses> 95 <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/>
96 <genClasses ecoreClass="problem.ecore#//VariableOrNode"/> 96 </genClasses>
97 <genClasses ecoreClass="problem.ecore#//Constant"/> 97 <genClasses ecoreClass="problem.ecore#//EnumDeclaration">
98 <genClasses ecoreClass="problem.ecore#//IntConstant"> 98 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/>
99 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//IntConstant/intValue"/> 99 </genClasses>
100 </genClasses> 100 <genClasses ecoreClass="problem.ecore#//VariableOrNode"/>
101 <genClasses ecoreClass="problem.ecore#//RealConstant"> 101 <genClasses ecoreClass="problem.ecore#//Constant"/>
102 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RealConstant/realValue"/> 102 <genClasses ecoreClass="problem.ecore#//IntConstant">
103 </genClasses> 103 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//IntConstant/intValue"/>
104 <genClasses ecoreClass="problem.ecore#//StringConstant"> 104 </genClasses>
105 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> 105 <genClasses ecoreClass="problem.ecore#//RealConstant">
106 </genClasses> 106 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RealConstant/realValue"/>
107 <genClasses ecoreClass="problem.ecore#//ConstantArgument"> 107 </genClasses>
108 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/> 108 <genClasses ecoreClass="problem.ecore#//StringConstant">
109 </genClasses> 109 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/>
110 <genClasses ecoreClass="problem.ecore#//Argument"/> 110 </genClasses>
111 <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> 111 <genClasses ecoreClass="problem.ecore#//ConstantArgument">
112 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> 112 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/>
113 </genClasses> 113 </genClasses>
114 <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> 114 <genClasses ecoreClass="problem.ecore#//Argument"/>
115 <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> 115 <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument">
116 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> 116 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/>
117 </genClasses> 117 </genClasses>
118 <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> 118 <genClasses ecoreClass="problem.ecore#//AssertionArgument"/>
119 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> 119 <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument">
120 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/value"/> 120 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/>
121 </genClasses> 121 </genClasses>
122 <genClasses ecoreClass="problem.ecore#//UniqueDeclaration"> 122 <genClasses ecoreClass="problem.ecore#//NodeValueAssertion">
123 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//UniqueDeclaration/nodes"/> 123 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/>
124 </genClasses> 124 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/value"/>
125 <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> 125 </genClasses>
126 </genPackages> 126 <genClasses ecoreClass="problem.ecore#//UniqueDeclaration">
127</genmodel:GenModel> 127 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//UniqueDeclaration/nodes"/>
128 </genClasses>
129 <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/>
130 <genClasses ecoreClass="problem.ecore#//ParametricDefinition">
131 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/bodies"/>
132 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/parameters"/>
133 </genClasses>
134 <genClasses ecoreClass="problem.ecore#//RuleDefinition">
135 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RuleDefinition/kind"/>
136 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/action"/>
137 </genClasses>
138 <genClasses ecoreClass="problem.ecore#//Action">
139 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Action/actionLiterals"/>
140 </genClasses>
141 <genClasses ecoreClass="problem.ecore#//ActionLiteral"/>
142 <genClasses ecoreClass="problem.ecore#//ValueActionLiteral">
143 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueActionLiteral/atom"/>
144 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/value"/>
145 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/refinement"/>
146 </genClasses>
147 <genClasses ecoreClass="problem.ecore#//DeleteActionLiteral">
148 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//DeleteActionLiteral/variableOrNode"/>
149 </genClasses>
150 <genClasses ecoreClass="problem.ecore#//NewActionLiteral">
151 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NewActionLiteral/variable"/>
152 </genClasses>
153 <genClasses ecoreClass="problem.ecore#//NewVariable"/>
154 <genClasses ecoreClass="problem.ecore#//CompoundLiteral">
155 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CompoundLiteral/atom"/>
156 </genClasses>
157 <genClasses ecoreClass="problem.ecore#//ValueLiteral">
158 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueLiteral/values"/>
159 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueLiteral/refinement"/>
160 </genClasses>
161 <genClasses ecoreClass="problem.ecore#//LogicConstant">
162 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/value"/>
163 </genClasses>
164 </genPackages>
165</genmodel:GenModel>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 22:04:07 +0000