aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/model
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/model
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/model')
-rw-r--r--Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore156
-rw-r--r--Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel131
2 files changed, 287 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
new file mode 100644
index 00000000..9b26faa3
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.ecore
@@ -0,0 +1,156 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<ecore:EPackage 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" name="solverLanguage" nsURI="http://www.eclipse.org/viatra/solver/language/SolverLanguage"
4 nsPrefix="solverLanguage">
5 <eClassifiers xsi:type="ecore:EClass" name="Problem">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="statements" upperBound="-1"
7 eType="#//Statement" containment="true"/>
8 </eClassifiers>
9 <eClassifiers xsi:type="ecore:EClass" name="Statement"/>
10 <eClassifiers xsi:type="ecore:EClass" name="BooleanValue"/>
11 <eClassifiers xsi:type="ecore:EClass" name="TruthValue"/>
12 <eClassifiers xsi:type="ecore:EClass" name="Interpretation" eSuperTypes="#//Statement"/>
13 <eClassifiers xsi:type="ecore:EClass" name="BasicInterpretation" eSuperTypes="#//Interpretation">
14 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//Symbol"
15 containment="true"/>
16 <eStructuralFeatures xsi:type="ecore:EReference" name="objects" upperBound="-1"
17 eType="#//ComplexObject" containment="true"/>
18 <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//TruthValue"
19 containment="true"/>
20 </eClassifiers>
21 <eClassifiers xsi:type="ecore:EClass" name="Symbol"/>
22 <eClassifiers xsi:type="ecore:EClass" name="ModelSymbol" eSuperTypes="#//Symbol">
23 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
24 </eClassifiers>
25 <eClassifiers xsi:type="ecore:EClass" name="PartialitySymbol" eSuperTypes="#//Symbol"/>
26 <eClassifiers xsi:type="ecore:EClass" name="ExistSymbol" eSuperTypes="#//PartialitySymbol"/>
27 <eClassifiers xsi:type="ecore:EClass" name="EqualsSymbol" eSuperTypes="#//PartialitySymbol"/>
28 <eClassifiers xsi:type="ecore:EClass" name="DataSymbol" eSuperTypes="#//Symbol"/>
29 <eClassifiers xsi:type="ecore:EClass" name="BooleanSymbol" eSuperTypes="#//DataSymbol"/>
30 <eClassifiers xsi:type="ecore:EClass" name="IntegerSymbol" eSuperTypes="#//DataSymbol"/>
31 <eClassifiers xsi:type="ecore:EClass" name="RealSymbol" eSuperTypes="#//DataSymbol"/>
32 <eClassifiers xsi:type="ecore:EClass" name="StringSymbol" eSuperTypes="#//DataSymbol"/>
33 <eClassifiers xsi:type="ecore:EClass" name="ComplexObject"/>
34 <eClassifiers xsi:type="ecore:EClass" name="Object" eSuperTypes="#//ComplexObject"/>
35 <eClassifiers xsi:type="ecore:EClass" name="NamedObject" eSuperTypes="#//Object">
36 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
37 </eClassifiers>
38 <eClassifiers xsi:type="ecore:EClass" name="UnnamedObject" eSuperTypes="#//Object">
39 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
40 </eClassifiers>
41 <eClassifiers xsi:type="ecore:EClass" name="DataObject" eSuperTypes="#//Object #//Literal"/>
42 <eClassifiers xsi:type="ecore:EClass" name="BooleanObject" eSuperTypes="#//DataObject">
43 <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//BooleanValue"
44 containment="true"/>
45 </eClassifiers>
46 <eClassifiers xsi:type="ecore:EClass" name="IntObject" eSuperTypes="#//DataObject">
47 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
48 </eClassifiers>
49 <eClassifiers xsi:type="ecore:EClass" name="RealObject" eSuperTypes="#//DataObject">
50 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/>
51 </eClassifiers>
52 <eClassifiers xsi:type="ecore:EClass" name="StringObject" eSuperTypes="#//DataObject">
53 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
54 </eClassifiers>
55 <eClassifiers xsi:type="ecore:EClass" name="Predicate" eSuperTypes="#//Statement">
56 <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1"
57 eType="#//Parameter" containment="true"/>
58 <eStructuralFeatures xsi:type="ecore:EReference" name="bodies" upperBound="-1"
59 eType="#//PatternBody" containment="true"/>
60 </eClassifiers>
61 <eClassifiers xsi:type="ecore:EClass" name="PredicateSymbol" eSuperTypes="#//Predicate">
62 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol"
63 containment="true"/>
64 </eClassifiers>
65 <eClassifiers xsi:type="ecore:EClass" name="ErrorPredicate" eSuperTypes="#//Predicate">
66 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
67 </eClassifiers>
68 <eClassifiers xsi:type="ecore:EClass" name="Parameter">
69 <eStructuralFeatures xsi:type="ecore:EReference" name="variable" eType="#//Variable"
70 containment="true"/>
71 <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//Symbol"
72 containment="true"/>
73 </eClassifiers>
74 <eClassifiers xsi:type="ecore:EClass" name="PatternBody">
75 <eStructuralFeatures xsi:type="ecore:EReference" name="constraints" upperBound="-1"
76 eType="#//Constraint" containment="true"/>
77 </eClassifiers>
78 <eClassifiers xsi:type="ecore:EClass" name="Polarity"/>
79 <eClassifiers xsi:type="ecore:EClass" name="Constraint">
80 <eStructuralFeatures xsi:type="ecore:EReference" name="polarity" eType="#//Polarity"
81 containment="true"/>
82 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol"
83 containment="true"/>
84 <eStructuralFeatures xsi:type="ecore:EReference" name="params" upperBound="-1"
85 eType="#//Literal" containment="true"/>
86 <eStructuralFeatures xsi:type="ecore:EReference" name="closureType" eType="#//ClosureType"
87 containment="true"/>
88 </eClassifiers>
89 <eClassifiers xsi:type="ecore:EClass" name="ClosureType"/>
90 <eClassifiers xsi:type="ecore:EClass" name="Literal"/>
91 <eClassifiers xsi:type="ecore:EClass" name="Variable" eSuperTypes="#//Literal">
92 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
93 </eClassifiers>
94 <eClassifiers xsi:type="ecore:EClass" name="AllInstances" eSuperTypes="#//ComplexObject">
95 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//Symbol"
96 containment="true"/>
97 </eClassifiers>
98 <eClassifiers xsi:type="ecore:EClass" name="AllObjects" eSuperTypes="#//ComplexObject"/>
99 <eClassifiers xsi:type="ecore:EClass" name="DefaultInterpretation" eSuperTypes="#//Interpretation">
100 <eStructuralFeatures xsi:type="ecore:EReference" name="interpretation" eType="#//BasicInterpretation"
101 containment="true"/>
102 </eClassifiers>
103 <eClassifiers xsi:type="ecore:EClass" name="CDInterpretation" eSuperTypes="#//Interpretation"/>
104 <eClassifiers xsi:type="ecore:EClass" name="ClassInterpretation" eSuperTypes="#//CDInterpretation">
105 <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
106 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol"
107 containment="true"/>
108 <eStructuralFeatures xsi:type="ecore:EReference" name="supertypes" upperBound="-1"
109 eType="#//ModelSymbol" containment="true"/>
110 <eStructuralFeatures xsi:type="ecore:EReference" name="fielt" upperBound="-1"
111 eType="#//FieldRelationInterpretation" containment="true"/>
112 </eClassifiers>
113 <eClassifiers xsi:type="ecore:EClass" name="EnumInterpretation" eSuperTypes="#//CDInterpretation">
114 <eStructuralFeatures xsi:type="ecore:EReference" name="Symbol" eType="#//ModelSymbol"
115 containment="true"/>
116 <eStructuralFeatures xsi:type="ecore:EReference" name="objects" upperBound="-1"
117 eType="#//NamedObject" containment="true"/>
118 </eClassifiers>
119 <eClassifiers xsi:type="ecore:EClass" name="FieldRelationInterpretation">
120 <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
121 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol"
122 containment="true"/>
123 <eStructuralFeatures xsi:type="ecore:EReference" name="multiplicity" eType="#//MultiplicityDefinition"
124 containment="true"/>
125 <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Symbol"
126 containment="true"/>
127 </eClassifiers>
128 <eClassifiers xsi:type="ecore:EClass" name="GlobalRelationInterpretation" eSuperTypes="#//CDInterpretation">
129 <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
130 <eStructuralFeatures xsi:type="ecore:EReference" name="symbol" eType="#//ModelSymbol"
131 containment="true"/>
132 <eStructuralFeatures xsi:type="ecore:EReference" name="sourceMultiplicity" eType="#//MultiplicityDefinition"
133 containment="true"/>
134 <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//Symbol"
135 containment="true"/>
136 <eStructuralFeatures xsi:type="ecore:EReference" name="targetMultiplicity" eType="#//MultiplicityDefinition"
137 containment="true"/>
138 <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Symbol"
139 containment="true"/>
140 </eClassifiers>
141 <eClassifiers xsi:type="ecore:EClass" name="MultiplicityDefinition">
142 <eStructuralFeatures xsi:type="ecore:EAttribute" name="lower" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
143 <eStructuralFeatures xsi:type="ecore:EAttribute" name="upper" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
144 <eStructuralFeatures xsi:type="ecore:EAttribute" name="unlimitedUpper" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
145 </eClassifiers>
146 <eClassifiers xsi:type="ecore:EClass" name="BooleanTrue" eSuperTypes="#//BooleanValue"/>
147 <eClassifiers xsi:type="ecore:EClass" name="BooleanFalse" eSuperTypes="#//BooleanValue"/>
148 <eClassifiers xsi:type="ecore:EClass" name="True" eSuperTypes="#//TruthValue"/>
149 <eClassifiers xsi:type="ecore:EClass" name="False" eSuperTypes="#//TruthValue"/>
150 <eClassifiers xsi:type="ecore:EClass" name="Unknown" eSuperTypes="#//TruthValue"/>
151 <eClassifiers xsi:type="ecore:EClass" name="Error" eSuperTypes="#//TruthValue"/>
152 <eClassifiers xsi:type="ecore:EClass" name="Positive" eSuperTypes="#//Polarity"/>
153 <eClassifiers xsi:type="ecore:EClass" name="Negative" eSuperTypes="#//Polarity"/>
154 <eClassifiers xsi:type="ecore:EClass" name="ReflexiveClosure" eSuperTypes="#//ClosureType"/>
155 <eClassifiers xsi:type="ecore:EClass" name="IrreflexiveClosure" eSuperTypes="#//ClosureType"/>
156</ecore:EPackage>
diff --git a/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
new file mode 100644
index 00000000..c593e886
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel
@@ -0,0 +1,131 @@
1<?xml version="1.0" encoding="UTF-8"?>
2<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
3 xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.18.0.M3" modelDirectory="/org.eclipse.viatra.solver.language/src-gen"
4 modelPluginID="org.eclipse.viatra.solver.language" forceOverwrite="true" modelName="SolverLanguage"
5 updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.18">
7 <genPackages prefix="SolverLanguage" basePackage="org.eclipse.viatra.solver.language"
8 disposableProviderFactory="true" fileExtensions="vsc" ecorePackage="SolverLanguage.ecore#/">
9 <genClasses ecoreClass="SolverLanguage.ecore#//Problem">
10 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Problem/statements"/>
11 </genClasses>
12 <genClasses ecoreClass="SolverLanguage.ecore#//Statement"/>
13 <genClasses ecoreClass="SolverLanguage.ecore#//BooleanValue"/>
14 <genClasses ecoreClass="SolverLanguage.ecore#//TruthValue"/>
15 <genClasses ecoreClass="SolverLanguage.ecore#//Interpretation"/>
16 <genClasses ecoreClass="SolverLanguage.ecore#//BasicInterpretation">
17 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/symbol"/>
18 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/objects"/>
19 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BasicInterpretation/value"/>
20 </genClasses>
21 <genClasses ecoreClass="SolverLanguage.ecore#//Symbol"/>
22 <genClasses ecoreClass="SolverLanguage.ecore#//ModelSymbol">
23 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ModelSymbol/name"/>
24 </genClasses>
25 <genClasses ecoreClass="SolverLanguage.ecore#//PartialitySymbol"/>
26 <genClasses ecoreClass="SolverLanguage.ecore#//ExistSymbol"/>
27 <genClasses ecoreClass="SolverLanguage.ecore#//EqualsSymbol"/>
28 <genClasses ecoreClass="SolverLanguage.ecore#//DataSymbol"/>
29 <genClasses ecoreClass="SolverLanguage.ecore#//BooleanSymbol"/>
30 <genClasses ecoreClass="SolverLanguage.ecore#//IntegerSymbol"/>
31 <genClasses ecoreClass="SolverLanguage.ecore#//RealSymbol"/>
32 <genClasses ecoreClass="SolverLanguage.ecore#//StringSymbol"/>
33 <genClasses ecoreClass="SolverLanguage.ecore#//ComplexObject"/>
34 <genClasses ecoreClass="SolverLanguage.ecore#//Object"/>
35 <genClasses ecoreClass="SolverLanguage.ecore#//NamedObject">
36 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//NamedObject/name"/>
37 </genClasses>
38 <genClasses ecoreClass="SolverLanguage.ecore#//UnnamedObject">
39 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//UnnamedObject/name"/>
40 </genClasses>
41 <genClasses ecoreClass="SolverLanguage.ecore#//DataObject"/>
42 <genClasses ecoreClass="SolverLanguage.ecore#//BooleanObject">
43 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//BooleanObject/value"/>
44 </genClasses>
45 <genClasses ecoreClass="SolverLanguage.ecore#//IntObject">
46 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//IntObject/value"/>
47 </genClasses>
48 <genClasses ecoreClass="SolverLanguage.ecore#//RealObject">
49 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//RealObject/value"/>
50 </genClasses>
51 <genClasses ecoreClass="SolverLanguage.ecore#//StringObject">
52 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//StringObject/value"/>
53 </genClasses>
54 <genClasses ecoreClass="SolverLanguage.ecore#//Predicate">
55 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/parameters"/>
56 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Predicate/bodies"/>
57 </genClasses>
58 <genClasses ecoreClass="SolverLanguage.ecore#//PredicateSymbol">
59 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PredicateSymbol/symbol"/>
60 </genClasses>
61 <genClasses ecoreClass="SolverLanguage.ecore#//ErrorPredicate">
62 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ErrorPredicate/name"/>
63 </genClasses>
64 <genClasses ecoreClass="SolverLanguage.ecore#//Parameter">
65 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/variable"/>
66 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Parameter/type"/>
67 </genClasses>
68 <genClasses ecoreClass="SolverLanguage.ecore#//PatternBody">
69 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//PatternBody/constraints"/>
70 </genClasses>
71 <genClasses ecoreClass="SolverLanguage.ecore#//Polarity"/>
72 <genClasses ecoreClass="SolverLanguage.ecore#//Constraint">
73 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/polarity"/>
74 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/symbol"/>
75 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/params"/>
76 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//Constraint/closureType"/>
77 </genClasses>
78 <genClasses ecoreClass="SolverLanguage.ecore#//ClosureType"/>
79 <genClasses ecoreClass="SolverLanguage.ecore#//Literal"/>
80 <genClasses ecoreClass="SolverLanguage.ecore#//Variable">
81 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//Variable/name"/>
82 </genClasses>
83 <genClasses ecoreClass="SolverLanguage.ecore#//AllInstances">
84 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//AllInstances/symbol"/>
85 </genClasses>
86 <genClasses ecoreClass="SolverLanguage.ecore#//AllObjects"/>
87 <genClasses ecoreClass="SolverLanguage.ecore#//DefaultInterpretation">
88 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//DefaultInterpretation/interpretation"/>
89 </genClasses>
90 <genClasses ecoreClass="SolverLanguage.ecore#//CDInterpretation"/>
91 <genClasses ecoreClass="SolverLanguage.ecore#//ClassInterpretation">
92 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//ClassInterpretation/abstract"/>
93 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/symbol"/>
94 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/supertypes"/>
95 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//ClassInterpretation/fielt"/>
96 </genClasses>
97 <genClasses ecoreClass="SolverLanguage.ecore#//EnumInterpretation">
98 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/Symbol"/>
99 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//EnumInterpretation/objects"/>
100 </genClasses>
101 <genClasses ecoreClass="SolverLanguage.ecore#//FieldRelationInterpretation">
102 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//FieldRelationInterpretation/containment"/>
103 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/symbol"/>
104 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/multiplicity"/>
105 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//FieldRelationInterpretation/target"/>
106 </genClasses>
107 <genClasses ecoreClass="SolverLanguage.ecore#//GlobalRelationInterpretation">
108 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//GlobalRelationInterpretation/containment"/>
109 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/symbol"/>
110 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/sourceMultiplicity"/>
111 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/source"/>
112 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/targetMultiplicity"/>
113 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference SolverLanguage.ecore#//GlobalRelationInterpretation/target"/>
114 </genClasses>
115 <genClasses ecoreClass="SolverLanguage.ecore#//MultiplicityDefinition">
116 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/lower"/>
117 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/upper"/>
118 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute SolverLanguage.ecore#//MultiplicityDefinition/unlimitedUpper"/>
119 </genClasses>
120 <genClasses ecoreClass="SolverLanguage.ecore#//BooleanTrue"/>
121 <genClasses ecoreClass="SolverLanguage.ecore#//BooleanFalse"/>
122 <genClasses ecoreClass="SolverLanguage.ecore#//True"/>
123 <genClasses ecoreClass="SolverLanguage.ecore#//False"/>
124 <genClasses ecoreClass="SolverLanguage.ecore#//Unknown"/>
125 <genClasses ecoreClass="SolverLanguage.ecore#//Error"/>
126 <genClasses ecoreClass="SolverLanguage.ecore#//Positive"/>
127 <genClasses ecoreClass="SolverLanguage.ecore#//Negative"/>
128 <genClasses ecoreClass="SolverLanguage.ecore#//ReflexiveClosure"/>
129 <genClasses ecoreClass="SolverLanguage.ecore#//IrreflexiveClosure"/>
130 </genPackages>
131</genmodel:GenModel>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 01:10:24 +0000