diff options
Diffstat (limited to 'language-model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | language-model/src/main/resources/model/problem.genmodel | 330 |
1 files changed, 165 insertions, 165 deletions
diff --git a/language-model/src/main/resources/model/problem.genmodel b/language-model/src/main/resources/model/problem.genmodel index 3a244742..094533e7 100644 --- a/language-model/src/main/resources/model/problem.genmodel +++ b/language-model/src/main/resources/model/problem.genmodel | |||
@@ -1,165 +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 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PredicateKind"> | 19 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//PredicateKind"> |
20 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/PARTIAL"/> | 20 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/PARTIAL"/> |
21 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/DIRECT"/> | 21 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//PredicateKind/DIRECT"/> |
22 | </genEnums> | 22 | </genEnums> |
23 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//RuleKind"> | 23 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//RuleKind"> |
24 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//RuleKind/DIRECT"/> | 24 | <genEnumLiterals ecoreEnumLiteral="problem.ecore#//RuleKind/DIRECT"/> |
25 | </genEnums> | 25 | </genEnums> |
26 | <genClasses ecoreClass="problem.ecore#//Problem"> | 26 | <genClasses ecoreClass="problem.ecore#//Problem"> |
27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/> | 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#//Problem/statements"/> | 28 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/> |
29 | </genClasses> | 29 | </genClasses> |
30 | <genClasses ecoreClass="problem.ecore#//Relation"/> | 30 | <genClasses ecoreClass="problem.ecore#//Relation"/> |
31 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> | 31 | <genClasses ecoreClass="problem.ecore#//ClassDeclaration"> |
32 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> | 32 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> |
33 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> | 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#//ClassDeclaration/referenceDeclarations"/> | 34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> |
35 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> | 35 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> |
36 | </genClasses> | 36 | </genClasses> |
37 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> | 37 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> |
38 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> | 38 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> |
39 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> | 39 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/> |
40 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/> | 40 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/> |
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> | 41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/> |
42 | </genClasses> | 42 | </genClasses> |
43 | <genClasses ecoreClass="problem.ecore#//NamedElement"> | 43 | <genClasses ecoreClass="problem.ecore#//NamedElement"> |
44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> | 44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/> |
45 | </genClasses> | 45 | </genClasses> |
46 | <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> | 46 | <genClasses ecoreClass="problem.ecore#//PredicateDefinition"> |
47 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/> | 47 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/> |
48 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/> | 48 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/kind"/> |
49 | </genClasses> | 49 | </genClasses> |
50 | <genClasses ecoreClass="problem.ecore#//Parameter"> | 50 | <genClasses ecoreClass="problem.ecore#//Parameter"> |
51 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> | 51 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/> |
52 | </genClasses> | 52 | </genClasses> |
53 | <genClasses ecoreClass="problem.ecore#//Variable"/> | 53 | <genClasses ecoreClass="problem.ecore#//Variable"/> |
54 | <genClasses ecoreClass="problem.ecore#//Conjunction"> | 54 | <genClasses ecoreClass="problem.ecore#//Conjunction"> |
55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> | 55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/> |
56 | </genClasses> | 56 | </genClasses> |
57 | <genClasses ecoreClass="problem.ecore#//Literal"/> | 57 | <genClasses ecoreClass="problem.ecore#//Literal"/> |
58 | <genClasses ecoreClass="problem.ecore#//Atom"> | 58 | <genClasses ecoreClass="problem.ecore#//Atom"> |
59 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> | 59 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> |
60 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> | 60 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> |
61 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> | 61 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> |
62 | </genClasses> | 62 | </genClasses> |
63 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> | 63 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> |
64 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"/> | 64 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"/> |
65 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> | 65 | <genClasses ecoreClass="problem.ecore#//ExistentialQuantifier"> |
66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> | 66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/> |
67 | </genClasses> | 67 | </genClasses> |
68 | <genClasses ecoreClass="problem.ecore#//Assertion"> | 68 | <genClasses ecoreClass="problem.ecore#//Assertion"> |
69 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> | 69 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/> |
70 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> | 70 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/> |
71 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> | 71 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/> |
72 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> | 72 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/default"/> |
73 | </genClasses> | 73 | </genClasses> |
74 | <genClasses ecoreClass="problem.ecore#//Node"/> | 74 | <genClasses ecoreClass="problem.ecore#//Node"/> |
75 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> | 75 | <genClasses ecoreClass="problem.ecore#//ScopeDeclaration"> |
76 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/> | 76 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/> |
77 | </genClasses> | 77 | </genClasses> |
78 | <genClasses ecoreClass="problem.ecore#//Statement"/> | 78 | <genClasses ecoreClass="problem.ecore#//Statement"/> |
79 | <genClasses ecoreClass="problem.ecore#//TypeScope"> | 79 | <genClasses ecoreClass="problem.ecore#//TypeScope"> |
80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> | 80 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/> |
81 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> | 81 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/> |
82 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> | 82 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/> |
83 | </genClasses> | 83 | </genClasses> |
84 | <genClasses ecoreClass="problem.ecore#//Multiplicity"/> | 84 | <genClasses ecoreClass="problem.ecore#//Multiplicity"/> |
85 | <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> | 85 | <genClasses ecoreClass="problem.ecore#//RangeMultiplicity"> |
86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/> | 86 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/> |
87 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/> | 87 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/> |
88 | </genClasses> | 88 | </genClasses> |
89 | <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> | 89 | <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> |
90 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> | 90 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> |
91 | </genClasses> | 91 | </genClasses> |
92 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> | 92 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> |
93 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument"> | 93 | <genClasses ecoreClass="problem.ecore#//VariableOrNodeArgument"> |
94 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/> | 94 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/variableOrNode"/> |
95 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/> | 95 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//VariableOrNodeArgument/singletonVariable"/> |
96 | </genClasses> | 96 | </genClasses> |
97 | <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> | 97 | <genClasses ecoreClass="problem.ecore#//EnumDeclaration"> |
98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> | 98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//EnumDeclaration/literals"/> |
99 | </genClasses> | 99 | </genClasses> |
100 | <genClasses ecoreClass="problem.ecore#//VariableOrNode"/> | 100 | <genClasses ecoreClass="problem.ecore#//VariableOrNode"/> |
101 | <genClasses ecoreClass="problem.ecore#//Constant"/> | 101 | <genClasses ecoreClass="problem.ecore#//Constant"/> |
102 | <genClasses ecoreClass="problem.ecore#//IntConstant"> | 102 | <genClasses ecoreClass="problem.ecore#//IntConstant"> |
103 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//IntConstant/intValue"/> | 103 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//IntConstant/intValue"/> |
104 | </genClasses> | 104 | </genClasses> |
105 | <genClasses ecoreClass="problem.ecore#//RealConstant"> | 105 | <genClasses ecoreClass="problem.ecore#//RealConstant"> |
106 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RealConstant/realValue"/> | 106 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RealConstant/realValue"/> |
107 | </genClasses> | 107 | </genClasses> |
108 | <genClasses ecoreClass="problem.ecore#//StringConstant"> | 108 | <genClasses ecoreClass="problem.ecore#//StringConstant"> |
109 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> | 109 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//StringConstant/stringValue"/> |
110 | </genClasses> | 110 | </genClasses> |
111 | <genClasses ecoreClass="problem.ecore#//ConstantArgument"> | 111 | <genClasses ecoreClass="problem.ecore#//ConstantArgument"> |
112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/> | 112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantArgument/constant"/> |
113 | </genClasses> | 113 | </genClasses> |
114 | <genClasses ecoreClass="problem.ecore#//Argument"/> | 114 | <genClasses ecoreClass="problem.ecore#//Argument"/> |
115 | <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> | 115 | <genClasses ecoreClass="problem.ecore#//NodeAssertionArgument"> |
116 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> | 116 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeAssertionArgument/node"/> |
117 | </genClasses> | 117 | </genClasses> |
118 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> | 118 | <genClasses ecoreClass="problem.ecore#//AssertionArgument"/> |
119 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> | 119 | <genClasses ecoreClass="problem.ecore#//ConstantAssertionArgument"> |
120 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> | 120 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ConstantAssertionArgument/constant"/> |
121 | </genClasses> | 121 | </genClasses> |
122 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> | 122 | <genClasses ecoreClass="problem.ecore#//NodeValueAssertion"> |
123 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> | 123 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/node"/> |
124 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/value"/> | 124 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NodeValueAssertion/value"/> |
125 | </genClasses> | 125 | </genClasses> |
126 | <genClasses ecoreClass="problem.ecore#//UniqueDeclaration"> | 126 | <genClasses ecoreClass="problem.ecore#//IndividualDeclaration"> |
127 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//UniqueDeclaration/nodes"/> | 127 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//IndividualDeclaration/nodes"/> |
128 | </genClasses> | 128 | </genClasses> |
129 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> | 129 | <genClasses ecoreClass="problem.ecore#//WildcardAssertionArgument"/> |
130 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> | 130 | <genClasses ecoreClass="problem.ecore#//ParametricDefinition"> |
131 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/bodies"/> | 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"/> | 132 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ParametricDefinition/parameters"/> |
133 | </genClasses> | 133 | </genClasses> |
134 | <genClasses ecoreClass="problem.ecore#//RuleDefinition"> | 134 | <genClasses ecoreClass="problem.ecore#//RuleDefinition"> |
135 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RuleDefinition/kind"/> | 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"/> | 136 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//RuleDefinition/action"/> |
137 | </genClasses> | 137 | </genClasses> |
138 | <genClasses ecoreClass="problem.ecore#//Action"> | 138 | <genClasses ecoreClass="problem.ecore#//Action"> |
139 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Action/actionLiterals"/> | 139 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Action/actionLiterals"/> |
140 | </genClasses> | 140 | </genClasses> |
141 | <genClasses ecoreClass="problem.ecore#//ActionLiteral"/> | 141 | <genClasses ecoreClass="problem.ecore#//ActionLiteral"/> |
142 | <genClasses ecoreClass="problem.ecore#//ValueActionLiteral"> | 142 | <genClasses ecoreClass="problem.ecore#//ValueActionLiteral"> |
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueActionLiteral/atom"/> | 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"/> | 144 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/value"/> |
145 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/refinement"/> | 145 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueActionLiteral/refinement"/> |
146 | </genClasses> | 146 | </genClasses> |
147 | <genClasses ecoreClass="problem.ecore#//DeleteActionLiteral"> | 147 | <genClasses ecoreClass="problem.ecore#//DeleteActionLiteral"> |
148 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//DeleteActionLiteral/variableOrNode"/> | 148 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//DeleteActionLiteral/variableOrNode"/> |
149 | </genClasses> | 149 | </genClasses> |
150 | <genClasses ecoreClass="problem.ecore#//NewActionLiteral"> | 150 | <genClasses ecoreClass="problem.ecore#//NewActionLiteral"> |
151 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NewActionLiteral/variable"/> | 151 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NewActionLiteral/variable"/> |
152 | </genClasses> | 152 | </genClasses> |
153 | <genClasses ecoreClass="problem.ecore#//NewVariable"/> | 153 | <genClasses ecoreClass="problem.ecore#//NewVariable"/> |
154 | <genClasses ecoreClass="problem.ecore#//CompoundLiteral"> | 154 | <genClasses ecoreClass="problem.ecore#//CompoundLiteral"> |
155 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CompoundLiteral/atom"/> | 155 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//CompoundLiteral/atom"/> |
156 | </genClasses> | 156 | </genClasses> |
157 | <genClasses ecoreClass="problem.ecore#//ValueLiteral"> | 157 | <genClasses ecoreClass="problem.ecore#//ValueLiteral"> |
158 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ValueLiteral/values"/> | 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"/> | 159 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ValueLiteral/refinement"/> |
160 | </genClasses> | 160 | </genClasses> |
161 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> | 161 | <genClasses ecoreClass="problem.ecore#//LogicConstant"> |
162 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/value"/> | 162 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//LogicConstant/value"/> |
163 | </genClasses> | 163 | </genClasses> |
164 | </genPackages> | 164 | </genPackages> |
165 | </genmodel:GenModel> | 165 | </genmodel:GenModel> |