diff options
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf')
-rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/Ecore2Logic.xtend | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/Ecore2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/Ecore2Logic.xtend index cae489e3..85b488eb 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/Ecore2Logic.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/Ecore2Logic.xtend | |||
@@ -1,7 +1,13 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.ecore2logic | 1 | package hu.bme.mit.inf.dslreasoner.ecore2logic |
2 | 2 | ||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder | ||
4 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput | ||
5 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Term | ||
6 | import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TermDescription | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy | ||
3 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem | 8 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem |
4 | import java.util.List | 9 | import java.util.List |
10 | import java.util.Set | ||
5 | import org.eclipse.emf.ecore.EAttribute | 11 | import org.eclipse.emf.ecore.EAttribute |
6 | import org.eclipse.emf.ecore.EClass | 12 | import org.eclipse.emf.ecore.EClass |
7 | import org.eclipse.emf.ecore.EEnum | 13 | import org.eclipse.emf.ecore.EEnum |
@@ -9,10 +15,6 @@ import org.eclipse.emf.ecore.EEnumLiteral | |||
9 | import org.eclipse.emf.ecore.EReference | 15 | import org.eclipse.emf.ecore.EReference |
10 | import org.eclipse.xtend.lib.annotations.Data | 16 | import org.eclipse.xtend.lib.annotations.Data |
11 | import org.eclipse.xtend.lib.annotations.Delegate | 17 | import org.eclipse.xtend.lib.annotations.Delegate |
12 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder | ||
14 | import java.util.Set | ||
15 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.ContainmentHierarchy | ||
16 | 18 | ||
17 | @Data class EcoreMetamodelDescriptor { | 19 | @Data class EcoreMetamodelDescriptor { |
18 | val List<EClass> classes; | 20 | val List<EClass> classes; |