diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/IffImpl.java')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/IffImpl.java | 4 |
1 files changed, 4 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/IffImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/IffImpl.java index 52c80e4a..82529047 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/IffImpl.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/IffImpl.java | |||
@@ -73,6 +73,7 @@ public class IffImpl extends BoolOperationImpl implements Iff { | |||
73 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
74 | * @generated | 74 | * @generated |
75 | */ | 75 | */ |
76 | @Override | ||
76 | public Term getLeftOperand() { | 77 | public Term getLeftOperand() { |
77 | return leftOperand; | 78 | return leftOperand; |
78 | } | 79 | } |
@@ -97,6 +98,7 @@ public class IffImpl extends BoolOperationImpl implements Iff { | |||
97 | * <!-- end-user-doc --> | 98 | * <!-- end-user-doc --> |
98 | * @generated | 99 | * @generated |
99 | */ | 100 | */ |
101 | @Override | ||
100 | public void setLeftOperand(Term newLeftOperand) { | 102 | public void setLeftOperand(Term newLeftOperand) { |
101 | if (newLeftOperand != leftOperand) { | 103 | if (newLeftOperand != leftOperand) { |
102 | NotificationChain msgs = null; | 104 | NotificationChain msgs = null; |
@@ -116,6 +118,7 @@ public class IffImpl extends BoolOperationImpl implements Iff { | |||
116 | * <!-- end-user-doc --> | 118 | * <!-- end-user-doc --> |
117 | * @generated | 119 | * @generated |
118 | */ | 120 | */ |
121 | @Override | ||
119 | public Term getRightOperand() { | 122 | public Term getRightOperand() { |
120 | return rightOperand; | 123 | return rightOperand; |
121 | } | 124 | } |
@@ -140,6 +143,7 @@ public class IffImpl extends BoolOperationImpl implements Iff { | |||
140 | * <!-- end-user-doc --> | 143 | * <!-- end-user-doc --> |
141 | * @generated | 144 | * @generated |
142 | */ | 145 | */ |
146 | @Override | ||
143 | public void setRightOperand(Term newRightOperand) { | 147 | public void setRightOperand(Term newRightOperand) { |
144 | if (newRightOperand != rightOperand) { | 148 | if (newRightOperand != rightOperand) { |
145 | NotificationChain msgs = null; | 149 | NotificationChain msgs = null; |