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/NotImpl.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/NotImpl.java')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/NotImpl.java | 2 |
1 files changed, 2 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/NotImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/NotImpl.java index 74c4dd6f..0c280139 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/NotImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/NotImpl.java | |||
| @@ -62,6 +62,7 @@ public class NotImpl extends BoolOperationImpl implements Not { | |||
| 62 | * <!-- end-user-doc --> | 62 | * <!-- end-user-doc --> |
| 63 | * @generated | 63 | * @generated |
| 64 | */ | 64 | */ |
| 65 | @Override | ||
| 65 | public Term getOperand() { | 66 | public Term getOperand() { |
| 66 | return operand; | 67 | return operand; |
| 67 | } | 68 | } |
| @@ -86,6 +87,7 @@ public class NotImpl extends BoolOperationImpl implements Not { | |||
| 86 | * <!-- end-user-doc --> | 87 | * <!-- end-user-doc --> |
| 87 | * @generated | 88 | * @generated |
| 88 | */ | 89 | */ |
| 90 | @Override | ||
| 89 | public void setOperand(Term newOperand) { | 91 | public void setOperand(Term newOperand) { |
| 90 | if (newOperand != operand) { | 92 | if (newOperand != operand) { |
| 91 | NotificationChain msgs = null; | 93 | NotificationChain msgs = null; |