Adding transitive closure to the logic language

1 files changed, 9 insertions, 0 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
index 0d1061d7..57b263aa 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java
@@ -400,6 +400,15 @@ public interface LogiclanguageFactory extends EFactory {
         StringLiteral createStringLiteral();

 

         /**

+         * Returns a new object of class '<em>Transitive Closure</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Transitive Closure</em>'.

+         * @generated

+         */

+        TransitiveClosure createTransitiveClosure();

+

+        /**

          * Returns the package supported by this factory.

          * <!-- begin-user-doc -->

          * <!-- end-user-doc -->