diff options
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 | 520 |
1 files changed, 288 insertions, 232 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 6b321279..629d8670 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,232 +1,288 @@ | |||
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="CftImport" eSuperTypes="#//Import"> |
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:EReference" name="importedCft" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/> |
21 | </eClassifiers> | 21 | </eClassifiers> |
22 | <eClassifiers xsi:type="ecore:EClass" name="FileSpecification" eSuperTypes="#//File"> | 22 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> |
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="name" 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="FileSpecification" eSuperTypes="#//File"> |
26 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" | 26 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
27 | containment="true"/> | 27 | </eClassifiers> |
28 | </eClassifiers> | 28 | <eClassifiers xsi:type="ecore:EClass" name="FileDeclaration" eSuperTypes="#//Declaration"> |
29 | <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> | 29 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//FileSpecification" |
30 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> | 30 | containment="true"/> |
31 | </eClassifiers> | 31 | </eClassifiers> |
32 | <eClassifiers xsi:type="ecore:EClass" name="File"/> | 32 | <eClassifiers xsi:type="ecore:EClass" name="FileReference" eSuperTypes="#//File"> |
33 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> | 33 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//FileDeclaration"/> |
34 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 34 | </eClassifiers> |
35 | eType="#//MetamodelEntry" containment="true"/> | 35 | <eClassifiers xsi:type="ecore:EClass" name="File"/> |
36 | </eClassifiers> | 36 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelSpecification" eSuperTypes="#//Metamodel"> |
37 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry"> | 37 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
38 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> | 38 | eType="#//MetamodelEntry" containment="true"/> |
39 | </eClassifiers> | 39 | </eClassifiers> |
40 | <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry"> | 40 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelEntry"> |
41 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" | 41 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EPackage"/> |
42 | eType="#//MetamodelElement" containment="true"/> | 42 | </eClassifiers> |
43 | </eClassifiers> | 43 | <eClassifiers xsi:type="ecore:EClass" name="AllPackageEntry" eSuperTypes="#//MetamodelEntry"> |
44 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry"> | 44 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" |
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> | 45 | eType="#//MetamodelElement" containment="true"/> |
46 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> | 46 | </eClassifiers> |
47 | </eClassifiers> | 47 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelElement" eSuperTypes="#//MetamodelEntry"> |
48 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> | 48 | <eStructuralFeatures xsi:type="ecore:EReference" name="classifier" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EClassifier"/> |
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" | 49 | <eStructuralFeatures xsi:type="ecore:EReference" name="feature" eType="ecore:EClass platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//ENamedElement"/> |
50 | containment="true"/> | 50 | </eClassifiers> |
51 | </eClassifiers> | 51 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelDeclaration" eSuperTypes="#//Declaration"> |
52 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel"> | 52 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//MetamodelSpecification" |
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> | 53 | containment="true"/> |
54 | </eClassifiers> | 54 | </eClassifiers> |
55 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> | 55 | <eClassifiers xsi:type="ecore:EClass" name="MetamodelReference" eSuperTypes="#//Metamodel"> |
56 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> | 56 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//MetamodelDeclaration"/> |
57 | <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" | 57 | </eClassifiers> |
58 | eType="#//PartialModelEntry" containment="true"/> | 58 | <eClassifiers xsi:type="ecore:EClass" name="Metamodel"/> |
59 | </eClassifiers> | 59 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelSpecification" eSuperTypes="#//PartialModel"> |
60 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> | 60 | <eStructuralFeatures xsi:type="ecore:EReference" name="entry" upperBound="-1" |
61 | <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> | 61 | eType="#//PartialModelEntry" containment="true"/> |
62 | </eClassifiers> | 62 | </eClassifiers> |
63 | <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> | 63 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelEntry"> |
64 | <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> | 64 | <eStructuralFeatures xsi:type="ecore:EReference" name="path" eType="#//File" containment="true"/> |
65 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" | 65 | </eClassifiers> |
66 | eType="#//ModelEntry" containment="true"/> | 66 | <eClassifiers xsi:type="ecore:EClass" name="ModelEntry" eSuperTypes="#//PartialModelEntry"/> |
67 | </eClassifiers> | 67 | <eClassifiers xsi:type="ecore:EClass" name="FolderEntry" eSuperTypes="#//PartialModelEntry"> |
68 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> | 68 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusion" upperBound="-1" |
69 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" | 69 | eType="#//ModelEntry" containment="true"/> |
70 | containment="true"/> | 70 | </eClassifiers> |
71 | </eClassifiers> | 71 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelDeclaration" eSuperTypes="#//Declaration"> |
72 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> | 72 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PartialModelSpecification" |
73 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> | 73 | containment="true"/> |
74 | </eClassifiers> | 74 | </eClassifiers> |
75 | <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> | 75 | <eClassifiers xsi:type="ecore:EClass" name="PartialModelReference" eSuperTypes="#//PartialModel"> |
76 | <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> | 76 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//PartialModelDeclaration"/> |
77 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 77 | </eClassifiers> |
78 | eType="#//PatternEntry" containment="true"/> | 78 | <eClassifiers xsi:type="ecore:EClass" name="PartialModel"/> |
79 | </eClassifiers> | 79 | <eClassifiers xsi:type="ecore:EClass" name="PatternSpecification" eSuperTypes="#//GraphPattern"> |
80 | <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> | 80 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
81 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> | 81 | eType="#//PatternEntry" containment="true"/> |
82 | </eClassifiers> | 82 | </eClassifiers> |
83 | <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> | 83 | <eClassifiers xsi:type="ecore:EClass" name="PatternEntry"> |
84 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" | 84 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> |
85 | eType="#//PatternElement" containment="true"/> | 85 | </eClassifiers> |
86 | </eClassifiers> | 86 | <eClassifiers xsi:type="ecore:EClass" name="AllPatternEntry" eSuperTypes="#//PatternEntry"> |
87 | <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> | 87 | <eStructuralFeatures xsi:type="ecore:EReference" name="exclusuion" upperBound="-1" |
88 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> | 88 | eType="#//PatternElement" containment="true"/> |
89 | </eClassifiers> | 89 | </eClassifiers> |
90 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> | 90 | <eClassifiers xsi:type="ecore:EClass" name="PatternElement" eSuperTypes="#//PatternEntry"> |
91 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" | 91 | <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//Pattern"/> |
92 | containment="true"/> | 92 | </eClassifiers> |
93 | </eClassifiers> | 93 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternDeclaration" eSuperTypes="#//Declaration"> |
94 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> | 94 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//PatternSpecification" |
95 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> | 95 | containment="true"/> |
96 | </eClassifiers> | 96 | </eClassifiers> |
97 | <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> | 97 | <eClassifiers xsi:type="ecore:EClass" name="GraphPatternReference" eSuperTypes="#//GraphPattern"> |
98 | <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> | 98 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//GraphPatternDeclaration"/> |
99 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" | 99 | </eClassifiers> |
100 | eType="#//ConfigEntry" containment="true"/> | 100 | <eClassifiers xsi:type="ecore:EClass" name="GraphPattern"/> |
101 | </eClassifiers> | 101 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveSpecification" eSuperTypes="#//Objective"> |
102 | <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> | 102 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
103 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" | 103 | eType="#//ObjectiveEntry" containment="true"/> |
104 | containment="true"/> | 104 | </eClassifiers> |
105 | </eClassifiers> | 105 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveEntry"> |
106 | <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/> | 106 | <eStructuralFeatures xsi:type="ecore:EReference" name="function" eType="#//ObjectiveFunction" |
107 | <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry"> | 107 | containment="true"/> |
108 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/> | 108 | </eClassifiers> |
109 | </eClassifiers> | 109 | <eClassifiers xsi:type="ecore:EEnum" name="OptimizationDirection"> |
110 | <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification"> | 110 | <eLiterals name="MINIMIZE" literal="minimize"/> |
111 | <eLiterals name="none" literal="none"/> | 111 | <eLiterals name="MAXIMIZE" value="1" literal="maximize"/> |
112 | <eLiterals name="normal" value="1" literal="normal"/> | 112 | </eClassifiers> |
113 | <eLiterals name="full" value="2" literal="full"/> | 113 | <eClassifiers xsi:type="ecore:EClass" name="OptimizationEntry" eSuperTypes="#//ObjectiveEntry"> |
114 | </eClassifiers> | 114 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="direction" eType="#//OptimizationDirection"/> |
115 | <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry"> | 115 | </eClassifiers> |
116 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 116 | <eClassifiers xsi:type="ecore:EEnum" name="ComparisonOperator"> |
117 | </eClassifiers> | 117 | <eLiterals name="LESS" literal="<"/> |
118 | <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry"> | 118 | <eLiterals name="GREATER" value="1" literal=">"/> |
119 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 119 | <eLiterals name="LESS_EQUALS" value="2" literal="<="/> |
120 | </eClassifiers> | 120 | <eLiterals name="GREATER_EQUALS" value="3" literal=">="/> |
121 | <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry"> | 121 | </eClassifiers> |
122 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 122 | <eClassifiers xsi:type="ecore:EClass" name="ThresholdEntry" eSuperTypes="#//ObjectiveEntry"> |
123 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 123 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="#//ComparisonOperator"/> |
124 | </eClassifiers> | 124 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="threshold" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> |
125 | <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> | 125 | </eClassifiers> |
126 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> | 126 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveFunction"/> |
127 | </eClassifiers> | 127 | <eClassifiers xsi:type="ecore:EClass" name="CostObjectiveFunction" eSuperTypes="#//ObjectiveFunction"> |
128 | <eClassifiers xsi:type="ecore:EClass" name="Config"/> | 128 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
129 | <eClassifiers xsi:type="ecore:EEnum" name="Solver"> | 129 | eType="#//CostEntry" containment="true"/> |
130 | <eLiterals name="SMTSolver" literal="SMTSolver"/> | 130 | </eClassifiers> |
131 | <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> | 131 | <eClassifiers xsi:type="ecore:EClass" name="CostEntry"> |
132 | <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> | 132 | <eStructuralFeatures xsi:type="ecore:EReference" name="patternElement" eType="#//PatternElement" |
133 | </eClassifiers> | 133 | containment="true"/> |
134 | <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> | 134 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
135 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" | 135 | </eClassifiers> |
136 | eType="#//TypeScope" containment="true"/> | 136 | <eClassifiers xsi:type="ecore:EClass" name="ReliabilityObjectiveFunction" eSuperTypes="#//ObjectiveFunction"> |
137 | </eClassifiers> | 137 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/> |
138 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> | 138 | <eStructuralFeatures xsi:type="ecore:EReference" name="transformation" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//TransformationDefinition"/> |
139 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 139 | </eClassifiers> |
140 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 140 | <eClassifiers xsi:type="ecore:EClass" name="ReliabiltiyProbability" eSuperTypes="#//ReliabilityObjectiveFunction"> |
141 | <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" | 141 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="time" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> |
142 | containment="true"/> | 142 | </eClassifiers> |
143 | </eClassifiers> | 143 | <eClassifiers xsi:type="ecore:EClass" name="Mtff" eSuperTypes="#//ReliabilityObjectiveFunction"/> |
144 | <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> | 144 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration"> |
145 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" | 145 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification" |
146 | containment="true"/> | 146 | containment="true"/> |
147 | </eClassifiers> | 147 | </eClassifiers> |
148 | <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> | 148 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveReference" eSuperTypes="#//Objective"> |
149 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" | 149 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ObjectiveDeclaration"/> |
150 | containment="true"/> | 150 | </eClassifiers> |
151 | </eClassifiers> | 151 | <eClassifiers xsi:type="ecore:EClass" name="Objective"/> |
152 | <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> | 152 | <eClassifiers xsi:type="ecore:EClass" name="ConfigSpecification" eSuperTypes="#//Config"> |
153 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" | 153 | <eStructuralFeatures xsi:type="ecore:EReference" name="entries" upperBound="-1" |
154 | containment="true"/> | 154 | eType="#//ConfigEntry" containment="true"/> |
155 | </eClassifiers> | 155 | </eClassifiers> |
156 | <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> | 156 | <eClassifiers xsi:type="ecore:EClass" name="ConfigDeclaration" eSuperTypes="#//Declaration"> |
157 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" | 157 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ConfigSpecification" |
158 | containment="true"/> | 158 | containment="true"/> |
159 | </eClassifiers> | 159 | </eClassifiers> |
160 | <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> | 160 | <eClassifiers xsi:type="ecore:EClass" name="ConfigEntry"/> |
161 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" | 161 | <eClassifiers xsi:type="ecore:EClass" name="DocumentationEntry" eSuperTypes="#//ConfigEntry"> |
162 | containment="true"/> | 162 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="level" eType="#//DocumentLevelSpecification"/> |
163 | </eClassifiers> | 163 | </eClassifiers> |
164 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> | 164 | <eClassifiers xsi:type="ecore:EEnum" name="DocumentLevelSpecification"> |
165 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> | 165 | <eLiterals name="none" literal="none"/> |
166 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" | 166 | <eLiterals name="normal" value="1" literal="normal"/> |
167 | containment="true"/> | 167 | <eLiterals name="full" value="2" literal="full"/> |
168 | </eClassifiers> | 168 | </eClassifiers> |
169 | <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> | 169 | <eClassifiers xsi:type="ecore:EClass" name="RuntimeEntry" eSuperTypes="#//ConfigEntry"> |
170 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> | 170 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="millisecLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
171 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> | 171 | </eClassifiers> |
172 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> | 172 | <eClassifiers xsi:type="ecore:EClass" name="MemoryEntry" eSuperTypes="#//ConfigEntry"> |
173 | <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> | 173 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="megabyteLimit" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
174 | <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> | 174 | </eClassifiers> |
175 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 175 | <eClassifiers xsi:type="ecore:EClass" name="CustomEntry" eSuperTypes="#//ConfigEntry"> |
176 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 176 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
177 | </eClassifiers> | 177 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
178 | <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> | 178 | </eClassifiers> |
179 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 179 | <eClassifiers xsi:type="ecore:EClass" name="ConfigReference" eSuperTypes="#//Config"> |
180 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 180 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//ConfigDeclaration"/> |
181 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 181 | </eClassifiers> |
182 | </eClassifiers> | 182 | <eClassifiers xsi:type="ecore:EClass" name="Config"/> |
183 | <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> | 183 | <eClassifiers xsi:type="ecore:EEnum" name="Solver"> |
184 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 184 | <eLiterals name="SMTSolver" literal="SMTSolver"/> |
185 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 185 | <eLiterals name="AlloySolver" value="1" literal="AlloySolver"/> |
186 | </eClassifiers> | 186 | <eLiterals name="ViatraSolver" value="2" literal="ViatraSolver"/> |
187 | <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> | 187 | </eClassifiers> |
188 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 188 | <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//Scope"> |
189 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> | 189 | <eStructuralFeatures xsi:type="ecore:EReference" name="scopes" upperBound="-1" |
190 | </eClassifiers> | 190 | eType="#//TypeScope" containment="true"/> |
191 | <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> | 191 | </eClassifiers> |
192 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | 192 | <eClassifiers xsi:type="ecore:EClass" name="TypeScope"> |
193 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 193 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsNew" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
194 | </eClassifiers> | 194 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="setsSum" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
195 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> | 195 | <eStructuralFeatures xsi:type="ecore:EReference" name="number" eType="#//NumberSpecification" |
196 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" | 196 | containment="true"/> |
197 | containment="true"/> | 197 | </eClassifiers> |
198 | </eClassifiers> | 198 | <eClassifiers xsi:type="ecore:EClass" name="ClassTypeScope" eSuperTypes="#//TypeScope"> |
199 | <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> | 199 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ClassReference" |
200 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> | 200 | containment="true"/> |
201 | </eClassifiers> | 201 | </eClassifiers> |
202 | <eClassifiers xsi:type="ecore:EClass" name="Scope"/> | 202 | <eClassifiers xsi:type="ecore:EClass" name="ObjectTypeScope" eSuperTypes="#//TypeScope"> |
203 | <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> | 203 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//ObjectReference" |
204 | <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> | 204 | containment="true"/> |
205 | <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" | 205 | </eClassifiers> |
206 | containment="true"/> | 206 | <eClassifiers xsi:type="ecore:EClass" name="IntegerTypeScope" eSuperTypes="#//TypeScope"> |
207 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" | 207 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//IntegerReference" |
208 | containment="true"/> | 208 | containment="true"/> |
209 | <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" | 209 | </eClassifiers> |
210 | containment="true"/> | 210 | <eClassifiers xsi:type="ecore:EClass" name="RealTypeScope" eSuperTypes="#//TypeScope"> |
211 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" | 211 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//RealReference" |
212 | containment="true"/> | 212 | containment="true"/> |
213 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 213 | </eClassifiers> |
214 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 214 | <eClassifiers xsi:type="ecore:EClass" name="StringTypeScope" eSuperTypes="#//TypeScope"> |
215 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | 215 | <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//StringReference" |
216 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 216 | containment="true"/> |
217 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> | 217 | </eClassifiers> |
218 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" | 218 | <eClassifiers xsi:type="ecore:EClass" name="TypeReference"/> |
219 | containment="true"/> | 219 | <eClassifiers xsi:type="ecore:EClass" name="ClassReference" eSuperTypes="#//TypeReference"> |
220 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" | 220 | <eStructuralFeatures xsi:type="ecore:EReference" name="element" eType="#//MetamodelElement" |
221 | containment="true"/> | 221 | containment="true"/> |
222 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" | 222 | </eClassifiers> |
223 | containment="true"/> | 223 | <eClassifiers xsi:type="ecore:EClass" name="ObjectReference" eSuperTypes="#//TypeReference"/> |
224 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" | 224 | <eClassifiers xsi:type="ecore:EClass" name="IntegerReference" eSuperTypes="#//TypeReference"/> |
225 | containment="true"/> | 225 | <eClassifiers xsi:type="ecore:EClass" name="RealReference" eSuperTypes="#//TypeReference"/> |
226 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | 226 | <eClassifiers xsi:type="ecore:EClass" name="StringReference" eSuperTypes="#//TypeReference"/> |
227 | containment="true"/> | 227 | <eClassifiers xsi:type="ecore:EClass" name="NumberSpecification"/> |
228 | </eClassifiers> | 228 | <eClassifiers xsi:type="ecore:EClass" name="ExactNumber" eSuperTypes="#//NumberSpecification"> |
229 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> | 229 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
230 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> | 230 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="exactUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> |
231 | <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> | 231 | </eClassifiers> |
232 | </ecore:EPackage> | 232 | <eClassifiers xsi:type="ecore:EClass" name="IntervallNumber" eSuperTypes="#//NumberSpecification"> |
233 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
234 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNumber" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
235 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxUnlimited" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
236 | </eClassifiers> | ||
237 | <eClassifiers xsi:type="ecore:EClass" name="IntEnumberation" eSuperTypes="#//NumberSpecification"> | ||
238 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
239 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
240 | </eClassifiers> | ||
241 | <eClassifiers xsi:type="ecore:EClass" name="RealEnumeration" eSuperTypes="#//NumberSpecification"> | ||
242 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
243 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> | ||
244 | </eClassifiers> | ||
245 | <eClassifiers xsi:type="ecore:EClass" name="StringEnumeration" eSuperTypes="#//NumberSpecification"> | ||
246 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="entry" unique="false" upperBound="-1" | ||
247 | eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | ||
248 | </eClassifiers> | ||
249 | <eClassifiers xsi:type="ecore:EClass" name="ScopeDeclaration" eSuperTypes="#//Declaration"> | ||
250 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ScopeSpecification" | ||
251 | containment="true"/> | ||
252 | </eClassifiers> | ||
253 | <eClassifiers xsi:type="ecore:EClass" name="ScopeReference" eSuperTypes="#//Scope"> | ||
254 | <eStructuralFeatures xsi:type="ecore:EReference" name="referred" eType="#//ScopeDeclaration"/> | ||
255 | </eClassifiers> | ||
256 | <eClassifiers xsi:type="ecore:EClass" name="Scope"/> | ||
257 | <eClassifiers xsi:type="ecore:EClass" name="Task" eSuperTypes="#//Command"/> | ||
258 | <eClassifiers xsi:type="ecore:EClass" name="GenerationTask" eSuperTypes="#//Task"> | ||
259 | <eStructuralFeatures xsi:type="ecore:EReference" name="metamodel" eType="#//Metamodel" | ||
260 | containment="true"/> | ||
261 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialModel" eType="#//PartialModel" | ||
262 | containment="true"/> | ||
263 | <eStructuralFeatures xsi:type="ecore:EReference" name="patterns" eType="#//GraphPattern" | ||
264 | containment="true"/> | ||
265 | <eStructuralFeatures xsi:type="ecore:EReference" name="objectives" eType="#//Objective" | ||
266 | containment="true"/> | ||
267 | <eStructuralFeatures xsi:type="ecore:EReference" name="scope" eType="#//Scope" | ||
268 | containment="true"/> | ||
269 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="numberSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
270 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="number" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
271 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runSpecified" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBoolean"/> | ||
272 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="runs" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | ||
273 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="solver" eType="#//Solver"/> | ||
274 | <eStructuralFeatures xsi:type="ecore:EReference" name="config" eType="#//Config" | ||
275 | containment="true"/> | ||
276 | <eStructuralFeatures xsi:type="ecore:EReference" name="debugFolder" eType="#//File" | ||
277 | containment="true"/> | ||
278 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetLogFile" eType="#//File" | ||
279 | containment="true"/> | ||
280 | <eStructuralFeatures xsi:type="ecore:EReference" name="targetStatisticsFile" eType="#//File" | ||
281 | containment="true"/> | ||
282 | <eStructuralFeatures xsi:type="ecore:EReference" name="tagetFolder" eType="#//File" | ||
283 | containment="true"/> | ||
284 | </eClassifiers> | ||
285 | <eClassifiers xsi:type="ecore:EClass" name="IntegerScope" eSuperTypes="#//IntegerReference"/> | ||
286 | <eClassifiers xsi:type="ecore:EClass" name="RealScope" eSuperTypes="#//RealReference"/> | ||
287 | <eClassifiers xsi:type="ecore:EClass" name="StringScope" eSuperTypes="#//StringReference"/> | ||
288 | </ecore:EPackage> | ||