diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java')
1 files changed, 38 insertions, 238 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java index d0f77a52..098cc15b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java | |||
@@ -25,21 +25,11 @@ import org.eclipse.emf.ecore.EObject; | |||
25 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li> | 25 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialfunctioninterpretation <em>Partialfunctioninterpretation</em>}</li> |
26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}</li> | 26 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewElements <em>New Elements</em>}</li> |
27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> | 27 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getPartialtypeinterpratation <em>Partialtypeinterpratation</em>}</li> |
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElements <em>Open World Elements</em>}</li> | ||
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li> | ||
30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getScopes <em>Scopes</em>}</li> | ||
28 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li> | 31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}</li> |
29 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li> | 32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}</li> |
30 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototypes <em>Open World Element Prototypes</em>}</li> | ||
31 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getProblemConainer <em>Problem Conainer</em>}</li> | ||
32 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelement <em>Stringelement</em>}</li> | ||
33 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getStringelements <em>Stringelements</em>}</li> | ||
34 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getRealelements <em>Realelements</em>}</li> | ||
35 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getIntegerelements <em>Integerelements</em>}</li> | ||
36 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getBooleanelements <em>Booleanelements</em>}</li> | ||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li> | ||
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li> | ||
39 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li> | ||
40 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}</li> | ||
41 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}</li> | ||
42 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}</li> | ||
43 | * </ul> | 33 | * </ul> |
44 | * | 34 | * |
45 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() | 35 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() |
@@ -154,74 +144,20 @@ public interface PartialInterpretation extends EObject { | |||
154 | EList<PartialTypeInterpratation> getPartialtypeinterpratation(); | 144 | EList<PartialTypeInterpratation> getPartialtypeinterpratation(); |
155 | 145 | ||
156 | /** | 146 | /** |
157 | * Returns the value of the '<em><b>Min New Elements</b></em>' attribute. | 147 | * Returns the value of the '<em><b>Open World Elements</b></em>' containment reference list. |
158 | * The default value is <code>"0"</code>. | ||
159 | * <!-- begin-user-doc --> | ||
160 | * <p> | ||
161 | * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear, | ||
162 | * there really should be more of a description here... | ||
163 | * </p> | ||
164 | * <!-- end-user-doc --> | ||
165 | * @return the value of the '<em>Min New Elements</em>' attribute. | ||
166 | * @see #setMinNewElements(int) | ||
167 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements() | ||
168 | * @model default="0" id="true" required="true" | ||
169 | * @generated | ||
170 | */ | ||
171 | int getMinNewElements(); | ||
172 | |||
173 | /** | ||
174 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute. | ||
175 | * <!-- begin-user-doc --> | ||
176 | * <!-- end-user-doc --> | ||
177 | * @param value the new value of the '<em>Min New Elements</em>' attribute. | ||
178 | * @see #getMinNewElements() | ||
179 | * @generated | ||
180 | */ | ||
181 | void setMinNewElements(int value); | ||
182 | |||
183 | /** | ||
184 | * Returns the value of the '<em><b>Max New Elements</b></em>' attribute. | ||
185 | * The default value is <code>"0"</code>. | ||
186 | * <!-- begin-user-doc --> | ||
187 | * <p> | ||
188 | * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear, | ||
189 | * there really should be more of a description here... | ||
190 | * </p> | ||
191 | * <!-- end-user-doc --> | ||
192 | * @return the value of the '<em>Max New Elements</em>' attribute. | ||
193 | * @see #setMaxNewElements(int) | ||
194 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements() | ||
195 | * @model default="0" required="true" | ||
196 | * @generated | ||
197 | */ | ||
198 | int getMaxNewElements(); | ||
199 | |||
200 | /** | ||
201 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute. | ||
202 | * <!-- begin-user-doc --> | ||
203 | * <!-- end-user-doc --> | ||
204 | * @param value the new value of the '<em>Max New Elements</em>' attribute. | ||
205 | * @see #getMaxNewElements() | ||
206 | * @generated | ||
207 | */ | ||
208 | void setMaxNewElements(int value); | ||
209 | |||
210 | /** | ||
211 | * Returns the value of the '<em><b>Open World Element Prototypes</b></em>' containment reference list. | ||
212 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. | 148 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. |
213 | * <!-- begin-user-doc --> | 149 | * <!-- begin-user-doc --> |
214 | * <p> | 150 | * <p> |
215 | * If the meaning of the '<em>Open World Element Prototypes</em>' containment reference list isn't clear, | 151 | * If the meaning of the '<em>Open World Elements</em>' containment reference list isn't clear, |
216 | * there really should be more of a description here... | 152 | * there really should be more of a description here... |
217 | * </p> | 153 | * </p> |
218 | * <!-- end-user-doc --> | 154 | * <!-- end-user-doc --> |
219 | * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list. | 155 | * @return the value of the '<em>Open World Elements</em>' containment reference list. |
220 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() | 156 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElements() |
221 | * @model containment="true" | 157 | * @model containment="true" |
222 | * @generated | 158 | * @generated |
223 | */ | 159 | */ |
224 | EList<DefinedElement> getOpenWorldElementPrototypes(); | 160 | EList<DefinedElement> getOpenWorldElements(); |
225 | 161 | ||
226 | /** | 162 | /** |
227 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. | 163 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. |
@@ -250,209 +186,73 @@ public interface PartialInterpretation extends EObject { | |||
250 | void setProblemConainer(LogicProblem value); | 186 | void setProblemConainer(LogicProblem value); |
251 | 187 | ||
252 | /** | 188 | /** |
253 | * Returns the value of the '<em><b>Stringelement</b></em>' containment reference list. | 189 | * Returns the value of the '<em><b>Scopes</b></em>' containment reference list. |
254 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | 190 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.Scope}. |
255 | * <!-- begin-user-doc --> | 191 | * <!-- begin-user-doc --> |
256 | * <p> | 192 | * <p> |
257 | * If the meaning of the '<em>Stringelement</em>' containment reference list isn't clear, | 193 | * If the meaning of the '<em>Scopes</em>' containment reference list isn't clear, |
258 | * there really should be more of a description here... | 194 | * there really should be more of a description here... |
259 | * </p> | 195 | * </p> |
260 | * <!-- end-user-doc --> | 196 | * <!-- end-user-doc --> |
261 | * @return the value of the '<em>Stringelement</em>' containment reference list. | 197 | * @return the value of the '<em>Scopes</em>' containment reference list. |
262 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement() | 198 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Scopes() |
263 | * @model containment="true" | 199 | * @model containment="true" |
264 | * @generated | 200 | * @generated |
265 | */ | 201 | */ |
266 | EList<StringElement> getStringelement(); | 202 | EList<Scope> getScopes(); |
267 | 203 | ||
268 | /** | 204 | /** |
269 | * Returns the value of the '<em><b>Stringelements</b></em>' containment reference list. | 205 | * Returns the value of the '<em><b>Min New Elements</b></em>' attribute. |
270 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | 206 | * The default value is <code>"0"</code>. |
271 | * <!-- begin-user-doc --> | ||
272 | * <p> | ||
273 | * If the meaning of the '<em>Stringelements</em>' containment reference list isn't clear, | ||
274 | * there really should be more of a description here... | ||
275 | * </p> | ||
276 | * <!-- end-user-doc --> | ||
277 | * @return the value of the '<em>Stringelements</em>' containment reference list. | ||
278 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements() | ||
279 | * @model containment="true" | ||
280 | * @generated | ||
281 | */ | ||
282 | EList<StringElement> getStringelements(); | ||
283 | |||
284 | /** | ||
285 | * Returns the value of the '<em><b>Realelements</b></em>' containment reference list. | ||
286 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | ||
287 | * <!-- begin-user-doc --> | ||
288 | * <p> | ||
289 | * If the meaning of the '<em>Realelements</em>' containment reference list isn't clear, | ||
290 | * there really should be more of a description here... | ||
291 | * </p> | ||
292 | * <!-- end-user-doc --> | ||
293 | * @return the value of the '<em>Realelements</em>' containment reference list. | ||
294 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements() | ||
295 | * @model containment="true" | ||
296 | * @generated | ||
297 | */ | ||
298 | EList<RealElement> getRealelements(); | ||
299 | |||
300 | /** | ||
301 | * Returns the value of the '<em><b>Integerelements</b></em>' containment reference list. | ||
302 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
303 | * <!-- begin-user-doc --> | ||
304 | * <p> | ||
305 | * If the meaning of the '<em>Integerelements</em>' containment reference list isn't clear, | ||
306 | * there really should be more of a description here... | ||
307 | * </p> | ||
308 | * <!-- end-user-doc --> | ||
309 | * @return the value of the '<em>Integerelements</em>' containment reference list. | ||
310 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements() | ||
311 | * @model containment="true" | ||
312 | * @generated | ||
313 | */ | ||
314 | EList<IntegerElement> getIntegerelements(); | ||
315 | |||
316 | /** | ||
317 | * Returns the value of the '<em><b>Booleanelements</b></em>' containment reference list. | ||
318 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}. | ||
319 | * <!-- begin-user-doc --> | ||
320 | * <p> | ||
321 | * If the meaning of the '<em>Booleanelements</em>' containment reference list isn't clear, | ||
322 | * there really should be more of a description here... | ||
323 | * </p> | ||
324 | * <!-- end-user-doc --> | ||
325 | * @return the value of the '<em>Booleanelements</em>' containment reference list. | ||
326 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements() | ||
327 | * @model containment="true" | ||
328 | * @generated | ||
329 | */ | ||
330 | EList<BooleanElement> getBooleanelements(); | ||
331 | |||
332 | /** | ||
333 | * Returns the value of the '<em><b>Max New Integers</b></em>' attribute. | ||
334 | * <!-- begin-user-doc --> | ||
335 | * <p> | ||
336 | * If the meaning of the '<em>Max New Integers</em>' attribute isn't clear, | ||
337 | * there really should be more of a description here... | ||
338 | * </p> | ||
339 | * <!-- end-user-doc --> | ||
340 | * @return the value of the '<em>Max New Integers</em>' attribute. | ||
341 | * @see #setMaxNewIntegers(int) | ||
342 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers() | ||
343 | * @model required="true" | ||
344 | * @generated | ||
345 | */ | ||
346 | int getMaxNewIntegers(); | ||
347 | |||
348 | /** | ||
349 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}' attribute. | ||
350 | * <!-- begin-user-doc --> | ||
351 | * <!-- end-user-doc --> | ||
352 | * @param value the new value of the '<em>Max New Integers</em>' attribute. | ||
353 | * @see #getMaxNewIntegers() | ||
354 | * @generated | ||
355 | */ | ||
356 | void setMaxNewIntegers(int value); | ||
357 | |||
358 | /** | ||
359 | * Returns the value of the '<em><b>Max New Reals</b></em>' attribute. | ||
360 | * <!-- begin-user-doc --> | ||
361 | * <p> | ||
362 | * If the meaning of the '<em>Max New Reals</em>' attribute isn't clear, | ||
363 | * there really should be more of a description here... | ||
364 | * </p> | ||
365 | * <!-- end-user-doc --> | ||
366 | * @return the value of the '<em>Max New Reals</em>' attribute. | ||
367 | * @see #setMaxNewReals(int) | ||
368 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals() | ||
369 | * @model required="true" | ||
370 | * @generated | ||
371 | */ | ||
372 | int getMaxNewReals(); | ||
373 | |||
374 | /** | ||
375 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}' attribute. | ||
376 | * <!-- begin-user-doc --> | ||
377 | * <!-- end-user-doc --> | ||
378 | * @param value the new value of the '<em>Max New Reals</em>' attribute. | ||
379 | * @see #getMaxNewReals() | ||
380 | * @generated | ||
381 | */ | ||
382 | void setMaxNewReals(int value); | ||
383 | |||
384 | /** | ||
385 | * Returns the value of the '<em><b>Max New Strings</b></em>' attribute. | ||
386 | * <!-- begin-user-doc --> | 207 | * <!-- begin-user-doc --> |
387 | * <p> | 208 | * <p> |
388 | * If the meaning of the '<em>Max New Strings</em>' attribute isn't clear, | 209 | * If the meaning of the '<em>Min New Elements</em>' attribute isn't clear, |
389 | * there really should be more of a description here... | 210 | * there really should be more of a description here... |
390 | * </p> | 211 | * </p> |
391 | * <!-- end-user-doc --> | 212 | * <!-- end-user-doc --> |
392 | * @return the value of the '<em>Max New Strings</em>' attribute. | 213 | * @return the value of the '<em>Min New Elements</em>' attribute. |
393 | * @see #setMaxNewStrings(int) | 214 | * @see #setMinNewElements(int) |
394 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings() | 215 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MinNewElements() |
395 | * @model required="true" | 216 | * @model default="0" required="true" |
396 | * @generated | 217 | * @generated |
397 | */ | 218 | */ |
398 | int getMaxNewStrings(); | 219 | int getMinNewElements(); |
399 | 220 | ||
400 | /** | 221 | /** |
401 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}' attribute. | 222 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMinNewElements <em>Min New Elements</em>}' attribute. |
402 | * <!-- begin-user-doc --> | 223 | * <!-- begin-user-doc --> |
403 | * <!-- end-user-doc --> | 224 | * <!-- end-user-doc --> |
404 | * @param value the new value of the '<em>Max New Strings</em>' attribute. | 225 | * @param value the new value of the '<em>Min New Elements</em>' attribute. |
405 | * @see #getMaxNewStrings() | 226 | * @see #getMinNewElements() |
406 | * @generated | ||
407 | */ | ||
408 | void setMaxNewStrings(int value); | ||
409 | |||
410 | /** | ||
411 | * Returns the value of the '<em><b>New Strings</b></em>' containment reference list. | ||
412 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
413 | * <!-- begin-user-doc --> | ||
414 | * <p> | ||
415 | * If the meaning of the '<em>New Strings</em>' containment reference list isn't clear, | ||
416 | * there really should be more of a description here... | ||
417 | * </p> | ||
418 | * <!-- end-user-doc --> | ||
419 | * @return the value of the '<em>New Strings</em>' containment reference list. | ||
420 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings() | ||
421 | * @model containment="true" | ||
422 | * @generated | 227 | * @generated |
423 | */ | 228 | */ |
424 | EList<StringElement> getNewStrings(); | 229 | void setMinNewElements(int value); |
425 | 230 | ||
426 | /** | 231 | /** |
427 | * Returns the value of the '<em><b>New Reals</b></em>' containment reference list. | 232 | * Returns the value of the '<em><b>Max New Elements</b></em>' attribute. |
428 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | 233 | * The default value is <code>"-1"</code>. |
429 | * <!-- begin-user-doc --> | 234 | * <!-- begin-user-doc --> |
430 | * <p> | 235 | * <p> |
431 | * If the meaning of the '<em>New Reals</em>' containment reference list isn't clear, | 236 | * If the meaning of the '<em>Max New Elements</em>' attribute isn't clear, |
432 | * there really should be more of a description here... | 237 | * there really should be more of a description here... |
433 | * </p> | 238 | * </p> |
434 | * <!-- end-user-doc --> | 239 | * <!-- end-user-doc --> |
435 | * @return the value of the '<em>New Reals</em>' containment reference list. | 240 | * @return the value of the '<em>Max New Elements</em>' attribute. |
436 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals() | 241 | * @see #setMaxNewElements(int) |
437 | * @model containment="true" | 242 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewElements() |
243 | * @model default="-1" required="true" | ||
438 | * @generated | 244 | * @generated |
439 | */ | 245 | */ |
440 | EList<RealElement> getNewReals(); | 246 | int getMaxNewElements(); |
441 | 247 | ||
442 | /** | 248 | /** |
443 | * Returns the value of the '<em><b>New Integers</b></em>' containment reference list. | 249 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewElements <em>Max New Elements</em>}' attribute. |
444 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
445 | * <!-- begin-user-doc --> | 250 | * <!-- begin-user-doc --> |
446 | * <p> | ||
447 | * If the meaning of the '<em>New Integers</em>' containment reference list isn't clear, | ||
448 | * there really should be more of a description here... | ||
449 | * </p> | ||
450 | * <!-- end-user-doc --> | 251 | * <!-- end-user-doc --> |
451 | * @return the value of the '<em>New Integers</em>' containment reference list. | 252 | * @param value the new value of the '<em>Max New Elements</em>' attribute. |
452 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers() | 253 | * @see #getMaxNewElements() |
453 | * @model containment="true" | ||
454 | * @generated | 254 | * @generated |
455 | */ | 255 | */ |
456 | EList<IntegerElement> getNewIntegers(); | 256 | void setMaxNewElements(int value); |
457 | 257 | ||
458 | } // PartialInterpretation | 258 | } // PartialInterpretation |