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/impl/AndImpl.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/impl/AndImpl.java')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AndImpl.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AndImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AndImpl.java index 1c36b6d6..9d373373 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AndImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/AndImpl.java | |||
| @@ -66,6 +66,7 @@ public class AndImpl extends BoolOperationImpl implements And { | |||
| 66 | * <!-- end-user-doc --> | 66 | * <!-- end-user-doc --> |
| 67 | * @generated | 67 | * @generated |
| 68 | */ | 68 | */ |
| 69 | @Override | ||
| 69 | public EList<Term> getOperands() { | 70 | public EList<Term> getOperands() { |
| 70 | if (operands == null) { | 71 | if (operands == null) { |
| 71 | operands = new EObjectContainmentEList<Term>(Term.class, this, LogiclanguagePackage.AND__OPERANDS); | 72 | operands = new EObjectContainmentEList<Term>(Term.class, this, LogiclanguagePackage.AND__OPERANDS); |