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, 173 insertions, 17 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 46c85cc8..6c46cdbe 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 | |||
@@ -27,8 +27,16 @@ import org.eclipse.emf.ecore.EObject; | |||
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#getMinNewElements <em>Min New Elements</em>}</li> | 28 | * <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> | 29 | * <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#getOpenWorldElementPrototype <em>Open World Element Prototype</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> | 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> | ||
32 | * </ul> | 40 | * </ul> |
33 | * | 41 | * |
34 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() | 42 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() |
@@ -197,30 +205,20 @@ public interface PartialInterpretation extends EObject { | |||
197 | void setMaxNewElements(int value); | 205 | void setMaxNewElements(int value); |
198 | 206 | ||
199 | /** | 207 | /** |
200 | * Returns the value of the '<em><b>Open World Element Prototype</b></em>' containment reference. | 208 | * Returns the value of the '<em><b>Open World Element Prototypes</b></em>' containment reference list. |
209 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement}. | ||
201 | * <!-- begin-user-doc --> | 210 | * <!-- begin-user-doc --> |
202 | * <p> | 211 | * <p> |
203 | * If the meaning of the '<em>Open World Element Prototype</em>' containment reference isn't clear, | 212 | * If the meaning of the '<em>Open World Element Prototypes</em>' containment reference list isn't clear, |
204 | * there really should be more of a description here... | 213 | * there really should be more of a description here... |
205 | * </p> | 214 | * </p> |
206 | * <!-- end-user-doc --> | 215 | * <!-- end-user-doc --> |
207 | * @return the value of the '<em>Open World Element Prototype</em>' containment reference. | 216 | * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list. |
208 | * @see #setOpenWorldElementPrototype(DefinedElement) | 217 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() |
209 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototype() | ||
210 | * @model containment="true" required="true" | 218 | * @model containment="true" required="true" |
211 | * @generated | 219 | * @generated |
212 | */ | 220 | */ |
213 | DefinedElement getOpenWorldElementPrototype(); | 221 | EList<DefinedElement> getOpenWorldElementPrototypes(); |
214 | |||
215 | /** | ||
216 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getOpenWorldElementPrototype <em>Open World Element Prototype</em>}' containment reference. | ||
217 | * <!-- begin-user-doc --> | ||
218 | * <!-- end-user-doc --> | ||
219 | * @param value the new value of the '<em>Open World Element Prototype</em>' containment reference. | ||
220 | * @see #getOpenWorldElementPrototype() | ||
221 | * @generated | ||
222 | */ | ||
223 | void setOpenWorldElementPrototype(DefinedElement value); | ||
224 | 222 | ||
225 | /** | 223 | /** |
226 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. | 224 | * Returns the value of the '<em><b>Problem Conainer</b></em>' containment reference. |
@@ -248,4 +246,162 @@ public interface PartialInterpretation extends EObject { | |||
248 | */ | 246 | */ |
249 | void setProblemConainer(LogicProblem value); | 247 | void setProblemConainer(LogicProblem value); |
250 | 248 | ||
249 | /** | ||
250 | * Returns the value of the '<em><b>Stringelement</b></em>' containment reference list. | ||
251 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <p> | ||
254 | * If the meaning of the '<em>Stringelement</em>' containment reference list isn't clear, | ||
255 | * there really should be more of a description here... | ||
256 | * </p> | ||
257 | * <!-- end-user-doc --> | ||
258 | * @return the value of the '<em>Stringelement</em>' containment reference list. | ||
259 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelement() | ||
260 | * @model containment="true" | ||
261 | * @generated | ||
262 | */ | ||
263 | EList<StringElement> getStringelement(); | ||
264 | |||
265 | /** | ||
266 | * Returns the value of the '<em><b>Stringelements</b></em>' containment reference list. | ||
267 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
268 | * <!-- begin-user-doc --> | ||
269 | * <p> | ||
270 | * If the meaning of the '<em>Stringelements</em>' containment reference list isn't clear, | ||
271 | * there really should be more of a description here... | ||
272 | * </p> | ||
273 | * <!-- end-user-doc --> | ||
274 | * @return the value of the '<em>Stringelements</em>' containment reference list. | ||
275 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Stringelements() | ||
276 | * @model containment="true" | ||
277 | * @generated | ||
278 | */ | ||
279 | EList<StringElement> getStringelements(); | ||
280 | |||
281 | /** | ||
282 | * Returns the value of the '<em><b>Realelements</b></em>' containment reference list. | ||
283 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | ||
284 | * <!-- begin-user-doc --> | ||
285 | * <p> | ||
286 | * If the meaning of the '<em>Realelements</em>' containment reference list isn't clear, | ||
287 | * there really should be more of a description here... | ||
288 | * </p> | ||
289 | * <!-- end-user-doc --> | ||
290 | * @return the value of the '<em>Realelements</em>' containment reference list. | ||
291 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Realelements() | ||
292 | * @model containment="true" | ||
293 | * @generated | ||
294 | */ | ||
295 | EList<RealElement> getRealelements(); | ||
296 | |||
297 | /** | ||
298 | * Returns the value of the '<em><b>Integerelements</b></em>' containment reference list. | ||
299 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
300 | * <!-- begin-user-doc --> | ||
301 | * <p> | ||
302 | * If the meaning of the '<em>Integerelements</em>' containment reference list isn't clear, | ||
303 | * there really should be more of a description here... | ||
304 | * </p> | ||
305 | * <!-- end-user-doc --> | ||
306 | * @return the value of the '<em>Integerelements</em>' containment reference list. | ||
307 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Integerelements() | ||
308 | * @model containment="true" | ||
309 | * @generated | ||
310 | */ | ||
311 | EList<IntegerElement> getIntegerelements(); | ||
312 | |||
313 | /** | ||
314 | * Returns the value of the '<em><b>Booleanelements</b></em>' containment reference list. | ||
315 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BooleanElement}. | ||
316 | * <!-- begin-user-doc --> | ||
317 | * <p> | ||
318 | * If the meaning of the '<em>Booleanelements</em>' containment reference list isn't clear, | ||
319 | * there really should be more of a description here... | ||
320 | * </p> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @return the value of the '<em>Booleanelements</em>' containment reference list. | ||
323 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_Booleanelements() | ||
324 | * @model containment="true" | ||
325 | * @generated | ||
326 | */ | ||
327 | EList<BooleanElement> getBooleanelements(); | ||
328 | |||
329 | /** | ||
330 | * Returns the value of the '<em><b>Max New Integers</b></em>' attribute. | ||
331 | * <!-- begin-user-doc --> | ||
332 | * <p> | ||
333 | * If the meaning of the '<em>Max New Integers</em>' attribute isn't clear, | ||
334 | * there really should be more of a description here... | ||
335 | * </p> | ||
336 | * <!-- end-user-doc --> | ||
337 | * @return the value of the '<em>Max New Integers</em>' attribute. | ||
338 | * @see #setMaxNewIntegers(int) | ||
339 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewIntegers() | ||
340 | * @model required="true" | ||
341 | * @generated | ||
342 | */ | ||
343 | int getMaxNewIntegers(); | ||
344 | |||
345 | /** | ||
346 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}' attribute. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * <!-- end-user-doc --> | ||
349 | * @param value the new value of the '<em>Max New Integers</em>' attribute. | ||
350 | * @see #getMaxNewIntegers() | ||
351 | * @generated | ||
352 | */ | ||
353 | void setMaxNewIntegers(int value); | ||
354 | |||
355 | /** | ||
356 | * Returns the value of the '<em><b>Max New Reals</b></em>' attribute. | ||
357 | * <!-- begin-user-doc --> | ||
358 | * <p> | ||
359 | * If the meaning of the '<em>Max New Reals</em>' attribute isn't clear, | ||
360 | * there really should be more of a description here... | ||
361 | * </p> | ||
362 | * <!-- end-user-doc --> | ||
363 | * @return the value of the '<em>Max New Reals</em>' attribute. | ||
364 | * @see #setMaxNewReals(int) | ||
365 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewReals() | ||
366 | * @model required="true" | ||
367 | * @generated | ||
368 | */ | ||
369 | int getMaxNewReals(); | ||
370 | |||
371 | /** | ||
372 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}' attribute. | ||
373 | * <!-- begin-user-doc --> | ||
374 | * <!-- end-user-doc --> | ||
375 | * @param value the new value of the '<em>Max New Reals</em>' attribute. | ||
376 | * @see #getMaxNewReals() | ||
377 | * @generated | ||
378 | */ | ||
379 | void setMaxNewReals(int value); | ||
380 | |||
381 | /** | ||
382 | * Returns the value of the '<em><b>Max New Strings</b></em>' attribute. | ||
383 | * <!-- begin-user-doc --> | ||
384 | * <p> | ||
385 | * If the meaning of the '<em>Max New Strings</em>' attribute isn't clear, | ||
386 | * there really should be more of a description here... | ||
387 | * </p> | ||
388 | * <!-- end-user-doc --> | ||
389 | * @return the value of the '<em>Max New Strings</em>' attribute. | ||
390 | * @see #setMaxNewStrings(int) | ||
391 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_MaxNewStrings() | ||
392 | * @model required="true" | ||
393 | * @generated | ||
394 | */ | ||
395 | int getMaxNewStrings(); | ||
396 | |||
397 | /** | ||
398 | * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}' attribute. | ||
399 | * <!-- begin-user-doc --> | ||
400 | * <!-- end-user-doc --> | ||
401 | * @param value the new value of the '<em>Max New Strings</em>' attribute. | ||
402 | * @see #getMaxNewStrings() | ||
403 | * @generated | ||
404 | */ | ||
405 | void setMaxNewStrings(int value); | ||
406 | |||
251 | } // PartialInterpretation | 407 | } // PartialInterpretation |