diff options
author | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
---|---|---|
committer | OszkarSemerath <semerath@mit.bme.hu> | 2019-05-04 15:31:47 -0400 |
commit | 3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56 (patch) | |
tree | bef27ef38448443d5342fa5ea25700fc1b40ea1f /Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java | |
parent | Fixed misformalization of (may/must)(X!=Y) for abstract objects (diff) | |
download | VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.gz VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.tar.zst VIATRA-Generator-3e7fdbf562bbb1739a6ff4b09f86f415aaf89a56.zip |
Added aggregate expressions to logic language on the model level
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 | 45 |
1 files changed, 45 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 57b263aa..a6b0a790 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 | |||
@@ -409,6 +409,51 @@ public interface LogiclanguageFactory extends EFactory { | |||
409 | TransitiveClosure createTransitiveClosure(); | 409 | TransitiveClosure createTransitiveClosure(); |
410 | 410 | ||
411 | /** | 411 | /** |
412 | * Returns a new object of class '<em>Pow</em>'. | ||
413 | * <!-- begin-user-doc --> | ||
414 | * <!-- end-user-doc --> | ||
415 | * @return a new object of class '<em>Pow</em>'. | ||
416 | * @generated | ||
417 | */ | ||
418 | Pow createPow(); | ||
419 | |||
420 | /** | ||
421 | * Returns a new object of class '<em>Sum</em>'. | ||
422 | * <!-- begin-user-doc --> | ||
423 | * <!-- end-user-doc --> | ||
424 | * @return a new object of class '<em>Sum</em>'. | ||
425 | * @generated | ||
426 | */ | ||
427 | Sum createSum(); | ||
428 | |||
429 | /** | ||
430 | * Returns a new object of class '<em>Count</em>'. | ||
431 | * <!-- begin-user-doc --> | ||
432 | * <!-- end-user-doc --> | ||
433 | * @return a new object of class '<em>Count</em>'. | ||
434 | * @generated | ||
435 | */ | ||
436 | Count createCount(); | ||
437 | |||
438 | /** | ||
439 | * Returns a new object of class '<em>Min</em>'. | ||
440 | * <!-- begin-user-doc --> | ||
441 | * <!-- end-user-doc --> | ||
442 | * @return a new object of class '<em>Min</em>'. | ||
443 | * @generated | ||
444 | */ | ||
445 | Min createMin(); | ||
446 | |||
447 | /** | ||
448 | * Returns a new object of class '<em>Max</em>'. | ||
449 | * <!-- begin-user-doc --> | ||
450 | * <!-- end-user-doc --> | ||
451 | * @return a new object of class '<em>Max</em>'. | ||
452 | * @generated | ||
453 | */ | ||
454 | Max createMax(); | ||
455 | |||
456 | /** | ||
412 | * Returns the package supported by this factory. | 457 | * Returns the package supported by this factory. |
413 | * <!-- begin-user-doc --> | 458 | * <!-- begin-user-doc --> |
414 | * <!-- end-user-doc --> | 459 | * <!-- end-user-doc --> |