diff options
author | 2021-01-14 13:07:08 -0500 | |
---|---|---|
committer | 2021-01-14 13:07:08 -0500 | |
commit | 0de1dbfaed208ba70863abe3671f868f168bc9cd (patch) | |
tree | 24961120f0d94d4da6fd1ac03e6776e224d493b0 /Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |
parent | Add aird file for crossingScenario Ecore (diff) | |
download | VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.gz VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.tar.zst VIATRA-Generator-0de1dbfaed208ba70863abe3671f868f168bc9cd.zip |
Adjust vsconfig xtext to consider reals as EDouble rather than EBigDecimals
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | 554 |
1 files changed, 277 insertions, 277 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore index 3334cd5a..0eda426e 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore +++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |||
@@ -1,277 +1,277 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 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" | 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="applicationConfiguration" nsURI="http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration" | 3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="applicationConfiguration" nsURI="http://www.bme.hu/mit/inf/dslreasoner/application/ApplicationConfiguration" |
4 | nsPrefix="applicationConfiguration"> | 4 | nsPrefix="applicationConfiguration"> |
5 | <eClassifiers xsi:type="ecore:EClass" name="ConfigurationScript"> | 5 | <eClassifiers xsi:type="ecore:EClass" name="ConfigurationScript"> |
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1" | 6 | <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1" |
7 | eType="#//Import" containment="true"/> | 7 | eType="#//Import" containment="true"/> |
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="commands" upperBound="-1" | 8 | <eStructuralFeatures xsi:type="ecore:EReference" name="commands" upperBound="-1" |
9 | eType="#//Command" containment="true"/> | 9 | eType="#//Command" containment="true"/> |
10 | </eClassifiers> | 10 | </eClassifiers> |
11 | <eClassifiers xsi:type="ecore:EClass" name="Command"/> | 11 | <eClassifiers xsi:type="ecore:EClass" name="Command"/> |
12 | <eClassifiers xsi:type="ecore:EClass" name="Import"/> | 12 | <eClassifiers xsi:type="ecore:EClass" name="Import"/> |
13 | <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import"> | 13 | <eClassifiers xsi:type="ecore:EClass" name="EPackageImport" eSuperTypes="#//Import"> |
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> | 14 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedPackage" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> |
15 | </eClassifiers> | 15 | </eClassifiers> |
16 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> | 16 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> |
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> | 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> |
18 | </eClassifiers> | 18 | </eClassifiers> |
19 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> | 19 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> |
20 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 20 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
21 | </eClassifiers> | 21 | </eClassifiers> |
22 | <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File"> | 22 | <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File"> |
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
24 | </eClassifiers> | 24 | </eClassifiers> |
25 | <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration"> | 25 | <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration"> |
26 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" | 26 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" |
27 | containment="true"/> | 27 | containment="true"/> |
28 | </eClassifiers> | 28 | </eClassifiers> |
29 | <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> | 29 | <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> |
30 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> | 30 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> |
31 | </eClassifiers> | 31 | </eClassifiers> |
32 | <eClassifiers xsi:type="ecore:EClass" name="File"/> | 32 | <eClassifiers xsi:type="ecore:EClass" name="File"/> |
33 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> | 33 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> |
34 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 34 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
35 | eType="#//MetamodelEntry" containment="true"/> | 35 | eType="#//MetamodelEntry" containment="true"/> |
36 | </eClassifiers> | 36 | </eClassifiers> |
37 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry"> | 37 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry"> |
38 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> | 38 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> |
39 | </eClassifiers> | 39 | </eClassifiers> |
40 | <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry"> | 40 | <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry"> |
41 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" | 41 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" |
42 | eType="#//MetamodelElement" containment="true"/> | 42 | eType="#//MetamodelElement" containment="true"/> |
43 | </eClassifiers> | 43 | </eClassifiers> |
44 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry"> | 44 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry"> |
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> | 45 | <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
46 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> | 46 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> |
47 | </eClassifiers> | 47 | </eClassifiers> |
48 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> | 48 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> |
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" | 49 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" |
50 | containment="true"/> | 50 | containment="true"/> |
51 | </eClassifiers> | 51 | </eClassifiers> |
52 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel"> | 52 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel"> |
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> | 53 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> |
54 | </eClassifiers> | 54 | </eClassifiers> |
55 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> | 55 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> |
56 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> | 56 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> |
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" | 57 | <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" |
58 | eType="#//PartialModelEntry" containment="true"/> | 58 | eType="#//PartialModelEntry" containment="true"/> |
59 | </eClassifiers> | 59 | </eClassifiers> |
60 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> | 60 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> |
61 | <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> | 61 | <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> |
62 | </eClassifiers> | 62 | </eClassifiers> |
63 | <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> | 63 | <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> |
64 | <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> | 64 | <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> |
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" | 65 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" |
66 | eType="#//ModelEntry" containment="true"/> | 66 | eType="#//ModelEntry" containment="true"/> |
67 | </eClassifiers> | 67 | </eClassifiers> |
68 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> | 68 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> |
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" | 69 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" |
70 | containment="true"/> | 70 | containment="true"/> |
71 | </eClassifiers> | 71 | </eClassifiers> |
72 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> | 72 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> |
73 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> | 73 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> |
74 | </eClassifiers> | 74 | </eClassifiers> |
75 | <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> | 75 | <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> |
76 | <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> | 76 | <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> |
77 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 77 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
78 | eType="#//PatternEntry" containment="true"/> | 78 | eType="#//PatternEntry" containment="true"/> |
79 | </eClassifiers> | 79 | </eClassifiers> |
80 | <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> | 80 | <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> |
81 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> | 81 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> |
82 | </eClassifiers> | 82 | </eClassifiers> |
83 | <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> | 83 | <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> |
84 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" | 84 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" |
85 | eType="#//PatternElement" containment="true"/> | 85 | eType="#//PatternElement" containment="true"/> |
86 | </eClassifiers> | 86 | </eClassifiers> |
87 | <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> | 87 | <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> |
88 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> | 88 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> |
89 | </eClassifiers> | 89 | </eClassifiers> |
90 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> | 90 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> |
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" | 91 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" |
92 | containment="true"/> | 92 | containment="true"/> |
93 | </eClassifiers> | 93 | </eClassifiers> |
94 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> | 94 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> |
95 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> | 95 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> |
96 | </eClassifiers> | 96 | </eClassifiers> |
97 | <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> | 97 | <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> |
98 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveSpecification" eSuperTypes="#//Objective"> | 98 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveSpecification" eSuperTypes="#//Objective"> |
99 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 99 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
100 | eType="#//ObjectiveEntry" containment="true"/> | 100 | eType="#//ObjectiveEntry" containment="true"/> |
101 | </eClassifiers> | 101 | </eClassifiers> |
102 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveEntry"> | 102 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveEntry"> |
103 | <eStructuralFeatures xsi:type="ecore:EReference" name="function" eType="#//ObjectiveFunction" | 103 | <eStructuralFeatures xsi:type="ecore:EReference" name="function" eType="#//ObjectiveFunction" |
104 | containment="true"/> | 104 | containment="true"/> |
105 | </eClassifiers> | 105 | </eClassifiers> |
106 | <eClassifiers xsi:type="ecore:EEnum" name="OptimizationDirection"> | 106 | <eClassifiers xsi:type="ecore:EEnum" name="OptimizationDirection"> |
107 | <eLiterals name="MINIMIZE" literal="minimize"/> | 107 | <eLiterals name="MINIMIZE" literal="minimize"/> |
108 | <eLiterals name="MAXIMIZE" value="1" literal="maximize"/> | 108 | <eLiterals name="MAXIMIZE" value="1" literal="maximize"/> |
109 | </eClassifiers> | 109 | </eClassifiers> |
110 | <eClassifiers xsi:type="ecore:EClass" name="OptimizationEntry" eSuperTypes="#//ObjectiveEntry"> | 110 | <eClassifiers xsi:type="ecore:EClass" name="OptimizationEntry" eSuperTypes="#//ObjectiveEntry"> |
111 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="direction" eType="#//OptimizationDirection"/> | 111 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="direction" eType="#//OptimizationDirection"/> |
112 | </eClassifiers> | 112 | </eClassifiers> |
113 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOperator"> | 113 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOperator"> |
114 | <eLiterals name="LESS" literal="<"/> | 114 | <eLiterals name="LESS" literal="<"/> |
115 | <eLiterals name="GREATER" value="1" literal=">"/> | 115 | <eLiterals name="GREATER" value="1" literal=">"/> |
116 | <eLiterals name="LESS_EQUALS" value="2" literal="<="/> | 116 | <eLiterals name="LESS_EQUALS" value="2" literal="<="/> |
117 | <eLiterals name="GREATER_EQUALS" value="3" literal=">="/> | 117 | <eLiterals name="GREATER_EQUALS" value="3" literal=">="/> |
118 | </eClassifiers> | 118 | </eClassifiers> |
119 | <eClassifiers xsi:type="ecore:EClass" name="ThresholdEntry" eSuperTypes="#//ObjectiveEntry"> | 119 | <eClassifiers xsi:type="ecore:EClass" name="ThresholdEntry" eSuperTypes="#//ObjectiveEntry"> |
120 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="#//ComparisonOperator"/> | 120 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="#//ComparisonOperator"/> |
121 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="threshold" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> | 121 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="threshold" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EDouble"/> |
122 | </eClassifiers> | 122 | </eClassifiers> |
123 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveFunction"/> | 123 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveFunction"/> |
124 | <eClassifiers xsi:type="ecore:EClass" name="CostObjectiveFunction" eSuperTypes="#//ObjectiveFunction"> | 124 | <eClassifiers xsi:type="ecore:EClass" name="CostObjectiveFunction" eSuperTypes="#//ObjectiveFunction"> |
125 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 125 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
126 | eType="#//CostEntry" containment="true"/> | 126 | eType="#//CostEntry" containment="true"/> |
127 | </eClassifiers> | 127 | </eClassifiers> |
128 | <eClassifiers xsi:type="ecore:EClass" name="CostEntry"> | 128 | <eClassifiers xsi:type="ecore:EClass" name="CostEntry"> |
129 | <eStructuralFeatures xsi:type="ecore:EReference" name="patternElement" eType="#//PatternElement" | 129 | <eStructuralFeatures xsi:type="ecore:EReference" name="patternElement" eType="#//PatternElement" |
130 | containment="true"/> | 130 | containment="true"/> |
131 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 131 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
132 | </eClassifiers> | 132 | </eClassifiers> |
133 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration"> | 133 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration"> |
134 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification" | 134 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification" |
135 | containment="true"/> | 135 | containment="true"/> |
136 | </eClassifiers> | 136 | </eClassifiers> |
137 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveReference" eSuperTypes="#//Objective"> | 137 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveReference" eSuperTypes="#//Objective"> |
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ObjectiveDeclaration"/> | 138 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ObjectiveDeclaration"/> |
139 | </eClassifiers> | 139 | </eClassifiers> |
140 | <eClassifiers xsi:type="ecore:EClass" name="Objective"/> | 140 | <eClassifiers xsi:type="ecore:EClass" name="Objective"/> |
141 | <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> | 141 | <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> |
142 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 142 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
143 | eType="#//ConfigEntry" containment="true"/> | 143 | eType="#//ConfigEntry" containment="true"/> |
144 | </eClassifiers> | 144 | </eClassifiers> |
145 | <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> | 145 | <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> |
146 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" | 146 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" |
147 | containment="true"/> | 147 | containment="true"/> |
148 | </eClassifiers> | 148 | </eClassifiers> |
149 | <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/> | 149 | <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/> |
150 | <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry"> | 150 | <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry"> |
151 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/> | 151 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/> |
152 | </eClassifiers> | 152 | </eClassifiers> |
153 | <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification"> | 153 | <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification"> |
154 | <eLiterals name="none" literal="none"/> | 154 | <eLiterals name="none" literal="none"/> |
155 | <eLiterals name="normal" value="1" literal="normal"/> | 155 | <eLiterals name="normal" value="1" literal="normal"/> |
156 | <eLiterals name="full" value="2" literal="full"/> | 156 | <eLiterals name="full" value="2" literal="full"/> |
157 | </eClassifiers> | 157 | </eClassifiers> |
158 | <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry"> | 158 | <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry"> |
159 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 159 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
160 | </eClassifiers> | 160 | </eClassifiers> |
161 | <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry"> | 161 | <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry"> |
162 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 162 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
163 | </eClassifiers> | 163 | </eClassifiers> |
164 | <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry"> | 164 | <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry"> |
165 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 165 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
166 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 166 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
167 | </eClassifiers> | 167 | </eClassifiers> |
168 | <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> | 168 | <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> |
169 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> | 169 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> |
170 | </eClassifiers> | 170 | </eClassifiers> |
171 | <eClassifiers xsi:type="ecore:EClass" name="Config"/> | 171 | <eClassifiers xsi:type="ecore:EClass" name="Config"/> |
172 | <eClassifiers xsi:type="ecore:EEnum" name="Solver"> | 172 | <eClassifiers xsi:type="ecore:EEnum" name="Solver"> |
173 | <eLiterals name="SMTSolver" literal="SMTSolver"/> | 173 | <eLiterals name="SMTSolver" literal="SMTSolver"/> |
174 | <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> | 174 | <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> |
175 | <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> | 175 | <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> |
176 | </eClassifiers> | 176 | </eClassifiers> |
177 | <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> | 177 | <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> |
178 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" | 178 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" |
179 | eType="#//TypeScope" containment="true"/> | 179 | eType="#//TypeScope" containment="true"/> |
180 | </eClassifiers> | 180 | </eClassifiers> |
181 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> | 181 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> |
182 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 182 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
183 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 183 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
184 | <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" | 184 | <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" |
185 | containment="true"/> | 185 | containment="true"/> |
186 | </eClassifiers> | 186 | </eClassifiers> |
187 | <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> | 187 | <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> |
188 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" | 188 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" |
189 | containment="true"/> | 189 | containment="true"/> |
190 | </eClassifiers> | 190 | </eClassifiers> |
191 | <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> | 191 | <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> |
192 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" | 192 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" |
193 | containment="true"/> | 193 | containment="true"/> |
194 | </eClassifiers> | 194 | </eClassifiers> |
195 | <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> | 195 | <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> |
196 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" | 196 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" |
197 | containment="true"/> | 197 | containment="true"/> |
198 | </eClassifiers> | 198 | </eClassifiers> |
199 | <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> | 199 | <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> |
200 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" | 200 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" |
201 | containment="true"/> | 201 | containment="true"/> |
202 | </eClassifiers> | 202 | </eClassifiers> |
203 | <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> | 203 | <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> |
204 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" | 204 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" |
205 | containment="true"/> | 205 | containment="true"/> |
206 | </eClassifiers> | 206 | </eClassifiers> |
207 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> | 207 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> |
208 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> | 208 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> |
209 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" | 209 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" |
210 | containment="true"/> | 210 | containment="true"/> |
211 | </eClassifiers> | 211 | </eClassifiers> |
212 | <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> | 212 | <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> |
213 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> | 213 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> |
214 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> | 214 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> |
215 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> | 215 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> |
216 | <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> | 216 | <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> |
217 | <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> | 217 | <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> |
218 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 218 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
219 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 219 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
220 | </eClassifiers> | 220 | </eClassifiers> |
221 | <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> | 221 | <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> |
222 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 222 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
223 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 223 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
224 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 224 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
225 | </eClassifiers> | 225 | </eClassifiers> |
226 | <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> | 226 | <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> |
227 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 227 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" |
228 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 228 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
229 | </eClassifiers> | 229 | </eClassifiers> |
230 | <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> | 230 | <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> |
231 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 231 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" |
232 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> | 232 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EDouble"/> |
233 | </eClassifiers> | 233 | </eClassifiers> |
234 | <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> | 234 | <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> |
235 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 235 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" |
236 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 236 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
237 | </eClassifiers> | 237 | </eClassifiers> |
238 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> | 238 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> |
239 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" | 239 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" |
240 | containment="true"/> | 240 | containment="true"/> |
241 | </eClassifiers> | 241 | </eClassifiers> |
242 | <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> | 242 | <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> |
243 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> | 243 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> |
244 | </eClassifiers> | 244 | </eClassifiers> |
245 | <eClassifiers xsi:type="ecore:EClass" name="Scope"/> | 245 | <eClassifiers xsi:type="ecore:EClass" name="Scope"/> |
246 | <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> | 246 | <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> |
247 | <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> | 247 | <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> |
248 | <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" | 248 | <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" |
249 | containment="true"/> | 249 | containment="true"/> |
250 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" | 250 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" |
251 | containment="true"/> | 251 | containment="true"/> |
252 | <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" | 252 | <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" |
253 | containment="true"/> | 253 | containment="true"/> |
254 | <eStructuralFeatures xsi:type="ecore:EReference" name="objectives" eType="#//Objective" | 254 | <eStructuralFeatures xsi:type="ecore:EReference" name="objectives" eType="#//Objective" |
255 | containment="true"/> | 255 | containment="true"/> |
256 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" | 256 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" |
257 | containment="true"/> | 257 | containment="true"/> |
258 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 258 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
259 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 259 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
260 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 260 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
261 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 261 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
262 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> | 262 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> |
263 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" | 263 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" |
264 | containment="true"/> | 264 | containment="true"/> |
265 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" | 265 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" |
266 | containment="true"/> | 266 | containment="true"/> |
267 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" | 267 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" |
268 | containment="true"/> | 268 | containment="true"/> |
269 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" | 269 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" |
270 | containment="true"/> | 270 | containment="true"/> |
271 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | 271 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" |
272 | containment="true"/> | 272 | containment="true"/> |
273 | </eClassifiers> | 273 | </eClassifiers> |
274 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> | 274 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> |
275 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> | 275 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> |
276 | <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> | 276 | <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> |
277 | </ecore:EPackage> | 277 | </ecore:EPackage> |