diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-27 17:20:18 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-27 17:20:18 +0200 |
| commit | 04f5e257ca684dfe75262a5cf1f29b72ba197edf (patch) | |
| tree | 6dcabdebdb3d7d3af794b39344d965ebf2bc2b6d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java | |
| parent | simple typemapper for alloy (diff) | |
| download | VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.gz VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.zst VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.zip | |
Primitive types added to the logic problem only if needed
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, 1 insertions, 1 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 d9725855..d0f77a52 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 | |||
| @@ -218,7 +218,7 @@ public interface PartialInterpretation extends EObject { | |||
| 218 | * <!-- end-user-doc --> | 218 | * <!-- end-user-doc --> |
| 219 | * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list. | 219 | * @return the value of the '<em>Open World Element Prototypes</em>' containment reference list. |
| 220 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() | 220 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_OpenWorldElementPrototypes() |
| 221 | * @model containment="true" required="true" | 221 | * @model containment="true" |
| 222 | * @generated | 222 | * @generated |
| 223 | */ | 223 | */ |
| 224 | EList<DefinedElement> getOpenWorldElementPrototypes(); | 224 | EList<DefinedElement> getOpenWorldElementPrototypes(); |