From 05cc697cce50c87541cb619854be7ecbcfb586e9 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 16 Aug 2017 18:53:37 +0200 Subject: Adding transitive closure to the logic language --- .../model/logiclanguage/LogiclanguagePackage.java | 133 +++++++++++++++++++++ 1 file changed, 133 insertions(+) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java index 4e8cdcdc..59bb841a 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguagePackage.java @@ -2629,6 +2629,62 @@ public interface LogiclanguagePackage extends EPackage { int STRING_LITERAL_OPERATION_COUNT = ATOMIC_TERM_OPERATION_COUNT + 0; + /** + * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl Transitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() + * @generated + */ + int TRANSITIVE_CLOSURE = 57; + + /** + * The feature id for the 'Left Operand' containment reference. + * + * + * @generated + * @ordered + */ + int TRANSITIVE_CLOSURE__LEFT_OPERAND = 0; + + /** + * The feature id for the 'Right Operand' containment reference. + * + * + * @generated + * @ordered + */ + int TRANSITIVE_CLOSURE__RIGHT_OPERAND = 1; + + /** + * The feature id for the 'Relation' reference. + * + * + * @generated + * @ordered + */ + int TRANSITIVE_CLOSURE__RELATION = 2; + + /** + * The number of structural features of the 'Transitive Closure' class. + * + * + * @generated + * @ordered + */ + int TRANSITIVE_CLOSURE_FEATURE_COUNT = 3; + + /** + * The number of operations of the 'Transitive Closure' class. + * + * + * @generated + * @ordered + */ + int TRANSITIVE_CLOSURE_OPERATION_COUNT = 0; + + /** * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type Type}'. * @@ -3870,6 +3926,49 @@ public interface LogiclanguagePackage extends EPackage { */ EAttribute getStringLiteral_Value(); + /** + * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure Transitive Closure}'. + * + * + * @return the meta object for class 'Transitive Closure'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure + * @generated + */ + EClass getTransitiveClosure(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand Left Operand}'. + * + * + * @return the meta object for the containment reference 'Left Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getLeftOperand() + * @see #getTransitiveClosure() + * @generated + */ + EReference getTransitiveClosure_LeftOperand(); + + /** + * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand Right Operand}'. + * + * + * @return the meta object for the containment reference 'Right Operand'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRightOperand() + * @see #getTransitiveClosure() + * @generated + */ + EReference getTransitiveClosure_RightOperand(); + + /** + * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation Relation}'. + * + * + * @return the meta object for the reference 'Relation'. + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TransitiveClosure#getRelation() + * @see #getTransitiveClosure() + * @generated + */ + EReference getTransitiveClosure_Relation(); + /** * Returns the factory that creates the instances of the model. * @@ -4951,6 +5050,40 @@ public interface LogiclanguagePackage extends EPackage { */ EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); + /** + * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl Transitive Closure}' class. + * + * + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.TransitiveClosureImpl + * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl.LogiclanguagePackageImpl#getTransitiveClosure() + * @generated + */ + EClass TRANSITIVE_CLOSURE = eINSTANCE.getTransitiveClosure(); + + /** + * The meta object literal for the 'Left Operand' containment reference feature. + * + * + * @generated + */ + EReference TRANSITIVE_CLOSURE__LEFT_OPERAND = eINSTANCE.getTransitiveClosure_LeftOperand(); + + /** + * The meta object literal for the 'Right Operand' containment reference feature. + * + * + * @generated + */ + EReference TRANSITIVE_CLOSURE__RIGHT_OPERAND = eINSTANCE.getTransitiveClosure_RightOperand(); + + /** + * The meta object literal for the 'Relation' reference feature. + * + * + * @generated + */ + EReference TRANSITIVE_CLOSURE__RELATION = eINSTANCE.getTransitiveClosure_Relation(); + } } //LogiclanguagePackage -- cgit v1.2.3-54-g00ecf