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, 51 insertions, 0 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 6c46cdbe..d9725855 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 | |||
@@ -37,6 +37,9 @@ import org.eclipse.emf.ecore.EObject; | |||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</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> | 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> | 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> | ||
40 | * </ul> | 43 | * </ul> |
41 | * | 44 | * |
42 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() | 45 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() |
@@ -404,4 +407,52 @@ public interface PartialInterpretation extends EObject { | |||
404 | */ | 407 | */ |
405 | void setMaxNewStrings(int value); | 408 | void setMaxNewStrings(int value); |
406 | 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 | ||
423 | */ | ||
424 | EList<StringElement> getNewStrings(); | ||
425 | |||
426 | /** | ||
427 | * Returns the value of the '<em><b>New Reals</b></em>' containment reference list. | ||
428 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <p> | ||
431 | * If the meaning of the '<em>New Reals</em>' containment reference list isn't clear, | ||
432 | * there really should be more of a description here... | ||
433 | * </p> | ||
434 | * <!-- end-user-doc --> | ||
435 | * @return the value of the '<em>New Reals</em>' containment reference list. | ||
436 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals() | ||
437 | * @model containment="true" | ||
438 | * @generated | ||
439 | */ | ||
440 | EList<RealElement> getNewReals(); | ||
441 | |||
442 | /** | ||
443 | * Returns the value of the '<em><b>New Integers</b></em>' containment reference list. | ||
444 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
445 | * <!-- 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 --> | ||
451 | * @return the value of the '<em>New Integers</em>' containment reference list. | ||
452 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers() | ||
453 | * @model containment="true" | ||
454 | * @generated | ||
455 | */ | ||
456 | EList<IntegerElement> getNewIntegers(); | ||
457 | |||
407 | } // PartialInterpretation | 458 | } // PartialInterpretation |