1 files changed, 6 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/TransitiveClosureImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java
index ecd0eeaf..b7ad1f50 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/TransitiveClosureImpl.java
@@ -85,6 +85,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Term getLeftOperand() {

                 return leftOperand;

         }

@@ -109,6 +110,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public void setLeftOperand(Term newLeftOperand) {

                 if (newLeftOperand != leftOperand) {

                         NotificationChain msgs = null;

@@ -128,6 +130,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Term getRightOperand() {

                 return rightOperand;

         }

@@ -152,6 +155,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public void setRightOperand(Term newRightOperand) {

                 if (newRightOperand != rightOperand) {

                         NotificationChain msgs = null;

@@ -171,6 +175,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public Relation getRelation() {

                 if (relation != null && relation.eIsProxy()) {

                         InternalEObject oldRelation = (InternalEObject)relation;

@@ -197,6 +202,7 @@ public class TransitiveClosureImpl extends TermImpl implements TransitiveClosure
          * <!-- end-user-doc -->

          * @generated

          */

+        @Override

         public void setRelation(Relation newRelation) {

                 Relation oldRelation = relation;

                 relation = newRelation;