diff options
author | 2019-05-04 15:31:47 -0400 | |
---|---|---|
committer | 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; |