diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-09 20:49:10 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-09 20:49:10 +0200 |
commit | 9152a660dbfbf3294964233c76d6cf22111298ff (patch) | |
tree | ad181e0f7abbdd546dc6c8206fc318be26b9c992 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |
parent | Updated link to Alloy (diff) | |
download | VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.tar.gz VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.tar.zst VIATRA-Generator-9152a660dbfbf3294964233c76d6cf22111298ff.zip |
aggregated partial substitution + builder
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java index a6b0a790..33d79329 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |||
@@ -454,6 +454,15 @@ public interface LogiclanguageFactory extends EFactory { | |||
454 | Max createMax(); | 454 | Max createMax(); |
455 | 455 | ||
456 | /** | 456 | /** |
457 | * Returns a new object of class '<em>Aggregated Parameter Substitution</em>'. | ||
458 | * <!-- begin-user-doc --> | ||
459 | * <!-- end-user-doc --> | ||
460 | * @return a new object of class '<em>Aggregated Parameter Substitution</em>'. | ||
461 | * @generated | ||
462 | */ | ||
463 | AggregatedParameterSubstitution createAggregatedParameterSubstitution(); | ||
464 | |||
465 | /** | ||
457 | * Returns the package supported by this factory. | 466 | * Returns the package supported by this factory. |
458 | * <!-- begin-user-doc --> | 467 | * <!-- begin-user-doc --> |
459 | * <!-- end-user-doc --> | 468 | * <!-- end-user-doc --> |