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 --- .../logic/model/logiclanguage/LogiclanguageFactory.java | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/LogiclanguageFactory.java') 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 @@ -399,6 +399,15 @@ public interface LogiclanguageFactory extends EFactory { */ StringLiteral createStringLiteral(); + /** + * Returns a new object of class 'Transitive Closure'. + * + * + * @return a new object of class 'Transitive Closure'. + * @generated + */ + TransitiveClosure createTransitiveClosure(); + /** * Returns the package supported by this factory. * -- cgit v1.2.3-54-g00ecf