aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-25 19:55:10 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2020-06-25 19:55:10 +0200
commitc3a6d4b9cf3657070d180aa65ddbf0459e880329 (patch)
tree780c4fc61578dcb309af53fb0c164c7627e51676 /Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
parentNew configuration language parser WIP (diff)
parentScope unsat benchmarks (diff)
downloadVIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.gz
VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.tar.zst
VIATRA-Generator-c3a6d4b9cf3657070d180aa65ddbf0459e880329.zip
Merge branch 'kris'
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java777
1 files changed, 372 insertions, 405 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
index 83ee824d..34943195 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
@@ -1,405 +1,372 @@
1/** 1/**
2 * generated by Xtext 2.12.0 2 * generated by Xtext 2.21.0
3 */ 3 */
4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration; 4package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
5 5
6 6
7/** 7/**
8 * <!-- begin-user-doc --> 8 * <!-- begin-user-doc -->
9 * A representation of the model object '<em><b>Generation Task</b></em>'. 9 * A representation of the model object '<em><b>Generation Task</b></em>'.
10 * <!-- end-user-doc --> 10 * <!-- end-user-doc -->
11 * 11 *
12 * <p> 12 * <p>
13 * The following features are supported: 13 * The following features are supported:
14 * </p> 14 * </p>
15 * <ul> 15 * <ul>
16 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel <em>Metamodel</em>}</li> 16 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel <em>Metamodel</em>}</li>
17 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel <em>Partial Model</em>}</li> 17 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel <em>Partial Model</em>}</li>
18 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns <em>Patterns</em>}</li> 18 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns <em>Patterns</em>}</li>
19 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope <em>Scope</em>}</li> 19 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getObjectives <em>Objectives</em>}</li>
20 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}</li> 20 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope <em>Scope</em>}</li>
21 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}</li> 21 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}</li>
22 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}</li> 22 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}</li>
23 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}</li> 23 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}</li>
24 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver <em>Solver</em>}</li> 24 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}</li>
25 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig <em>Config</em>}</li> 25 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver <em>Solver</em>}</li>
26 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}</li> 26 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig <em>Config</em>}</li>
27 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile <em>Target Log File</em>}</li> 27 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}</li>
28 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile <em>Target Statistics File</em>}</li> 28 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile <em>Target Log File</em>}</li>
29 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}</li> 29 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile <em>Target Statistics File</em>}</li>
30 * </ul> 30 * <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}</li>
31 * 31 * </ul>
32 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask() 32 *
33 * @model 33 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask()
34 * @generated 34 * @model
35 */ 35 * @generated
36public interface GenerationTask extends Task 36 */
37{ 37public interface GenerationTask extends Task
38 /** 38{
39 * Returns the value of the '<em><b>Metamodel</b></em>' containment reference. 39 /**
40 * <!-- begin-user-doc --> 40 * Returns the value of the '<em><b>Metamodel</b></em>' containment reference.
41 * <p> 41 * <!-- begin-user-doc -->
42 * If the meaning of the '<em>Metamodel</em>' containment reference isn't clear, 42 * <!-- end-user-doc -->
43 * there really should be more of a description here... 43 * @return the value of the '<em>Metamodel</em>' containment reference.
44 * </p> 44 * @see #setMetamodel(Metamodel)
45 * <!-- end-user-doc --> 45 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Metamodel()
46 * @return the value of the '<em>Metamodel</em>' containment reference. 46 * @model containment="true"
47 * @see #setMetamodel(Metamodel) 47 * @generated
48 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Metamodel() 48 */
49 * @model containment="true" 49 Metamodel getMetamodel();
50 * @generated 50
51 */ 51 /**
52 Metamodel getMetamodel(); 52 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel <em>Metamodel</em>}' containment reference.
53 53 * <!-- begin-user-doc -->
54 /** 54 * <!-- end-user-doc -->
55 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel <em>Metamodel</em>}' containment reference. 55 * @param value the new value of the '<em>Metamodel</em>' containment reference.
56 * <!-- begin-user-doc --> 56 * @see #getMetamodel()
57 * <!-- end-user-doc --> 57 * @generated
58 * @param value the new value of the '<em>Metamodel</em>' containment reference. 58 */
59 * @see #getMetamodel() 59 void setMetamodel(Metamodel value);
60 * @generated 60
61 */ 61 /**
62 void setMetamodel(Metamodel value); 62 * Returns the value of the '<em><b>Partial Model</b></em>' containment reference.
63 63 * <!-- begin-user-doc -->
64 /** 64 * <!-- end-user-doc -->
65 * Returns the value of the '<em><b>Partial Model</b></em>' containment reference. 65 * @return the value of the '<em>Partial Model</em>' containment reference.
66 * <!-- begin-user-doc --> 66 * @see #setPartialModel(PartialModel)
67 * <p> 67 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_PartialModel()
68 * If the meaning of the '<em>Partial Model</em>' containment reference isn't clear, 68 * @model containment="true"
69 * there really should be more of a description here... 69 * @generated
70 * </p> 70 */
71 * <!-- end-user-doc --> 71 PartialModel getPartialModel();
72 * @return the value of the '<em>Partial Model</em>' containment reference. 72
73 * @see #setPartialModel(PartialModel) 73 /**
74 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_PartialModel() 74 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel <em>Partial Model</em>}' containment reference.
75 * @model containment="true" 75 * <!-- begin-user-doc -->
76 * @generated 76 * <!-- end-user-doc -->
77 */ 77 * @param value the new value of the '<em>Partial Model</em>' containment reference.
78 PartialModel getPartialModel(); 78 * @see #getPartialModel()
79 79 * @generated
80 /** 80 */
81 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel <em>Partial Model</em>}' containment reference. 81 void setPartialModel(PartialModel value);
82 * <!-- begin-user-doc --> 82
83 * <!-- end-user-doc --> 83 /**
84 * @param value the new value of the '<em>Partial Model</em>' containment reference. 84 * Returns the value of the '<em><b>Patterns</b></em>' containment reference.
85 * @see #getPartialModel() 85 * <!-- begin-user-doc -->
86 * @generated 86 * <!-- end-user-doc -->
87 */ 87 * @return the value of the '<em>Patterns</em>' containment reference.
88 void setPartialModel(PartialModel value); 88 * @see #setPatterns(GraphPattern)
89 89 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Patterns()
90 /** 90 * @model containment="true"
91 * Returns the value of the '<em><b>Patterns</b></em>' containment reference. 91 * @generated
92 * <!-- begin-user-doc --> 92 */
93 * <p> 93 GraphPattern getPatterns();
94 * If the meaning of the '<em>Patterns</em>' containment reference isn't clear, 94
95 * there really should be more of a description here... 95 /**
96 * </p> 96 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns <em>Patterns</em>}' containment reference.
97 * <!-- end-user-doc --> 97 * <!-- begin-user-doc -->
98 * @return the value of the '<em>Patterns</em>' containment reference. 98 * <!-- end-user-doc -->
99 * @see #setPatterns(GraphPattern) 99 * @param value the new value of the '<em>Patterns</em>' containment reference.
100 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Patterns() 100 * @see #getPatterns()
101 * @model containment="true" 101 * @generated
102 * @generated 102 */
103 */ 103 void setPatterns(GraphPattern value);
104 GraphPattern getPatterns(); 104
105 105 /**
106 /** 106 * Returns the value of the '<em><b>Objectives</b></em>' containment reference.
107 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns <em>Patterns</em>}' containment reference. 107 * <!-- begin-user-doc -->
108 * <!-- begin-user-doc --> 108 * <!-- end-user-doc -->
109 * <!-- end-user-doc --> 109 * @return the value of the '<em>Objectives</em>' containment reference.
110 * @param value the new value of the '<em>Patterns</em>' containment reference. 110 * @see #setObjectives(Objective)
111 * @see #getPatterns() 111 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Objectives()
112 * @generated 112 * @model containment="true"
113 */ 113 * @generated
114 void setPatterns(GraphPattern value); 114 */
115 115 Objective getObjectives();
116 /** 116
117 * Returns the value of the '<em><b>Scope</b></em>' containment reference. 117 /**
118 * <!-- begin-user-doc --> 118 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getObjectives <em>Objectives</em>}' containment reference.
119 * <p> 119 * <!-- begin-user-doc -->
120 * If the meaning of the '<em>Scope</em>' containment reference isn't clear, 120 * <!-- end-user-doc -->
121 * there really should be more of a description here... 121 * @param value the new value of the '<em>Objectives</em>' containment reference.
122 * </p> 122 * @see #getObjectives()
123 * <!-- end-user-doc --> 123 * @generated
124 * @return the value of the '<em>Scope</em>' containment reference. 124 */
125 * @see #setScope(Scope) 125 void setObjectives(Objective value);
126 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Scope() 126
127 * @model containment="true" 127 /**
128 * @generated 128 * Returns the value of the '<em><b>Scope</b></em>' containment reference.
129 */ 129 * <!-- begin-user-doc -->
130 Scope getScope(); 130 * <!-- end-user-doc -->
131 131 * @return the value of the '<em>Scope</em>' containment reference.
132 /** 132 * @see #setScope(Scope)
133 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope <em>Scope</em>}' containment reference. 133 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Scope()
134 * <!-- begin-user-doc --> 134 * @model containment="true"
135 * <!-- end-user-doc --> 135 * @generated
136 * @param value the new value of the '<em>Scope</em>' containment reference. 136 */
137 * @see #getScope() 137 Scope getScope();
138 * @generated 138
139 */ 139 /**
140 void setScope(Scope value); 140 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope <em>Scope</em>}' containment reference.
141 141 * <!-- begin-user-doc -->
142 /** 142 * <!-- end-user-doc -->
143 * Returns the value of the '<em><b>Number Specified</b></em>' attribute. 143 * @param value the new value of the '<em>Scope</em>' containment reference.
144 * <!-- begin-user-doc --> 144 * @see #getScope()
145 * <p> 145 * @generated
146 * If the meaning of the '<em>Number Specified</em>' attribute isn't clear, 146 */
147 * there really should be more of a description here... 147 void setScope(Scope value);
148 * </p> 148
149 * <!-- end-user-doc --> 149 /**
150 * @return the value of the '<em>Number Specified</em>' attribute. 150 * Returns the value of the '<em><b>Number Specified</b></em>' attribute.
151 * @see #setNumberSpecified(boolean) 151 * <!-- begin-user-doc -->
152 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified() 152 * <!-- end-user-doc -->
153 * @model 153 * @return the value of the '<em>Number Specified</em>' attribute.
154 * @generated 154 * @see #setNumberSpecified(boolean)
155 */ 155 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified()
156 boolean isNumberSpecified(); 156 * @model
157 157 * @generated
158 /** 158 */
159 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}' attribute. 159 boolean isNumberSpecified();
160 * <!-- begin-user-doc --> 160
161 * <!-- end-user-doc --> 161 /**
162 * @param value the new value of the '<em>Number Specified</em>' attribute. 162 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}' attribute.
163 * @see #isNumberSpecified() 163 * <!-- begin-user-doc -->
164 * @generated 164 * <!-- end-user-doc -->
165 */ 165 * @param value the new value of the '<em>Number Specified</em>' attribute.
166 void setNumberSpecified(boolean value); 166 * @see #isNumberSpecified()
167 167 * @generated
168 /** 168 */
169 * Returns the value of the '<em><b>Number</b></em>' attribute. 169 void setNumberSpecified(boolean value);
170 * <!-- begin-user-doc --> 170
171 * <p> 171 /**
172 * If the meaning of the '<em>Number</em>' attribute isn't clear, 172 * Returns the value of the '<em><b>Number</b></em>' attribute.
173 * there really should be more of a description here... 173 * <!-- begin-user-doc -->
174 * </p> 174 * <!-- end-user-doc -->
175 * <!-- end-user-doc --> 175 * @return the value of the '<em>Number</em>' attribute.
176 * @return the value of the '<em>Number</em>' attribute. 176 * @see #setNumber(int)
177 * @see #setNumber(int) 177 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Number()
178 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Number() 178 * @model
179 * @model 179 * @generated
180 * @generated 180 */
181 */ 181 int getNumber();
182 int getNumber(); 182
183 183 /**
184 /** 184 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}' attribute.
185 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}' attribute. 185 * <!-- begin-user-doc -->
186 * <!-- begin-user-doc --> 186 * <!-- end-user-doc -->
187 * <!-- end-user-doc --> 187 * @param value the new value of the '<em>Number</em>' attribute.
188 * @param value the new value of the '<em>Number</em>' attribute. 188 * @see #getNumber()
189 * @see #getNumber() 189 * @generated
190 * @generated 190 */
191 */ 191 void setNumber(int value);
192 void setNumber(int value); 192
193 193 /**
194 /** 194 * Returns the value of the '<em><b>Run Specified</b></em>' attribute.
195 * Returns the value of the '<em><b>Run Specified</b></em>' attribute. 195 * <!-- begin-user-doc -->
196 * <!-- begin-user-doc --> 196 * <!-- end-user-doc -->
197 * <p> 197 * @return the value of the '<em>Run Specified</em>' attribute.
198 * If the meaning of the '<em>Run Specified</em>' attribute isn't clear, 198 * @see #setRunSpecified(boolean)
199 * there really should be more of a description here... 199 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified()
200 * </p> 200 * @model
201 * <!-- end-user-doc --> 201 * @generated
202 * @return the value of the '<em>Run Specified</em>' attribute. 202 */
203 * @see #setRunSpecified(boolean) 203 boolean isRunSpecified();
204 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified() 204
205 * @model 205 /**
206 * @generated 206 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}' attribute.
207 */ 207 * <!-- begin-user-doc -->
208 boolean isRunSpecified(); 208 * <!-- end-user-doc -->
209 209 * @param value the new value of the '<em>Run Specified</em>' attribute.
210 /** 210 * @see #isRunSpecified()
211 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}' attribute. 211 * @generated
212 * <!-- begin-user-doc --> 212 */
213 * <!-- end-user-doc --> 213 void setRunSpecified(boolean value);
214 * @param value the new value of the '<em>Run Specified</em>' attribute. 214
215 * @see #isRunSpecified() 215 /**
216 * @generated 216 * Returns the value of the '<em><b>Runs</b></em>' attribute.
217 */ 217 * <!-- begin-user-doc -->
218 void setRunSpecified(boolean value); 218 * <!-- end-user-doc -->
219 219 * @return the value of the '<em>Runs</em>' attribute.
220 /** 220 * @see #setRuns(int)
221 * Returns the value of the '<em><b>Runs</b></em>' attribute. 221 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Runs()
222 * <!-- begin-user-doc --> 222 * @model
223 * <p> 223 * @generated
224 * If the meaning of the '<em>Runs</em>' attribute isn't clear, 224 */
225 * there really should be more of a description here... 225 int getRuns();
226 * </p> 226
227 * <!-- end-user-doc --> 227 /**
228 * @return the value of the '<em>Runs</em>' attribute. 228 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}' attribute.
229 * @see #setRuns(int) 229 * <!-- begin-user-doc -->
230 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Runs() 230 * <!-- end-user-doc -->
231 * @model 231 * @param value the new value of the '<em>Runs</em>' attribute.
232 * @generated 232 * @see #getRuns()
233 */ 233 * @generated
234 int getRuns(); 234 */
235 235 void setRuns(int value);
236 /** 236
237 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}' attribute. 237 /**
238 * <!-- begin-user-doc --> 238 * Returns the value of the '<em><b>Solver</b></em>' attribute.
239 * <!-- end-user-doc --> 239 * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver}.
240 * @param value the new value of the '<em>Runs</em>' attribute. 240 * <!-- begin-user-doc -->
241 * @see #getRuns() 241 * <!-- end-user-doc -->
242 * @generated 242 * @return the value of the '<em>Solver</em>' attribute.
243 */ 243 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
244 void setRuns(int value); 244 * @see #setSolver(Solver)
245 245 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Solver()
246 /** 246 * @model
247 * Returns the value of the '<em><b>Solver</b></em>' attribute. 247 * @generated
248 * The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver}. 248 */
249 * <!-- begin-user-doc --> 249 Solver getSolver();
250 * <p> 250
251 * If the meaning of the '<em>Solver</em>' attribute isn't clear, 251 /**
252 * there really should be more of a description here... 252 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver <em>Solver</em>}' attribute.
253 * </p> 253 * <!-- begin-user-doc -->
254 * <!-- end-user-doc --> 254 * <!-- end-user-doc -->
255 * @return the value of the '<em>Solver</em>' attribute. 255 * @param value the new value of the '<em>Solver</em>' attribute.
256 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver 256 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
257 * @see #setSolver(Solver) 257 * @see #getSolver()
258 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Solver() 258 * @generated
259 * @model 259 */
260 * @generated 260 void setSolver(Solver value);
261 */ 261
262 Solver getSolver(); 262 /**
263 263 * Returns the value of the '<em><b>Config</b></em>' containment reference.
264 /** 264 * <!-- begin-user-doc -->
265 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver <em>Solver</em>}' attribute. 265 * <!-- end-user-doc -->
266 * <!-- begin-user-doc --> 266 * @return the value of the '<em>Config</em>' containment reference.
267 * <!-- end-user-doc --> 267 * @see #setConfig(Config)
268 * @param value the new value of the '<em>Solver</em>' attribute. 268 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Config()
269 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver 269 * @model containment="true"
270 * @see #getSolver() 270 * @generated
271 * @generated 271 */
272 */ 272 Config getConfig();
273 void setSolver(Solver value); 273
274 274 /**
275 /** 275 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig <em>Config</em>}' containment reference.
276 * Returns the value of the '<em><b>Config</b></em>' containment reference. 276 * <!-- begin-user-doc -->
277 * <!-- begin-user-doc --> 277 * <!-- end-user-doc -->
278 * <p> 278 * @param value the new value of the '<em>Config</em>' containment reference.
279 * If the meaning of the '<em>Config</em>' containment reference isn't clear, 279 * @see #getConfig()
280 * there really should be more of a description here... 280 * @generated
281 * </p> 281 */
282 * <!-- end-user-doc --> 282 void setConfig(Config value);
283 * @return the value of the '<em>Config</em>' containment reference. 283
284 * @see #setConfig(Config) 284 /**
285 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Config() 285 * Returns the value of the '<em><b>Debug Folder</b></em>' containment reference.
286 * @model containment="true" 286 * <!-- begin-user-doc -->
287 * @generated 287 * <!-- end-user-doc -->
288 */ 288 * @return the value of the '<em>Debug Folder</em>' containment reference.
289 Config getConfig(); 289 * @see #setDebugFolder(File)
290 290 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_DebugFolder()
291 /** 291 * @model containment="true"
292 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig <em>Config</em>}' containment reference. 292 * @generated
293 * <!-- begin-user-doc --> 293 */
294 * <!-- end-user-doc --> 294 File getDebugFolder();
295 * @param value the new value of the '<em>Config</em>' containment reference. 295
296 * @see #getConfig() 296 /**
297 * @generated 297 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}' containment reference.
298 */ 298 * <!-- begin-user-doc -->
299 void setConfig(Config value); 299 * <!-- end-user-doc -->
300 300 * @param value the new value of the '<em>Debug Folder</em>' containment reference.
301 /** 301 * @see #getDebugFolder()
302 * Returns the value of the '<em><b>Debug Folder</b></em>' containment reference. 302 * @generated
303 * <!-- begin-user-doc --> 303 */
304 * <p> 304 void setDebugFolder(File value);
305 * If the meaning of the '<em>Debug Folder</em>' containment reference isn't clear, 305
306 * there really should be more of a description here... 306 /**
307 * </p> 307 * Returns the value of the '<em><b>Target Log File</b></em>' containment reference.
308 * <!-- end-user-doc --> 308 * <!-- begin-user-doc -->
309 * @return the value of the '<em>Debug Folder</em>' containment reference. 309 * <!-- end-user-doc -->
310 * @see #setDebugFolder(File) 310 * @return the value of the '<em>Target Log File</em>' containment reference.
311 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_DebugFolder() 311 * @see #setTargetLogFile(File)
312 * @model containment="true" 312 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetLogFile()
313 * @generated 313 * @model containment="true"
314 */ 314 * @generated
315 File getDebugFolder(); 315 */
316 316 File getTargetLogFile();
317 /** 317
318 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}' containment reference. 318 /**
319 * <!-- begin-user-doc --> 319 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile <em>Target Log File</em>}' containment reference.
320 * <!-- end-user-doc --> 320 * <!-- begin-user-doc -->
321 * @param value the new value of the '<em>Debug Folder</em>' containment reference. 321 * <!-- end-user-doc -->
322 * @see #getDebugFolder() 322 * @param value the new value of the '<em>Target Log File</em>' containment reference.
323 * @generated 323 * @see #getTargetLogFile()
324 */ 324 * @generated
325 void setDebugFolder(File value); 325 */
326 326 void setTargetLogFile(File value);
327 /** 327
328 * Returns the value of the '<em><b>Target Log File</b></em>' containment reference. 328 /**
329 * <!-- begin-user-doc --> 329 * Returns the value of the '<em><b>Target Statistics File</b></em>' containment reference.
330 * <p> 330 * <!-- begin-user-doc -->
331 * If the meaning of the '<em>Target Log File</em>' containment reference isn't clear, 331 * <!-- end-user-doc -->
332 * there really should be more of a description here... 332 * @return the value of the '<em>Target Statistics File</em>' containment reference.
333 * </p> 333 * @see #setTargetStatisticsFile(File)
334 * <!-- end-user-doc --> 334 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetStatisticsFile()
335 * @return the value of the '<em>Target Log File</em>' containment reference. 335 * @model containment="true"
336 * @see #setTargetLogFile(File) 336 * @generated
337 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetLogFile() 337 */
338 * @model containment="true" 338 File getTargetStatisticsFile();
339 * @generated 339
340 */ 340 /**
341 File getTargetLogFile(); 341 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile <em>Target Statistics File</em>}' containment reference.
342 342 * <!-- begin-user-doc -->
343 /** 343 * <!-- end-user-doc -->
344 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile <em>Target Log File</em>}' containment reference. 344 * @param value the new value of the '<em>Target Statistics File</em>' containment reference.
345 * <!-- begin-user-doc --> 345 * @see #getTargetStatisticsFile()
346 * <!-- end-user-doc --> 346 * @generated
347 * @param value the new value of the '<em>Target Log File</em>' containment reference. 347 */
348 * @see #getTargetLogFile() 348 void setTargetStatisticsFile(File value);
349 * @generated 349
350 */ 350 /**
351 void setTargetLogFile(File value); 351 * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference.
352 352 * <!-- begin-user-doc -->
353 /** 353 * <!-- end-user-doc -->
354 * Returns the value of the '<em><b>Target Statistics File</b></em>' containment reference. 354 * @return the value of the '<em>Taget Folder</em>' containment reference.
355 * <!-- begin-user-doc --> 355 * @see #setTagetFolder(File)
356 * <p> 356 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()
357 * If the meaning of the '<em>Target Statistics File</em>' containment reference isn't clear, 357 * @model containment="true"
358 * there really should be more of a description here... 358 * @generated
359 * </p> 359 */
360 * <!-- end-user-doc --> 360 File getTagetFolder();
361 * @return the value of the '<em>Target Statistics File</em>' containment reference. 361
362 * @see #setTargetStatisticsFile(File) 362 /**
363 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetStatisticsFile() 363 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}' containment reference.
364 * @model containment="true" 364 * <!-- begin-user-doc -->
365 * @generated 365 * <!-- end-user-doc -->
366 */ 366 * @param value the new value of the '<em>Taget Folder</em>' containment reference.
367 File getTargetStatisticsFile(); 367 * @see #getTagetFolder()
368 368 * @generated
369 /** 369 */
370 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile <em>Target Statistics File</em>}' containment reference. 370 void setTagetFolder(File value);
371 * <!-- begin-user-doc --> 371
372 * <!-- end-user-doc --> 372} // GenerationTask
373 * @param value the new value of the '<em>Target Statistics File</em>' containment reference.
374 * @see #getTargetStatisticsFile()
375 * @generated
376 */
377 void setTargetStatisticsFile(File value);
378
379 /**
380 * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference.
381 * <!-- begin-user-doc -->
382 * <p>
383 * If the meaning of the '<em>Taget Folder</em>' containment reference isn't clear,
384 * there really should be more of a description here...
385 * </p>
386 * <!-- end-user-doc -->
387 * @return the value of the '<em>Taget Folder</em>' containment reference.
388 * @see #setTagetFolder(File)
389 * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()
390 * @model containment="true"
391 * @generated
392 */
393 File getTagetFolder();
394
395 /**
396 * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}' containment reference.
397 * <!-- begin-user-doc -->
398 * <!-- end-user-doc -->
399 * @param value the new value of the '<em>Taget Folder</em>' containment reference.
400 * @see #getTagetFolder()
401 * @generated
402 */
403 void setTagetFolder(File value);
404
405} // GenerationTask
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 10:12:02 +0000