diff options
author | 2020-04-28 20:43:04 +0200 | |
---|---|---|
committer | 2020-04-28 20:43:04 +0200 | |
commit | 8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch) | |
tree | d525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/model | |
parent | check expressions are mapped to WF constraints (diff) | |
download | VIATRA-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.ecore | 156 | ||||
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/model/generated/SolverLanguage.genmodel | 131 |
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> | ||